GKR with a Machine-Checked Core, and a Sparse Prover Made Faster with Byte-Identical Proofs
说明带机器检验核心的 GKR 协议，以及字节一致证明下更快的稀疏证明器
简介本文介绍 StateSync-GKR 工作：为通用分层电路的 GKR 协议给出首个机器检验的可靠性上界（基于 Isabelle/HOL），并将其应用于稀疏 Merkle 树更新的证明。同时，发布 1.2 版证明器在证明哈希完全一致的前提下，速度提升 2.41 至 2.71 倍。