... STARK 的样子，以及 Python 中的实现。STARKs（"可扩展透明知识证明"）是一种生成证明的方法，证明形式为 f(x)=y，其中 f 的计算可能需要很长时间，但证明可以很快得到验证。一个 STARK 是 “双重可扩展”的：对于一个执行 t 步的...
...。[Optimistic Rollup](https://learnblockchain.cn/article/14329) 和 [零知识 Rollup](https://alchemy.com/blog/zero-knowledge-rollups) 除了在以太坊上发布交易结果外，还在 Layer 1 上以 CALLDATA 的形式发布交易数据。 从 Rollup 发布到以太坊的区块数据是公开...
...转移到链下网络，并在链上储存交易数据。然后会使用零知识证明（zk-rollup）或欺诈证明（optimistic rollup），对在链下计算的状态变更结果进行链上验证。 **优势：** 模块化区块链将交易执行和状态转移到成本更低、更...
.../www.eip4844.com/)）的实施，了解在以太坊主网上验证有效性证明的过程和成本是至关重要的。 如果您还不熟悉Rollup，我们建议阅读[**这篇**](https://learnblockchain.cn/article/11067)Matter Labs团队的深入分析文章。  + Q(x) = (P + Q)(x)` 看起来是自然和显而易见的，那么你就达到了正确的水平）。相反，本文深入探讨了这个技术的机制，尽可能地解...
...沿着Root==>N5==>N2就可以定位到交易C发生改变。 * 零知识证明：例如，想要证明一组交易中包含某个交易A，但又不想让对方知道交易A的具体内容，那么就可以构建Merkle树（如上图），向对方公布N0、N1、N4和Root，对方就可以...
...网络上，实现它并不是一件简单的事情。幸运的是，[零知识证明（ZKP）](https://learnblockchain.cn/article/1189)技术使这成为可能，但不幸的是，ZKP是一项非常复杂的技术。这就是我构建 [zk-merkle-tree](https://www.npmjs.com/package/zk-merkle-tree) ...
...本书极其出色，为我提供了大量关于以太坊和区块链基础知识的深入理解。然而，从现在的视角来看，书中的一些开发技巧已经显得有些过时。初步步骤涉及在个人笔记本电脑上运行一个节点，即使是为了钱包dApp，也需要自行...
...以解决潜在的错误。这个阶段的特点是实现了功能完备的证明系统，欺诈证明提交的去中心化，以及在没有 operator 协调的情况下提供用户退出的机制。由多元化的参与者组成的安全委员会提供了一个安全网，但其权力也带来潜...
...以在选择显示其已签名身份的部分时，创建关于签名的零知识证明。 这样，Alice可以控制她透露自己身份的哪个部分。 例如，如果她只需要透露他的电话号码才能申请信用卡，她可以有选择地只透露那部分，但其余部分被屏蔽...