...这意味着对欺诈证明的改进，甚至未来当可行的EVM等价零知识证明都可以轻松地融入现有的链下堆栈。 在短期内，我们需要一些今天就可行的东西——而我们找到了。一个解决方案是用Solidity实现一个完美的EVM等价实现，但EVM...
...两个 epoch 的同步假设，但数据可用性采样（如果使用零知识证明或多项式承诺完成）在异步假设下是安全的。 这将有助于把以太坊与其他分片式二层链的安全模型区分开，这些二层链都是在执行层面进行了分片。Eth2 作为基...
... 4 个 域元素(压缩后)优化成 2 个域元素. 下面来添加零知识(给 pedersen commitment 添加 hiding), 有 $$ \begin{align*} C &= A + zU + rH \\ &= \langle \vec{a}, \vec{G} \rangle + \langle \vec{a}, \vec{b} \rangle U + rH \\ &= C + x^{-2}L + x^{2}R , \end{align*} $$ ...
...供安全解决方案的区块链团队，凭借着在区块链跨链和零知识证明等扩展技术方面的专业能力，主要为 ZKP、Layer 2 和跨链应用提供细致和尖端的安全审计，致力于为可扩展的区块链生态系统的大规模应用提供安全保障。 ### 3....
...Txn 在Polygon的100号区块内有记录**）。只不过ZK桥会通过零知识证明，压缩验证Merkle Proof所需的计算量，进一步降低跨链桥合约的验证成本。  ## DA与数据扣留...
...\` 和 \`return\` 。 ## 安全属性证明 ### 流程控制 #### 预备知识 我们有一个键值映射，它将智能合约字节码中的每个 opcode 映射到其字节偏移量（也称为 \`program\_index\` ）。此 \`program\_index\` 是执行该 opcode 所需的 \`program\_counter\` ...
... ### 千字读懂 Rollup *p0n1，安比实验室研究员，关注零知识证明和智能合约安全* Rollup 是一大类 Layer-2 扩容方案的统称，特指先在链下进行复杂的计算和状态维护，再将与状态更改相关的数据通过合约调用的方式，利用更便...
...想到哈希不仅可以用来签名，还可以用于通用目的上的零知识证明。 对于这种情况，我感到非常高兴。 这意味着，尺寸仍然是一个问题，并且持续不断的进展正在继续减小证明的规模（例如，请参阅最新的[DEEP FRI](https://arxiv.org...
...这个谜题的展示中提到，这个谜题涉及何时使用未针对零知识进行配置的证明方案，以及依赖于证明的小的大小作为攻击者提取秘密的障碍。 因此，值得看看 `create_proof` 函数中调用的 `create_plonk_proof` 函数。稍微令人困惑的是...
...容 EVM 的 zkRollup 上的完整应用。 在过去，为了获得零知识证明无与伦比的可扩展性、安全性和 UX 优势，则必须切换到 ZK 语言。但现在情况已不同，在许多研发有了突破性进展之后，Solidity 已成为 ZK Rollup 领域的一等公民。使...
...s/2025/04/ix48EOpm680c8cc8e50d4.png) ## 介绍 可扩展的、透明的知识论证（STARKs）由于其在可验证计算和区块链可扩展性方面的应用而受到了广泛关注。我们可以使用 STARKs 生成一个简短的字符串，证明计算的完整性，并且验证者可以...
...redirect)是一种正在开发的隐私保护预言机协议，它利用零知识技术使机构和个人能够证明通证化RWAs的来源并验证其所有权，无需向第三方透露个人信息。 - [Chainlink Data Streams](http://mp.weixin.qq.com/s?__biz=MzU0MTgyMDQwNQ==&mid=2247499069&idx...
...许多高级协议（例如数字签名方案、多方计算（MPC）和零知识证明（ZKP））中发挥着关键作用。依我看，拥有扎实的基础和对这些原语的深入理解在密码学工作中是非常有帮助的。让我们开始吧！ ## 群 ### 定义 群 G 是一...