Merlin404 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文档详细阐述了一种改进的Groth16零知识证明系统，称为UltraGroth，旨在向Groth16添加查找（lookups）和任何其他挑战参数。UltraGroth通过将R1CS电路的私有索引集划分为回合，并利用Fiat-Shamir启发式来模拟验证者的挑战响应，最终构建一个满足特定验证方程的zk证明，并探讨了其零知识性和在代数群模型（AGM）下的可靠性（Soundness）。

Groth16 零知识证明 R1CS Fiat-Shamir 代数群模型 UltraGroth

发布于 2023-04-06 20:18 阅读(11) 点赞(0)

Groth16可以支持查找吗？

本文介绍了SR1CS（sequential rank 1 constraint system），它是一种R1CS的扩展，支持查找和其他有趣的功能。作者提出了一个类似于Groth16的证明系统来证明SR1CS的知识，并讨论了它与KZG-PlonK相比的优缺点，例如在处理lookup参数和自定义门方面的差异。

SR1CS R1CS Groth16 KZG-PlonK 密码学零知识证明

发布于 2023-03-28 21:52 阅读(10) 点赞(0)