全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

GKR 教程 - 加速零知识证明的密码学方案 - Vitalik

本文详细介绍了GKR协议，这是一种用于加速零知识证明的密码学方案，尤其适用于处理具有多层结构和大量并行计算的复杂计算，如Poseidon哈希函数。文章深入探讨了GKR的核心构建模块Sumcheck协议，以及如何通过优化技巧和多项式承诺来提高效率，最终实现接近个位数的开销，并讨论了GKR在LLM推理等其他领域的潜在应用。
GKR协议  零知识证明  Sumcheck协议  Poseidon哈希函数  多项式承诺  zk-SNARK 

内存一致性检查：Multiset Hashing

在zkVM中，内存访问一致性检查是证明任何读操作返回的值确实是写入该内存地址的最新值。如果能证明读取和写入的数据是置换关系，便可证明内存访问的一致性。内存一致性检查构造读集合RRR和写集合WWW，元素都是(addr,val,cnt)(addr,val,cnt)(addr,val,
zkVM