Nethermind 正式驗證團隊推出了 CertiPlonk,這是一個用於提取 Plonky3 約束並在 @leanprover 中驗證其正確性的框架。 CertiPlonk 在不改動代碼的情況下驗證電路的正確性。 得到 @ethereumfndn 的資助支持。 更多資訊 ⬇️