... L1 某个智能合约的事务。 “ZK” 这个前缀指的是 “零知识证明（zero knowledge）”，不过，zk rollup 往往不能保护隐私 —— 所有的事务都会默认公开，就像 Optimistic rollup 一样。使用 “zk” 这个前缀是因为这些系统所依赖的 *有...
## zkevm 介绍 zkEVM旨在设计并实现一种解决方案，通过零知识证明来验证以太坊执行模块（通常指Layer2执行）。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目，主要包含两个方面： ### zkRoll...
...tps://www.gelato.cloud/blog) — Gelato 大学 ## 构建未来：引领零知识技术发展的项目  可扩展性是以太坊面临的挑战，导致了像 ZK rollups 这样的 Layer-2 解决方案...
在本次讲座中，Kelly Olson探讨了零知识证明（ZKP）的硬件加速，重点介绍了其重要性、当前行业状态及未来发展方向。 **核心内容概括：** 讲座首先定义了硬件加速的概念，强调其在提高零知识证明生成效率方面的重要性。随...
...数据量和 Gas 费。而实现证明的路线又分为欺诈证明和零知识证明。 欺诈证明本质上是一个信任系统。你发送一笔交易，证明人会发表一个证明：你发送交易的计算结果是 A。这个证明出来的结果默认是正确的，但有一定时间...
## **在ZK中证明Ethereum完整节点**  ### **主要要点** > — 证明Ethereum PoS的完整节点对构建zkBridge和任何在Ethereum上的互操作协议至关重要。同步委员会对于这些目的来说是不...
...通讯覆盖最新的隐私增强加密技术、分布式协议开发和零知识系统研究。 ZK Mesh 由 [ZK Hack](https://www.zkhack.dev/) 制作。 我们为你带来最新研究、实用文章、视频、播客、推文、工具、项目更新和事件。请期待每月更新一期。务必...
...ttps://learnblockchain.cn/article/10821)，我们深入探讨了一个 _零知识证明_ 协议的特定示例。尽管优化和性能问题不谈，它涵盖了所需的用例：证明一个数字在 _某个范围_ 内。然而，该协议是 _极其具体_ 的，为了另一个声明而制作另...
...实现，以后有机会在详述。 从本文开始，我们要进入零知识证明的范畴，零知识证明是密码学重要分支，尤其区块链快速发展的这几年，零知识证明技术在隐私，layer2扩容等方面发挥着关键的作用。 但是零知识证明涉及到众...
...，来保证计算的正确；而 zkRollup 则是靠着在主链完成零知识证明，保证无效的状态绝不会发生。因为所有计算都被 “汇总” 到证明里，所以无需信任或是检查执行者。 另外，zkRollups 对数据存储方面也带来了一定程度上的扩...
在本次视频中，Uma Roy和Tracy讨论了RISC-V zkVM（零知识虚拟机）的工作原理及其应用。视频的核心内容围绕zkVM的定义、工作流程以及其在区块链和加密领域的潜在用途展开。 ### 核心内容概括 1. **zkVM的定义**：zkVM代表零知识虚拟...
...工作，所以后来创建了这个库帮助开发和调试。 ### 零知识证明 - 说说Binius 零知识证明 - 说说Binius **Shooter**: Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了F_2以及扩...
...之前，先来简要了解 ZK 。 我们究竟是什么意思 ZK？零知识证明（ZK 证明）允许一方（证明者）向另一方（验证者）表明某个陈述是真实的，而不透露其如何真实或披露该陈述底层的敏感细节。正式来说，设 RXW 为一个二元关...
...讨了困扰传统区块链的状态膨胀问题以及 Mina 如何使用零知识证明来解决该问题，且如何在此过程中提供更具隐私性、去中心化和高效的区块链。我们将探讨 Mina 的设计选择，以及关键参与者如何使其在原生代币 MINA 的支持下作...
...个交易历史，并且要一笔笔的进行执行验证。zkEVM利用零知识证明技术（zk-SNARK）证明： * 针对智能合约的交易执行，生成交易证明。在L2实现zkRollup支持可编程性。 * 针对以太坊的每一个区块，生成区块证明。 这些证明都...