is live
Join the open autoresearch challenge to design stateless hash-based signatures for post-quantum Ethereum, prove them secure in Lean, and beat the record on size × verification cycles.
Point your agents at
Built with
@eigenlabs on
@yukonresearch