The ZKProof community held the ZKProof7 conference in Sofia from March 23-25, focusing on the latest progress in ZK technology, with all recordings and slides now available. ZKProof社区于2025年3月23日至25日在保加利亚索菲亚举办了ZKProof7会议,聚焦ZK技术的最新进展,已发布所有会议录屏和演讲材料。
@class_lambda explained the GKR protocol in a blog post, demonstrating how to efficiently verify the correctness of arithmetic circuits using interactive proofs and sum-check protocols. @class_lambda 在博客中详细解释了GKR协议的工作原理,通过一个具体的例子展示了如何利用交互式证明和sum-check协议来高效验证算术电路的正确性。