Machine-Checked Proofs Become the Cryptography Baseline
Protocol foundations increasingly fund and require machine-checked security arguments rather than peer-reviewed prose, so formal verification moves from academic practice into the critical path of shipping consensus and proving systems.
weakening · confidence 28 · -14 7d · Emerging (watchlist) · tracking since August 21, 2026 · updated August 27, 2026
Score history
Daily conviction score, 0 to 100. Higher means the thesis is more strongly corroborated.
Now 28 · -2 since Aug 27 · ranged 26 to 28
Showing the last few days. Unlock full score history.
Why the conviction moved
- Aug 21Strengthened +6
The Ethereum Foundation and better.codes carved a self-contained problem out of the $1 million Proximity Prize research, formalized it in the Lean proof assistant and opened its soundness bounds to open competition — funding machine-checked argument as the deliverable rather than a peer-reviewed paper.
Source trail
Supporting · August 21, 2026
Ethereum Foundation Opens a Machine-Checked Challenge on the Math Behind Hash-Based Proofs
The Ethereum Foundation and better.codes carved a self-contained problem out of the $1 million Proximity Prize research, formalized it in the Lean proof assistant and opened its soundness bounds to open competition — funding machine-checked argument as the deliverable rather than a peer-reviewed paper.
Ethereum Foundation Blog
Unlock full source trail, score history, and daily updates.
Unlock TrendsAffected regions & assets
Townsquare
Argue the thesis in Townsquare.