...月 23 日 在 [Helius 和 Light Protocol 宣布他们在 Solana 上的零知识 (ZK) 压缩项目](https://x.com/LightProtocol/status/1804241026334548366)后的几天里，关于 ZK 压缩的讨论很多。大量的讨论集中在命名法上。它是 ZK rollup？L2？还是完全不同的东西...
...值得信赖的加密密钥，以保护加密钱包、区块链协议或零知识证明系统。这些（有时漂派）的程序通常是一个项目安全性的信任根源，因此将其做到正确极其重要。 区块链项目以多种创意方式进行仪式——涉及喷枪、放射性粉...
...（DAOs）和去中心化金融（DeFi）铺平了道路，并继续在零知识证明（ZK）和最大优先值（MEV）等前沿挑战上进行创新。以太坊的研究者和工程师社区为下一代去中心化应用程序建立了坚实的基础。 我们很容易忘记，以太坊协议的...
...事实限制了吞吐量，因为能力较弱的节点会成为瓶颈。零知识证明允许一方（证明者）说服另一方（验证者）某个给定的陈述是真实的，而除了陈述的有效性之外不泄露任何其他信息。这些证明的验证速度比朴素的重新执行快得...
...）。这些主要通过有效性证明来证明（这其中没有任何零知识的内容），并且在过去一年中，针对具体存储证明及其计算进行了一系列的优化和性能改进。我们还看到了一些针对链上数据的协处理器的兴起，以及用于链下-to-链...
...语言（DSL）需要具有大多数软件开发人员无法接触的专业知识。 零知识虚拟机（zkVMs）的发展克服了这第三个可用性障碍，因为zkVM允许开发人员使用Rust或Go等高级编程语言编写程序 - 而无需了解将证明其执行的底层SNARK。但是...
...上手摸摸 CKB 这条链， > > 才能更好体会到前面的理论知识。 --- 我们已经在云端运行了一条测试链， 并预先生成了一些账户地址，方便这次教程的使用。 试试点击下面的按钮，查看这条链最新的区块。 Fetch Blocks ...
...证器。只要逻辑，即使非常复杂，也能够被准确编程成零知识证明，BitVM2 就可以验证它。 ### BitVM2 程序工作流 BitVM2 的详细交易流程由于一些优化和安全机制而变得复杂。但 [BitVM2](https://bitvm.org/bitvm_bridge.pdf) 白皮书也呈现...
...GAS费，在以太坊伊斯坦布尔升级后，引入了 zk-SNARKs（零知识证明）技术，降低了某些运算所需的 gas 费，后面Loopring的ZkRollUp方案才慢慢得到应用，然而这是一个非常漫长的过程，需要从发起提案到最后矿工升级，以太坊的EIP1159...
...特殊的哈希函数，它具有一些特殊的性质，使其适用于零知识证明场景。与传统的哈希函数不同，zk-friendly 哈希函数通常具有以下特点： 1. 低计算复杂度：zk-friendly 哈希函数通常具有较低的计算复杂度。 2. 低内存占用：zk-frien...
...术层面，像 zkEVM 和 zkVM 这样的框架继续成熟，而结合零知识证明（ZKP）、多方计算（MPC）和全同态加密（FHE）等技术则承诺提供创新的应用可能性。值得注意的是，DevCon 上的讨论强调了一些前沿技术，如不可区分混淆（iO），...
>出品：DODO Research > >编辑：yaoyao & Lisa > >作者：dt > 以太坊二层扩容机制，是当今区块链的显学，也是兵家必争之地。 > > $\,$ > > > 本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项...
...做的工作。这个证明会通过有效性证明（注：生成一个零知识证明）或欺诈证明（注：回溯性证明根哈希是错误的）来进行验证。zkRollup采用的是有效性证明，而optimistic rollup采用的则是欺诈证明。 在optimistic rollup中，当生成...