{"repo":"adust09/formal-eth","free":true,"listed":false,"github":"https://github.com/adust09/formal-eth","clone":"git clone https://github.com/adust09/formal-eth.git","description":"Formal Verification for Ethereum","language":null,"stars":10,"topics":["ethereum","lean4"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Awesome Ethereum Formal Verification A curated list of awesome Ethereum formal verification tools, projects, and resources Formal verification is a mathematical approach to proving the correctness of smart contracts and blockchain protocols. This list focuses on formally verified Ethereum-related projects, tools, and academic research. Contents - Awesome Ethereum Formal Verification - Contents - Projects - Cryptography - Protocol - Application - Formal Verification Tools - Production-Ready Tools - Emerging Tools - Security Reports - Audit Portfolios - Academic Research - Research Projects - Academic Papers - Vulnerability Detection - Specific Vulnerability Research - Contributing - Guidelines - How to Contribute - License Projects Cryptography Name Category Formal Verification Stack -------------- ------------------------ ---------------------------------------------------------------------- ------------ KZG Commitment Commitment Scheme ✅ Isabelle/HOL Merkle Tree Commitment Scheme 🏗️ WIP Lean Binius Commitment Scheme 🏗️ WIP Lean Sumcheck Interactive Oracle Proof 🏗️ WIP Lean FRI Interactive Oracle Proof ✅ Lean STIR Interactive Oracle Proof 🏗️ WIP Lean WHIR Interactive Oracle Proof 🏗️ WIP Lean Spartan Interactive Oracle Proof 🏗️ WIP Lean Protocol Name Category Formal Verification Stack ---------------------------------------------------------------- --------------- ------------------------------------------------------------------------------------------------------------","default_branch":null,"files":null,"tree":[],"storefront":"/r/adust09","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/adust09/formal-eth/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}