Ethereum Foundation launches better.codes autoresearch challenge for hash-based SNARK soundness
The foundation's formal verification team and collaborators opened a Lean-formalized competition to advance machine-checked security proofs for zero-knowledge proof systems, accelerating the protocol's cryptographic infrastructure.