...uMyOg) **_Norbert Vadas_ \| Gevulot** - [Zero-Knowledge in a Nutshell（零知识简而言之）](https://www.youtube.com/watch?v=AimRkPVTs2M) **_Lisa Akselrod_ \| Aztec** - [The Aleo Advantage（Aleo 的优势）](https://www.youtube.com/watch?v=fKR26w0NMHk) **_ZK Lim_ \| Aleo** - [ZK Chains：为...
## ZK Bulletproofs 简介 Bulletproofs 是一种零知识内积论证，它使证明者能够说服验证者他们正确计算了内积。也就是说，证明者有两个向量 $\mathbf{a} = [a_1, a_2, \dots, a_n]$ 和 $\mathbf{b} = [b_1, b_2, \dots, b_n]$，并且他们计算了 $v = \langle\ma...
...来可能还可以拿到一笔 zkSync的空投。 > zkSync 是使用零知识证明进行 L2 扩容（zkRoolup）的龙头项目，潜力很大，zkSync 很可能会发行自己的代币，给自己的用户空投，是最近 DEFI 项目的传统，如果zkSync空投，估计未来是不小的一...
...//learnblockchain.cn/article/10487)、稳定币 - DeFi、DAO、NFT - [零知识](https://learnblockchain.cn/article/13802) ZK ### 2\. 最佳互动式 Solidity 开发课程：Alchemy University **价格：** 免费 **级别：** 初级到中级  有基本了解。 - 对 [零知识证明](https://learnblockchain.cn/article/13802) 有较高层次的理解。 ### 欺诈证明和有效性证明是什么 欺诈证明和有效性证明是用于确保 [第二层](https://learnblockchain.cn/artic...
...露在环中。且在目前的公有链市场上，与环签名相比，零知识证明依然是最佳的匿名方案之一。 BTW，关于环签名还有一个有趣的历史故事，最早可以追溯到十七世纪的法国。相传，法国群臣向国王提意见的时候，为了不让国...
...。zkBridge实现了快速、安全及无信任的跨链交互，利用零知识证明消除了对任何第三方验证的需求。 利用zkBridge，比特币现在能够安全地传输其当前及历史数据，使用零知识证明，与包括比特币第二层、以太坊及其第二层在内的...
## 引言 在加密协议领域，特别是涉及零知识证明（ZKP）的协议中，计算的效率和复杂性是非常重要的。秩-1约束系统（R1CS）在这一背景下发挥着关键作用，作为构造和解决基于约束问题的基础。处理R1CS的一个关键方面是约束的...
...数值化 - 2.4 问题转换 3. 证明 - 3.1 同态加密 - 3.2 零知识 - 3.3 非交互式 - 3.3.1 CRS 4. 其它方案 5. 结尾 # 概述 ## 应用场景 零知识证明在隐私保护、区块链扩容等领域都有非常重要的作用，在之前的文章中提到过...
...睹的所有基础设施限制：L2扩展、数据可用性（DA）、零知识虚拟机（zkVM）等等。但其中最显著的可能是能够在Web3 dApp上大规模使用Web2数据。 过去几年里，我们从头开始重建了Web，这非常棒。然而，加密用户仍然不到Web用户...
...中的状态回滚到区块 1-3。 防伪证明还可以使用[零知识证明（zk-SNARKs 或者 STARKs）](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)来构造，但由于目前通过零知识证明生成证明的时间和空间还有待优化，目前设计的 Plasma 并不依赖...
...hain.cn/pics/20230216103437.jpg) ## 什么是zkEVM？ zkEVM（零知识以太坊虚拟机）是以太坊虚拟机（EVM）的一个变种，允许在零知识的环境下创建和执行智能合约。 zkEVM允许隐私的方式执行合约逻辑及合约中涉及的数据。这是通过...
零知识以太坊虚拟机（zkEVM）是一种生成 [零知识证明](https://learnblockchain.cn/article/5276) 以验证程序正确性的虚拟机。zkEVM 旨在以支持零知识技术的方式执行智能合约。 zkEVM是 [零知识 (ZK) Rollups](https://www.alchemy.com/blog/zero-knowledge-...
...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...