...ps://www.alchemy.com/polygon-zkevm) 是一个第二层区块链，使用零知识技术和有效性证明来提高以太坊的可扩展性，降低 gas 成本，并为开发者提供一个熟悉的开发环境。 [Polygon 的 Proof-of-Stake 区块链与 Polygon zkEVM 的区别](https://www.alchem...
...去中心化金融(DeFi)等复杂应用移植到链下(layer2)，通过零知识证明保持链上链下的数据一致性，只在layer1上做清算，从而降低用户使用DeFi的手续费。Scroll提出了新的零知识证明结构，新的layer2上DApp的交互方式，以及新的layer2挖...
...有同样的体验，每天脑袋都在膨胀，每天都有很多新鲜的知识需要学习总结。最近有些空闲时间看了看powersoftau。了解零知识证明算法的小伙伴的都知道，在利用某些零知识证明算法之前，需要可信设置。Groth16算法针对不同的电...
# zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 # **1. 预备知识** ## 1.1 概念 - **零知识证明**：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同时...
...现在所谓的vApp中。 - vApp是一种通过利用可验证计算、零知识虚拟机、模块化架构和集成的SDK，将Web3应用程序扩展到互联网级别的方法。这有助于降低开发者和用户的入门门槛，并允许创建可以与各种区块链无缝连接的应用程...
## 摘要 简化的范围证明。只需要 6 个 ECMUL 和 3 个 ECADD (37K gas) 即可在 EVM 上验证基于 Pedersen 承诺的隐私币的范围证明。第一次设置和承诺需要 zkSNARKs，但之后成本会降至最低。对于客户端的每个交易生成，也不需要 ZKP 计算。 ...
...82e491244eb05f.png) # zk-snarks zk-snarks全称为简洁的非交互式知识认证，也称零知识证明。它可以让你在不执行，甚至不知道执行的具体内容是什么的情况下就能够验证某个计算的结果是否正确。 举个例子，想象一下，你是盲人...
...新的密码学证明方案（有些人会把这些方案统称为 “零知识证明”、“ZKP”）。 像 [zk-STARK](https://academy.binance.com/blockchain/zk-snarks-and-zk-starks-explained) 这样的密码学证明系统（[很快](https://twitter.com/deversifi/status/1262673383520690176?s=...
...icada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。与现有的系统相比，Cicada 具有新颖的隐私属性，最大限度地减少了信任假设，并且足够高效，可以在以太坊主网上使用。 在这篇文章中...
...](https://www.alchemy.com/overviews/ethereum-scaling-solutions)，利用零知识证明在保持自我主权和去中心化的同时提高以太坊的吞吐量。 zkSync的创建者Matter Labs是首批识别以太坊可扩展性问题并创新出实用、面向未来解决方案的工程团队之...
...坊扩展性战略的里程碑式事件，也进一步彰显了CertiK在零知识证明（ZKP）系统形式化验证领域的全球技术领导力。 CertiK的“先进形式化验证”技术是此次获奖的关键，相比传统方案，它实现了四大突破：直接针对具体代码而...
...中，我们将了解 Polygon zkEVM 协议，该协议结合了密码学零知识证明和以太坊虚拟机（EVM）来提供 Layer-2 Rollup 解决方案。 ### 什么是 Polygon？ [Polygon](https://polygon.technology/)，以前称为 Matic，是一个提供多样化区块链解决方案的区...
...要问题 我们如何**形式化验证**一个算术电路（正如 **零知识证明系统** 所使用的）具有所需的特性，例如可靠性、完备性和零知识性¹？ 证明系统的可靠性意味着它不会证明错误的陈述。类似地，证明系统所使用的电路的可...
...而，Polygon 使用 Polygon 2.0 的更广泛愿景是使用最新的 [零知识证明](https://ethereum.org/en/zero-knowledge-proofs/) 创新来为其所有以太坊扩容解决方案提供动力，而当前状态下的 Polygon PoS 由其自己的验证者保护；**_不是_**由 ZK 证明保护。...