XPTY
熵十达维
零知识证明 - 说说Binius
Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。
- Star Li
- 发布于 2024-05-28
- 阅读 ( 1073 )
- ( 7 )
Star Li
[Paper Reading and Code] On Proving Pairings
verify pairings on bitcoin
- 白菜
- 发布于 2024-05-17
- 阅读 ( 745 )
- ( 14 )
白菜
Web3朱大胆
Kary
基于 ZK 的资产证明
如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组织想要去做财务欺诈难度就会非常高。
- Antalpha Labs
- 发布于 2024-04-02
- 阅读 ( 1392 )
- ( 9 )
Antalpha Labs
了解零知识证明历史
来自 lambda class 的了解零知识证明历史。 计算机科学、数学和硬件的进步，以及区块链的引入，导致了新的更高效的 SNARKs 的出现。
- 翻译小组
- 发布于 2024-02-20
- 阅读 ( 2260 )
- ( 45 )
翻译小组
使用 SnarkJS 和 Circom 进行零知识证明
如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明
- 张小风
- 发布于 2024-02-16
- 阅读 ( 1743 )
- ( 13 )
张小风
尝试用 Halo2 实现 Tornado Cash
太长不看版：你已经听说过 Tornado Cash 了吗？还有 Halo2？太棒了！在这里，我们将混合这两者，并将 Tornado Cash 电路重写为 Halo2。
- 翻译小组
- 发布于 2024-02-14
- 阅读 ( 1346 )
- ( 9 )
简析 Cached Quotients Lookup Arguments
Lookup Arguments 允许证明者（prover）证明一个值属于一个预先定义的集合。
- Antalpha Labs
- 发布于 2024-01-29
- 阅读 ( 1212 )
- ( 3 )
孙如绿叶
【心得】如何学习零知识证明
如何学习零知识证明， 明确动力、材料不那么重要，必要独自学习，多分享，不要怕提愚蠢的问题，看看可以做什么，不要对自己太苛刻了。
- 翻译小组
- 发布于 2023-11-30
- 阅读 ( 1500 )
- ( 22 )
实现 KYBER所需的多项式和线性代数知识
FIPS 203（草案）的第 2.4 节对所有这些进行了非常清楚和更详细的解释。FIPS 标准实际上在避免形式主义和与工程师交流方面做得很好了。就把这篇当作一个更友好、更务实的总结吧。
- XPTY
- 发布于 2023-11-15
- 阅读 ( 1898 )
- ( 5 )
zk-merkle-tree库: 使用 zkSNARK 在以太坊上进行匿名投票
zk-merkle-tree 库: 使用 zkSNARK 在以太坊上进行匿名投票
- 翻译小组
- 发布于 2023-11-14
- 阅读 ( 2124 )
- ( 23 )
ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk
ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk
- 翻译小组
- 发布于 2023-11-07
- 阅读 ( 2516 )
- ( 101 )
零知识证明的力量：深入理解zk-SNARK
zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。
- DODO研究院
- 发布于 2023-11-02
- 阅读 ( 3219 )
- ( 32 )
DODO研究院
