...Kurt Pan 本文假设你熟悉 SNARK 和 STARK 工作原理的基础知识；如果你并不熟悉，建议阅读此文的前几节。特别感谢 Eli ben-Sasson、Shahar Papini、Avihu Levy 和 starkware 的其他人员提供的反馈和讨论。 - https://vitalik.eth.limo/general/2024/04...
...资产。这种方法有其权衡： - 尽管 DvP 桥可能使用如零知识证明之类的无信任验证机制，但在许多情况下，用户必须信任该机制。 - 消息系统通常由验证人多重签名来保证。这些实体负责确保消息的有效性，但它们的安全性...
...决方案** 另一种方法是利用隐私解决方案本身，例如零知识证明或同态加密。 零知识证明可用于向另一方证明特定陈述是正确的，而无需披露任何详细信息 - 例如，由 EAS 生成的认证可以在发送给潜在接收者之前再次包装在...
... STARK 的样子，以及 Python 中的实现。STARKs（"可扩展透明知识证明"）是一种生成证明的方法，证明形式为 f(x)=y，其中 f 的计算可能需要很长时间，但证明可以很快得到验证。一个 STARK 是 “双重可扩展”的：对于一个执行 t 步的...
...保的第二个属性是有效的总体状态。 在zkRollup中，使用零知识证明来确保有效性。 从长远来看，这是一个不错的解决方案，但目前无法为任意状态转换创建有效的zkProofs。 但是，仍然有希望使用通用的EVM型状态机！ 我们可以使...
...H(H(w1,w2),w3))…,wn)=r 以证明他们对元素 w1w\_1 的知识，w1 是 Merkle 树中的成员。我们在之前的文章 [“Tornado Cash 是如何工作的？”](https://learnblockchain.cn/article/13687) 中讨论了这种用法。 传统的哈希函数的使用也可以应用...
...参与者使用欺诈证明来保证交易的完整性。另一方面，零知识 Rollup 使用零知识证明 (ZKP) 来执行和验证链下交易，并将更新后的状态数据以及证明提交到链上。 乐观 Rollup 在链下计算诚实执行的假设下运行。因此，链上（即，...
...Layer 2 协议，旨在解决 Ethereum 的可扩展性问题，它利用零知识 (ZK) rollup 结构。它由 Matter Labs 开发，代表一个 zk-rollup 平台，其设计重点关注用户需求。该平台的目标是在其自定义虚拟机中广泛兼容 Ethereum 虚拟机 (EVM)，该虚拟机...
...区块链安全的关键趋势之一是越来越强调行业内的协作和知识共享。诸如漏洞赏金计划、负责任的披露政策以及区块链安全联盟的组建等举措，正在帮助建立一个更加安全和具有弹性的生态系统。 通过 **共享威胁情报**、**建立...
...技术的不断发展和新用例的发现，这一点很重要。基于零知识证明的智能合约特性为用户提供了更多的安全性和隐私性。此功能对于使公共比特币网络更环保尤其重要，因为人们越来越担心它使用多少能源。闪电网络支持小额支...
...的硬币（如果我们希望个人税款数量保密，可以使用 [零知识证明](https://learnblockchain.cn/article/10962) 使只有总额公开，但仍然可以说服每个人确保其计算正确）。部门之间的转账可以“明明白白”，这些硬币仅由声称他们的支付...
... [SNARK](https://a16zcrypto.com/posts/tags/snarks/)（简洁非交互式知识论证）是一种密码协议，任何人都可以向不可信的验证者证明他们知道满足某些性质的“证据”。 web3 中的一个重要应用就是二层 (L2) 汇总向一层 (L1) 区块链证明其知...