NethermindEth's Formal Verification Team Drops CertiPlonk: Key Advances in ZK Circuit Security
Dive into the latest from NethermindEth's formal verification squad, including the CertiPlonk framework for Plonky3 circuits, generalized FRI models, and more. Boost your blockchain security knowledge with these zk breakthroughs.