暂无介绍
短期内,Optimistic rollups 很可能在通用的 EVM 计算中胜出,而 ZK rollups 则可能在简单的支付、交易和其他特定应用场景中胜出,主要原因还是 Zk rollup 虽然比 Optimistic rollup 更快、更高效,但并没有为现有的智能合约提供一个简单的方式来迁移到
如果每个用户都可以验证自己部分的资产是否有财务作假行为,那么只要验证的用户足够多,那么一个组织想要去做财务欺诈难度就会非常高。
来自 lambda class 的了解零知识证明历史。 计算机科学、数学和硬件的进步,以及区块链的引入,导致了新的更高效的 SNARKs 的出现。
以简洁易懂的方式介绍了 zkRollup 的实现原理和技术细节.
如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明
通过 Tornado Cash 的源代码理解零知识证明
太长不看版:你已经听说过 Tornado Cash 了吗?还有 Halo2?太棒了!在这里,我们将混合这两者,并将 Tornado Cash 电路重写为 Halo2。
Lookup Arguments 允许证明者(prover)证明一个值属于一个预先定义的集合。
Caulk+ 是 Caulk 的优化版本方案,它用了一个被称为「polynomial divisibility check」的方法来替换原本的子协议,以提升 Caulk 生成证明的效率,使得证明复杂度仅与子集的大小有关,而与原向量的大小无关。
如何学习零知识证明, 明确动力、材料不那么重要,必要独自学习,多分享,不要怕提愚蠢的问题,看看可以做什么,不要对自己太苛刻了。
如何在安全性、去中心化和可扩展性之间取得平衡,且不在其中任何一方面做出妥协?
zk-merkle-tree 库: 使用 zkSNARK 在以太坊上进行匿名投票
编写零知识 dApp,这篇文章将介绍如何将零知识电路集成到智能合约中,然后再集成到 dApp 中。
zk-SNARK,即“零知识简洁非交互式知识论证”,使得一名验证者 能够确认一名证明者 拥有某些特定知识,这些知识被称为 witness,满足特定的关系,而无需透露关于见证本身的任何信息。
Circom 语言教程与 circomlib 演示
2242 回答,2135赞同
0 回答,827赞同
0 回答,110赞同
1 回答,109赞同
0 回答,99赞同
1 回答,85赞同
0 回答,85赞同
0 回答,76赞同
0 回答,70赞同
0 回答,65赞同