...sync/credo)，该文档概述了 ZK 技术的奠基原则，并概述了零知识在 web3 中日益增长的重要性。 我们很高兴分享他们 ZK Stack 的一瞥：这是一个模块化框架，可以作为构建主权 ZK 驱动链（称为 Hyperchains）的变革者。 ZK Stack 的构建旨...
...绍了一种**验证者证明**协议，该协议使 DHT 参与者能够零知识地证明他们是以太坊验证者。 ### 动机：DAS 上的 “样本隐藏” 攻击 在本节中，我们将通过描述针对数据可用性采样的女巫攻击，进一步论证**验证者证明**协议的必...
...们是否相等来实现。 - 证明验证：zkVM 将包含用于验证零知识证明的指令，确保花费者了解花费的票据的秘密价值（这证明了所有权）而不透露它们。 - 状态更新：验证后，zkVM 将执行指令来更新未花费的票据集，方法是删除花...
... ZK Rollups：额外的安全层 我们常被问到“你们会采用零知识证明技术吗”？答案是这有可能，但不是你想的那样。还有很长的路要走，但如果 ZK 技术足够强大以支持 EVM 等效性，完全有可能作为这一多客户端生态系统中的另一...
...更流畅、更具隐私保护能力的交互基础。结合 **ZKTLS（零知识传输层安全）**技术，社交应用可以实现基于链上声誉、资产或特定凭证的**隐私保护验证**，例如在约会软件中匿名验证用户的财富水平或专业资质，而无需暴露其具...
...需透露向量本身。 ### 动机 当我们讨论 Bulletproof 零知识证明时，它们通常是“我有两个向量的内积是 $v$”的形式。这看起来很简单，但实际上我们可以利用这一机制证明非常非平凡的声明。稍后我们将讨论这个问题。 但...
...步的进展，后续我们的首席架构师会分享更多的信息给零知识证明的开发者社区。 * 采用不必做安全设置的新零知识证明算法。 * 目前Beta1的电路只能容纳1百万用户。一旦我们的用户数量接近这个极限，我们就需要再做一次...
...量范围**和**攻击面**时，这种区分变得至关重要。 ## 零知识证明系统中的椭圆曲线 椭圆曲线不仅用于传统的公钥密码学，而且在**零知识证明系统**中也起着至关重要的作用，特别是在基于配对的 SNARKs 中，如 **Groth16** 和 **PLON...
...现 - Circom [v2.0](https://blog.iden3.io/circom-2-is-released.html)（零知识电路编译器），用 Rust 重写，编译速度提高 10 倍 ## 安全性 - Lido 和 RocketPool 押金被抢跑的[事后报告](https://medium.com/immunefi/rocketpool-lido-frontrunning-bug-fix-postmortem-e701...
...链下批量执行所有计算，并且只向以太坊提交一个小的零知识证明（不能是伪造的证明）进行验证。由于以太坊会验证这些证明，并且存储足够的数据来准确判断链下账户的状态，因此zkRollup拥有以太坊层级的安全性。 零知识...
...中的 **以下领域** 的进展与创新，这并不是全部。 **零知识 Rollups**：ZK rollups 是 Ethereum Layer2的主要扩展解决方案。将高效和标准化的 ZK-EVM 证明验证直接纳入，可以使滚动层避免单独重新创建冗余的证明系统。这简化开发，提...
...次有趣的冒险之旅吧！ --- # 第一步：最小化的理论知识 > 世上根本没有比特币，只有一个又一个的 UTXO。 > > 世上根本没有 CKB, 只有一个又一个的 Cell。 --- ### 理解 CKB 理解 CKB 的第一步，是抛开所有复杂的概念，...