Ethereum Advances Hash-Based SNARKs With Machine-Checked Security
Ethereum is expanding its post-quantum research strategy by combining machine-checked mathematics with AI-assisted open research. The effort targets security assumptions behind hash-based SNARKs, a key component of Ethereum’s proposed...