...，Dan Boneh详细介绍了一个广泛使用的SNARK（简洁非交互式知识论证）构造，名为Plonk。讲座的核心内容是逐步构建Plonk的各个组成部分，并解释其工作原理。 ### 核心内容概述 Plonk是一个多项式交互式oracle证明（IOP），用于验证...
...通过比特币脚本实现以太坊 rollup 中执行的挑战游戏或零知识证明验证，在现实中被认为是很困难的。 BitVM 于 2023 年 10 月发布，作为一种能够在比特币网络上验证链下计算结果的解决方案而备受关注，显示了解决此问题的可能...
...uffragium** 是一个安全、保护隐私的投票系统，它结合了零知识证明 (ZKP) 和全同态加密 (FHE)，以创建一个无需信任且防篡改的投票平台。利用 Zama 的 **fhEVM**，Suffragium 保留了安全投票系统的所有基本属性。 ### 对安全和私密投票...
...心化投票系统，使用 Noir，这是一种为构建保护隐私的零知识（ZK）程序而设计的领域特定语言（DSL）。在此过程中，我们将解释一些关键组成部分，例如 Noir 标准库及其预言机集成。 通过遵循本技术指南，你将学习如何开发...
...，则该块已最终确定。 ## 2. ZK-Rollup ZK-Rollup 是基于零知识证明的 Layer2 扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。**ZK-Rollup 在链下进行复杂的计算和证明的生成，链上...
...n 2018 年就提出了利用 zk-SNARKs 实现扩展，开创性引入了零知识证明技术证明区块状态变化的有效性，这也是 ZK Rollup 的雏形。 zk-SNARKs 绕不开的一个点就是中心化的 Trust Setup，也称之为CRS(the Common Reference String)。2019年由 Aztec 研...
...。Lagrange Labs 正在构建粘合剂，以帮助安全地扩展基于零知识证明的互操作性。_  ## ZK 大数据栈： Lagrange Labs ZK 大数据栈是一种专有的证明构造，优化用于与任意动态分...
## 我们很荣幸获得以太坊基金会对我们在零知识证明上进行 L2 扩展工作的认可和支持  以太坊基金会最近宣布了[第五波资助](https://blog.ethereum.org/2019/02/21/ethereum-foundation-gr...
Awesome zkVM 一份精选的 zkVM，零知识虚拟机资料清单，深入了解 zkVM 的好帮手。 欢迎提出[贡献](https://github.com/rkdud007/awesome-zkvm/blob/main/CONTRIBUTING.md)和建议；请就你...
...限的，但模一个质数的整数加法是一个有限群。 在零知识证明中，我们只使用有限群。 ### 群的阶 群的阶是其包含的元素数量。 ### 循环群 循环群是指有一个元素，使得群中的每个元素都可以通过对该元素反复应用...
...间戳 00:46 Zhang Ye 介绍 01:27 Leo Fan 介绍 02:45 解释零知识证明 05:27 zk-Rollup 中使用的 zk 电路是什么？ 07:05 ZK 电路与硬件加速之间有关联吗？ 09:10 硬件加速是在加速什么？ 12:16 Prover 在 zk-Rollup 中扮演什么角色？ 14:...
...帐户之间转移，发送者可以使转移的金额保密，并通过零知识证明（ZKP）使验证者相信该金额不超过其余额。 ## 保密交易概述 Aptos 上的 ACT 遵循三个基本原则： 1. 余额和转移的金额对网络中的每个参与者保密，除了预期的接...
...的阐述，必要的复杂性足以理解 _zk-SNARK_，无需任何先决知识、密码学或高级数学。主要目标不仅是解释它如何工作，还要解释它为什么工作以及它是如何形成的。 ## 前言 虽然最初计划简短，但现在工作已经扩展到几十页...
### 零知识多项式乘法 使用前一章的多项式承诺方案，证明者可以展示他们拥有三个多项式 l(x)、r(x) 和 t(x)，并证明 t(x) = l(x)r(x)。 为了使这个算法有效，验证者必须相信多项式的评估是正确的——但这是我们在前一章中展...