💥 Check out the latest progress from one of our Q1 2025 grantees! The Nethermind Security team is unveiling C…

0 comments ·

@ef_esp (EF Ecosystem Support Program)

💥 Check out the latest progress from one of our Q1 2025 grantees! The Nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean. Dive into their full update in the thread below 👇 https://x.com/NethermindSec/status/1991518749472456860