NethermindEth 的形式化验证团队发布 CertiPlonk：ZK 电路安全的关键进展

深入了解 NethermindEth 形式化验证小组的最新成果，包括针对 Plonky3 电路的 CertiPlonk 框架、广义 FRI 模型等。通过这些 zk 突破提升你的区块链安全知识。

2025年10月27日