Jonas Nick(@n1ckler):This is the logical next step, given how much AIs can optimize hash-based signatures (e.g., HG-WOTS) and prove their security. I'm somewhat pessimistic that a single score can meaningfully express what makes a signature scheme good. https://t.co/A5WSZ88Qo4's score, signature bytes × verification cycles, is just one particular trade-off between the two, and its cost model targets zkVM proving, not verification on ordinary CPUs. But the techniques and proofs it produces are likely to carry over to other settings, and I'm looking forward to the results.

2026.09.30 20:37

This is the logical next step, given how much AIs can optimize hash-based signatures (e.g., HG-WOTS) and prove their security. I'm somewhat pessimistic that a single score can meaningfully express what makes a signature scheme good. score, signature bytes × verification cycles, is just one particular trade-off between the two, and its cost model targets zkVM proving, not verification on ordinary CPUs. But the techniques and proofs it produces are likely to carry over to other settings, and I'm looking forward to the results.

Ethereum Foundation@ethereumfndn

2026.09.30 15:12

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