...中的状态回滚到区块 1-3。 防伪证明还可以使用[零知识证明（zk-SNARKs 或者 STARKs）](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)来构造，但由于目前通过零知识证明生成证明的时间和空间还有待优化，目前设计的 Plasma 并不依赖...
...[https://eprint.iacr.org/2022/1355](https://eprint.iacr.org/2022/1355) 零知识证明系统是区块链隐私和可扩展性的核心构建块。这些系统允许证明者向验证者证明某个状态转换是正确的。这可以是一个 [CAPE](https://www.espressosys.com/blog/cape-configurabl...
...在 1677 万 gas，此举旨在解决关键的安全漏洞，同时为零知识虚拟机 (zkVM) 开辟新的可能性。 ## 问题：当交易变成武器 以太坊目前的架构允许单个交易消耗高达整个区块 gas 限制的 gas，可能达到 3000 万 gas 或更多。虽然这种灵活...
...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...
...通讯覆盖最新的隐私增强加密技术、分布式协议开发和零知识系统研究。 ZK Mesh 由 [ZK Hack](https://www.zkhack.dev/) 制作。 我们为你带来最新研究、实用文章、视频、播客、推文、工具、项目更新和事件。请期待每月更新一期。务必...
零知识以太坊虚拟机（zkEVM）是一种生成 [零知识证明](https://learnblockchain.cn/article/5276) 以验证程序正确性的虚拟机。zkEVM 旨在以支持零知识技术的方式执行智能合约。 zkEVM是 [零知识 (ZK) Rollups](https://www.alchemy.com/blog/zero-knowledge-...
...以太坊网络上一模一样的工具和基础设施。 Linea 将零知识证明功能与完整的以太坊虚拟机 (EVM) 等效性相结合，允许构建者创建可扩展的 DAPP 或迁移现有的 DAPP，而无需更改代码或重写智能合约的麻烦。此外，Linea 还提供便捷...
...icada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。与现有的系统相比，Cicada 具有新颖的隐私属性，最大限度地减少了信任假设，并且足够高效，可以在以太坊主网上使用。 在这篇文章中...
...2.png) 为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”...
...org/modular-vs-monolithic-a-beginners-guide/) 引发了围绕 rollups、零知识证明、rollup-as-a-service (RaaS)、轻客户端等的大量无需许可的创新浪潮。 结果是：面向大众的可扩展、最小信任的区块空间。 然而，虽然我们已经在以太坊上解锁...
...来可能还可以拿到一笔 zkSync的空投。 > zkSync 是使用零知识证明进行 L2 扩容（zkRoolup）的龙头项目，潜力很大，zkSync 很可能会发行自己的代币，给自己的用户空投，是最近 DEFI 项目的传统，如果zkSync空投，估计未来是不小的一...
...作加速了隐私解决方案的构思和实施，特别是那些使用零知识证明的解决方案。我们现在正处于一个关键的隐私构件从研究阶段进入生产阶段的时期：[**Semaphore**](https://github.com/kobigurk/semaphore)，一种匿名信号传递的手段。 Semapho...
...这样一个电路可以让我们使用 _Plonk_ 证明所述数字 _v_ 的知识！那么让我们再次试着把这放入方程中。 > 事实上，这就是我们之前描述的同一个系统 [我们之前说过](https://medium.com/@francomangone18/cryptography-101-zero-knowledge-proofs-part-1...