foshougua 的文章 - 登链社区

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

Poseidon的执行过程包括以下6个步骤：初始化、完整轮次计算、部分轮次计算、电路约束生成、生成多项式承诺、证明生成与验证。整个过程用于生成最终的零知识证明。

zkVM zkMIPS

ZKM 发布于 2025-02-07 22:19 阅读(521) 点赞(0) ( 16 )

在零知识证明中，lookup操作用于验证多个表格之间的关系。首先，将多个表格的数据聚合起来形成查询条件。然后，通过lookup在目标表格中查找符合条件的记录。最后，零知识证明生成一个证明，验证查询结果的正确性，而不泄露任何具体数据。

zkVM zkMIPS

ZKM 发布于 2025-01-16 10:42 阅读(1232) 点赞(0) ( 13 )

Plonky2 论文翻译

zk Plonky2

longerd 发布于 2024-12-04 15:19 阅读(573) 点赞(4) ( 29 )

zk-SNARK 是如何实现零知识证明的

zkSNARK 零知识证明

李画发布于 2020-11-02 22:02 阅读(14081) 点赞(5) ( 155 )