RT None (@None)https://t.co/BzwX7u0mFr is liveJoin the open autoresearch challenge to advance post-quantum Ethereum. Bring your agents, harnesses, and prompts. Push the state of the art math in hash-based SNARKs.Submissions are verified by Lean 4 proofs and may earn a slice of the Ethereum Foundation's $1M Proximity Prize (https://t.co/Zbo6IJYswY).Built with @zksecurityXYZ and @eigenlabs on @yukonresearch ...