Ethereum

🎊 Grant Announcement: Plonky3 in Rocq by Formal Land!

Dive into how the team is establishing an extraction from Plonky3 to Rocq, and demonstrating its use by verifying relevant components of Plonky3-based zkVMs.

We are excited to announce that we obtained a grant from the Ethereum Foundation @ethereumfndn  to build a formal verification framework in Rocq for zero-knowledge circuits in Plonky3/LLZK! 🎊

What does this mean? 🔍👇

Formal Land 🌲

🎊 Grant Announcement: Plonky3 in Rocq by Formal Land!

Dive into how the team is establishing an extraction from Plonky3 to Rocq, and demonstrating its use by verifying relevant components of Plonky3-based zkVMs.

https://x.com/FormalLand/status/1922219486918119522