...hain.cn/pics/20230216103437.jpg) ## 什么是zkEVM？ zkEVM（零知识以太坊虚拟机）是以太坊虚拟机（EVM）的一个变种，允许在零知识的环境下创建和执行智能合约。 zkEVM允许隐私的方式执行合约逻辑及合约中涉及的数据。这是通过...
### 概况 zkMove 是一个面向零知识证明的 Move 语言运行环境。它最初的构想是提升零知识证明的可编程性和可组合性，用户可以基于 zkMove 运行安全、可扩展、隐私的智能合约。关于 zkMove 的设计初衷我曾经在[《聊一聊 zkMove》](h...
...，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协...
...高吞吐量和低燃料费的使用权益证明（Proof-of-Stake）和零知识卷叠（ZK-Rollup）的区块链一层网络。Espresso同时研发了以太坊的可配置隐私资产（CAPE），它是一个可以运行在任何EVM兼容链上的应用（并最终会运行在Espresso上）。CAPE...
...去中心化金融(DeFi)等复杂应用移植到链下(layer2)，通过零知识证明保持链上链下的数据一致性，只在layer1上做清算，从而降低用户使用DeFi的手续费。Scroll提出了新的零知识证明结构，新的layer2上DApp的交互方式，以及新的layer2挖...
...ps://www.alchemy.com/polygon-zkevm) 是一个第二层区块链，使用零知识技术和有效性证明来提高以太坊的可扩展性，降低 gas 成本，并为开发者提供一个熟悉的开发环境。 [Polygon 的 Proof-of-Stake 区块链与 Polygon zkEVM 的区别](https://www.alchem...
# zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 # **1. 预备知识** ## 1.1 概念 - **零知识证明**：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同时...
...有同样的体验，每天脑袋都在膨胀，每天都有很多新鲜的知识需要学习总结。最近有些空闲时间看了看powersoftau。了解零知识证明算法的小伙伴的都知道，在利用某些零知识证明算法之前，需要可信设置。Groth16算法针对不同的电...
...82e491244eb05f.png) # zk-snarks zk-snarks全称为简洁的非交互式知识认证，也称零知识证明。它可以让你在不执行，甚至不知道执行的具体内容是什么的情况下就能够验证某个计算的结果是否正确。 举个例子，想象一下，你是盲人...
...现在所谓的vApp中。 - vApp是一种通过利用可验证计算、零知识虚拟机、模块化架构和集成的SDK，将Web3应用程序扩展到互联网级别的方法。这有助于降低开发者和用户的入门门槛，并允许创建可以与各种区块链无缝连接的应用程...
...坊扩展性战略的里程碑式事件，也进一步彰显了CertiK在零知识证明（ZKP）系统形式化验证领域的全球技术领导力。 CertiK的“先进形式化验证”技术是此次获奖的关键，相比传统方案，它实现了四大突破：直接针对具体代码而...
...新的密码学证明方案（有些人会把这些方案统称为 “零知识证明”、“ZKP”）。 像 [zk-STARK](https://academy.binance.com/blockchain/zk-snarks-and-zk-starks-explained) 这样的密码学证明系统（[很快](https://twitter.com/deversifi/status/1262673383520690176?s=...
...](https://www.alchemy.com/overviews/ethereum-scaling-solutions)，利用零知识证明在保持自我主权和去中心化的同时提高以太坊的吞吐量。 zkSync的创建者Matter Labs是首批识别以太坊可扩展性问题并创新出实用、面向未来解决方案的工程团队之...
...obin和Prathush讨论了如何实现去中心化的私密计算，以及零知识证明（ZKP）在其中的作用。以下是视频的核心内容和关键论据的总结： 1. **核心内容概括**： - 视频探讨了区块链系统在隐私保护方面的不足，特别是在交易验证和...