...讨论了基于纠错码的多项式承诺方案，重点介绍了其在零知识证明中的应用。以下是视频的核心内容和关键论据总结： 1. **核心内容概括**： - 本讲座介绍了基于纠错码的多项式承诺方案，强调了其在构建高效的SNARK（简洁...
...，Dan Boneh详细介绍了一个广泛使用的SNARK（简洁非交互式知识论证）构造，名为Plonk。讲座的核心内容是逐步构建Plonk的各个组成部分，并解释其工作原理。 ### 核心内容概述 Plonk是一个多项式交互式oracle证明（IOP），用于验证...
...to.com/intro.html)。这次与 a16z 的合作旨在帮助加强他们的零知识 (ZK) 堆栈的安全性。Jolt 的 zkVM 有望成为 zk 领域的关键参与者，而像这样的安全工作对于确保它能够兑现其承诺至关重要。 通过这次审查，我们发现了一些重大的错...
...起很多人的注意，但在其页面中，隐藏着我们见过的对零知识证明 (ZKP) 系统最令人印象深刻和最具破坏性的攻击之一。由于 ZKP 系统的目的是创建一种加密证明，以证明计算结果的正确性，**该论文演示了一个错误的计算结果，...
## 我们很荣幸获得以太坊基金会对我们在零知识证明上进行 L2 扩展工作的认可和支持  以太坊基金会最近宣布了[第五波资助](https://blog.ethereum.org/2019/02/21/ethereum-foundation-gr...
...。Lagrange Labs 正在构建粘合剂，以帮助安全地扩展基于零知识证明的互操作性。_  ## ZK 大数据栈： Lagrange Labs ZK 大数据栈是一种专有的证明构造，优化用于与任意动态分...
...间戳 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:...
...限的，但模一个质数的整数加法是一个有限群。 在零知识证明中，我们只使用有限群。 ### 群的阶 群的阶是其包含的元素数量。 ### 循环群 循环群是指有一个元素，使得群中的每个元素都可以通过对该元素反复应用...
...es-affecting-girault-bulletproofs-and-plonk/)中，我们披露了破坏零知识证明系统多个实现健全性的严重漏洞。这类我们称之为 Frozen Heart (冰冻之心) 的漏洞，是由 Fiat-Shamir 转换的不安全实现引起的，这些实现允许恶意用户伪造随机声明的...
...的阐述，必要的复杂性足以理解 _zk-SNARK_，无需任何先决知识、密码学或高级数学。主要目标不仅是解释它如何工作，还要解释它为什么工作以及它是如何形成的。 ## 前言 虽然最初计划简短，但现在工作已经扩展到几十页...
...帐户之间转移，发送者可以使转移的金额保密，并通过零知识证明（ZKP）使验证者相信该金额不超过其余额。 ## 保密交易概述 Aptos 上的 ACT 遵循三个基本原则： 1. 余额和转移的金额对网络中的每个参与者保密，除了预期的接...
### 零知识多项式乘法 使用前一章的多项式承诺方案，证明者可以展示他们拥有三个多项式 l(x)、r(x) 和 t(x)，并证明 t(x) = l(x)r(x)。 为了使这个算法有效，验证者必须相信多项式的评估是正确的——但这是我们在前一章中展...
...Cryptography（MIT）](https://hackmd.io/@gubsheep/B1LF02t9i)⭐ - [MIT零知识证明(中文版)](https://www.bilibili.com/video/BV1D64y1K78q/?share_source=copy_web&vd_source=9f57b166a79e3fa3c92ed5cb6c246c5a)（大纲基本和前面的MIT的差不多）⭐ - [密码学 I | Coursera](https://www.c...
...之间建立分离均衡。该提议的核心思想是允许用户发布零知识证明，以证明其资金（不）来自已知的（非）合法来源，而无需公开披露其整个交易图。这是通过证明在满足监管或社会共识所要求的某些属性的自定义关联集中的成...