Ethereum

🎊 Grant Announcement: plonky3 & Lean by @nethermind!

Discover how their team is using the Lean proof assistant to build a framework for reasoning about Plonky3, with the goal of enabling scalable formal verification.

We are delighted to announce that we have been awarded a grant from the @ethereumfndn to advance formal verification of zk circuits! 🦾

1/ https://t.co/InMeExiTAr

Nethermind Security

We are a research and software engineering company, empowering enterprises and developers worldwide to build on decentralized systems.

🎊 Grant Announcement: plonky3 & Lean by @nethermind!

Discover how their team is using the Lean proof assistant to build a framework for reasoning about Plonky3, with the goal of enabling scalable formal verification.

https://x.com/NethermindSec/status/1920126156235297171