...我们将详细介绍 Jolt 实际是如何工作的。 Jolt 是一个零知识虚拟机 (zkVM)，专为 RISC-V 架构设计，由 a16z 开发。它采用 Lasso 查找参数来证明 VM 执行的正确性。虽然 Jolt 经常被誉为最简单的 zkVM，但它是一个相对较新的协议，对其...
...的证明者总是胜出的情况。 - 步骤1：提交第T个区块的零知识证明的哈希 - 从第T+11个区块开始，不再允许新的证明者提交哈希。 - 步骤2：提交零知识证明 - 在第T+11个区块之后，任何证明者都可以提交零知识证明。如果至...
...共分布式账本上实现隐私保护的交易，特别是通过使用零知识证明（ZK proofs）来确保交易的隐私性和可验证性。 **主要观点和关键论据：** 1. **隐私保护智能合约的构建**：Zac强调，构建隐私保护的智能合约需要将私有状态...
...太坊可以缓解部分压力；中期，**无状态客户端** 和 **零知识证明EVM（ZK-EVM）** 将进一步提升效率。然而，长期来看，以下问题仍是“拦路虎”： - **数据存储的稳定性**：如何高效存储和访问历史数据？ - **去中心化的平衡**...
...个模块化的基础设施栈，用于构建实时的、保护隐私的零知识应用程序。其可组合的 zkApp 框架通过整合身份、证明生成和安全计算，简化了可扩展的 Web3 体验的部署。 它的架构围绕可重用的模块构建，包括证明网络、DSL 电路...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...
... clients）[开始真正存在](https://github.com/a16z/helios)。 * 零知识证明（Zero knowledge proofs），一种我们认为还有几十年才能实现的技术，现在已经出现，越来越对[开发者友好](https://kndrck.co/posts/practical_guide_build_zk_dapps/)，并即将可用...
...涵盖了最新的高级隐私增强密码学、分布式协议开发和零知识系统研究。 我们为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。 预计每个月都会有新版本。 请务必分享和[订阅](https://zkmesh.substa...
... Nightingale ## ZK 数学 101：二元运算符与群论 探索群论基础知识：二元运算符、单位元、逆元、结合律和交换律。理解密码学和 ZK 证明至关重要。 ### **什么是群论** 群论构成了现代密码学和零知识系统的数学支柱。 可以把它看作...
...隐私困境而存在的许多隐私问题，其中绝大多数集中在零知识证明（ZKPs）上。值得注意的例子包括[Proven 在 2023 年种子轮融资中筹集了 1580 万美元](https://www.coindesk.com/business/2023/03/09/zero-knowledge-crypto-startup-proven-raises-158m-in-seed-roun...
## 引言 由于zk-SNARKs（零知识、简洁、非交互式知识论证）在去中心化私人计算和区块链扩展方面的能力，最近引起了越来越多的关注。这些构造涉及两个方之间的协议，一个是证明者（prover），另一个是验证者（verifier），前...
...证器。只要逻辑，即使非常复杂，也能够被准确编程成零知识证明，BitVM2 就可以验证它。 ### BitVM2 程序工作流 BitVM2 的详细交易流程由于一些优化和安全机制而变得复杂。但 [BitVM2](https://bitvm.org/bitvm_bridge.pdf) 白皮书也呈现...
...B, 或者说 100 ETH)，Snoop 在他的浏览器中本地生成了一个零知识证明 ([zero-knowledge proof](https://en.wikipedia.org/wiki/Zero-knowledge_proof)，ZKP)。 利用零知识证明，他能够证明出这条等式 **A + B = C + D** ，而无需揭露他们的任意资产价值。 ...
...前 UTXO 集，就可以同步修剪后的全节点。运行一个经过零知识同步（zerosync）的全节点无需修改 Bitcoin Core 的代码。我们会在验证后将 此 UTXO 集复制到 Bitcoin Core 的链状态目录中。理想情况下，我们会将此 UTXO 集与 [AssumeUTXO](https:...
...的哈希值，以找到从原像到承诺的路径。谜题解决方案的知识证明就是这个整数。 [这是一个示例交易。](https://blockstream.info/nojs/tx/a3803be4f3da166096b4408ffe36a07750f31bb2b58bd660f8f1a0c59a99dda6) #### 特点 - 难度粒度是比特大小 #### 局限性 - ...