...命性力量。无论是供应链管理、医疗保健、投票系统还是知识产权，区块链颠覆和改进现有系统的潜力都是巨大的。 在金融领域，区块链创建防篡改账本的能力已经在 **加密货币**（如比特币和以太坊）中得到利用，但其应用...
...。 我们过去的一年都在开发SNARKs,我们已经加速研发零知识证明，及其针对可扩展DEX的特定应用程序。 **在路印协议3.0中，我们构建了第一个zkRollup DEX协议，并具有链上数据可用性**。很显然，可扩展性，高吞吐量，低成本...
...供自我托管交易，利用其巨大的流动性池。与其他基于零知识证明（zkp）的可扩展性解决方案类似，我们并不改变区块链的基本规模，而是改变其目的：从在链上计算小负载转向验证链下计算的大负载。 “不要计算，要验证...
一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人...
...，还是将定义以太坊未来十年作用的长期努力。 - 支持零知识研究和开源工具，以推动隐私保护技术的前沿。 - 举办生态系统范围的聚会（如 Devcon），汇集不同的全球贡献者。 - 运营 ethereum.org，作为一个面向新用户和建设者的...
...这些装腔作势的人。） 今天，ZeroSync（一个为使用[零知识证明](https://learnblockchain.cn/article/1189)拓展比特币而成立的协会）的开发者 Robin Linus 提出了 “[BitVM](https://learnblockchain.cn/article/6685)”，为将来的比特币应用开发打开了非...
...在 Merkle Tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费10万gas 还是多少gas，大概是这样。* *比如说做1000笔交易，改动可能是大约4000个叶子节点，可能要算几万次哈希算出一个根，但这些...
...个元素都是某个元素的整数幂。这一点至关重要，因为零知识证明中的许多算法（尤其是 Varuna）都依赖于循环群的简单结构。 - \|C\|：循环群 C 中元素的数量。由于 F 是有限的，因此 C 必然是有限的。 - vC(Y)：循环群 C 上的 vanish...
...破坏安全性。 - **zk-Rollups** 依赖于必须复制整个 EVM 的零知识电路。如果电路滞后于 L1 升级（例如新的操作码），L2 可能会出现问题。通常，还有一个“治理多签”来处理紧急情况。 结果：每个 Rollup 投入成千上万的工程时...
...。 但是令人兴奋的趋势正在出现： - **ZK 治理**：使用零知识证明进行隐私投票（StarkNet，Semaphore） - **基于声誉的投票**：按功绩而非财富来衡量投票（例如，soulbound tokens） - **跨链 DAO**：通过桥梁或 Layer 0s 在多条链上运行 - **...
bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。项目地址： https://github.com/zcash/librustzcash/tree/master/bellman ## 1\. 总体流程  总体流程大致可以...
...供商是 Google、Facebook 和 Twitch）。 zkLogin 应用程序使用零知识技术来隐藏用户的真实身份。 例如，用户是 [hello@zksecurity.xyz](mailto:hello@zksecurity.xyz)。 ### OAuth 2.0 和 JSON Web Tokens (JWT) zkLogin 支持的单点登录协议是 [OAuth 2.0](https://oaut...
...art1 简述 RISC0 是一个基于 RISCV 指令集和 STARK（可扩展的知识透明论证）的 zkVM (零知识虚拟机)。RISC0 证明系统由分段证明、递归和 STARK 到 SNARK 证明组成。由于分段证明占据了最多的内存和计算量，我们专注于分析分段证明过...
...操作。 使用随机化因子掩盖累加器中的群元素以保证零知识性。 [Nova](https://eprint.iacr.org/2021/370.pdf)是一种新协议，提出了一种实现 IVC 的轻量级替代构造。 不用[zk-SNARKs](https://www.notamonadtutorial.com/the-hunting-of-the-zk-snark/)，而是...