...Kurt Pan 本文假设你熟悉 SNARK 和 STARK 工作原理的基础知识；如果你并不熟悉，建议阅读此文的前几节。特别感谢 Eli ben-Sasson、Shahar Papini、Avihu Levy 和 starkware 的其他人员提供的反馈和讨论。 - https://vitalik.eth.limo/general/2024/04...
...加法椭圆曲线点有了良好的理论和实践理解，因为现代零知识算法在这方面的依赖非常重。 ### 关于模加法与椭圆曲线加法之间同态性的实现细节 我们在这里需要进行术语的仔细区分： **域模数**是我们在曲线上进行的模...
... STARK 的样子，以及 Python 中的实现。STARKs（"可扩展透明知识证明"）是一种生成证明的方法，证明形式为 f(x)=y，其中 f 的计算可能需要很长时间，但证明可以很快得到验证。一个 STARK 是 “双重可扩展”的：对于一个执行 t 步的...
...哈希函数操作码和预编译的 gas 成本，以匹配它们通过零知识（ZK）系统（如 ZK EVM）的执行成本。有关 ZK EVM 的更多信息，**请阅读这份 Galaxy Research 报告**。关于在以太坊上重新定价哈希函数操作的动机，Buterin **在[EIP 7667 文档](h...
...资产。这种方法有其权衡： - 尽管 DvP 桥可能使用如零知识证明之类的无信任验证机制，但在许多情况下，用户必须信任该机制。 - 消息系统通常由验证人多重签名来保证。这些实体负责确保消息的有效性，但它们的安全性...
...等复杂协议的实际工作，我们在此领域积累了深厚的专业知识。 从高层次上讲，加密基础设施通常包含三大类组件： 1. 链上基础设施 2. 签名基础设施 3. 链下基础设施 ### 链上基础设施 这包括程序部署、升级和状态迁移。在...
...保的第二个属性是有效的总体状态。 在zkRollup中，使用零知识证明来确保有效性。 从长远来看，这是一个不错的解决方案，但目前无法为任意状态转换创建有效的zkProofs。 但是，仍然有希望使用通用的EVM型状态机！ 我们可以使...
... [SNARK](https://a16zcrypto.com/posts/tags/snarks/)（简洁非交互式知识论证）是一种密码协议，任何人都可以向不可信的验证者证明他们知道满足某些性质的“证据”。 web3 中的一个重要应用就是二层 (L2) 汇总向一层 (L1) 区块链证明其知...
...被开发。特别是在一些如今看似炙手可热的领域，如[零知识证明](https://learnblockchain.cn/article/10776) 、[全同态加密](https://learnblockchain.cn/article/10805)和[后量子密码学](https://medium.com/thecapital/cryptography-101-post-quantum-cryptography-7983d383db78...
...技术的不断发展和新用例的发现，这一点很重要。基于零知识证明的智能合约特性为用户提供了更多的安全性和隐私性。此功能对于使公共比特币网络更环保尤其重要，因为人们越来越担心它使用多少能源。闪电网络支持小额支...
...H(H(w1,w2),w3))…,wn)=r 以证明他们对元素 w1w\_1 的知识，w1 是 Merkle 树中的成员。我们在之前的文章 [“Tornado Cash 是如何工作的？”](https://learnblockchain.cn/article/13687) 中讨论了这种用法。 传统的哈希函数的使用也可以应用...
...篇是基础篇，讲述链的结构以及共识，后面会详细分析零知识证明技术在mina中的应用原理和相关细节。 本文中使用的Mina代码的最后一次提交信息如下： ``` commit ce31b9dfe5f8e148837b4bf2cd19de6f97da663b (HEAD -> develop, origin/develop, origi...