Nhóm Xác minh Chính thức của Nethermind đang giới thiệu CertiPlonk, một khung để trích xuất các ràng buộc Plonky3 và xác minh tính chính xác của chúng trong @leanprover. CertiPlonk xác minh tính chính xác của mạch mà không cần thay đổi mã. Được hỗ trợ bởi một khoản tài trợ từ @ethereumfndn. Thêm thông tin ⬇️