Nethermind’s Post

View organization page for Nethermind, graphic

14,927 followers

Introducing Clear: the complete framework for interactive theorem proving in web3. A formal verification tool for Solidity smart contracts that expresses any on-paper verification into mechanized proofs. Read more in our blog post: https://lnkd.in/dZctgVWU Clear under the hood ⚙️ 🛡 Ensures stronger guarantees and greater expressivity (leveraging ITP & hard formal methods) 🛡 Splits the task of verifying contracts into simpler sub-problems, enabling proof reuse and compositionality → achieving scalable verification not previously possible 🛡Allows extraction into Lean 4, using interactive theorem proving and Mathlib to verify complex smart contracts To ensure the highest level of certainty in the correctness of our model, we’re running our specification against EVM execution conformance tests. #ethereum #solidity #formalverification #maths #blockchain #security #cryptosecurity #innovation #hacker #yul #evm

  • No alternative text description for this image

To view or add a comment, sign in

Explore topics