@ef-esp

💥 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

1 reply

0 recast

3 reactions