零知识证明文章 - 第7页

ZK领域入门资料整理

本书签内容整理自[紫樱](https://github.com/VioletSakura777) 的资源，非常感谢紫樱大佬的分享。我在上面进行整理添加。

学习资源入门零知识证明入门

熵十达维
发布于 2024-06-10
阅读 ( 2671 )
( 40 )

Jolt：澄清、批评、反思

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。

Jolt Lasso 零知识证明 sum-check协议 Binius承诺 zkVM

a16z Crypto
发布于 2024-06-04
阅读 ( 1480 )

零知识证明 - 说说Binius

Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。

零知识证明 Binius

Star Li
发布于 2024-05-28
阅读 ( 2631 )
( 7 )

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin

pairings bn254 recursive snark

白菜
发布于 2024-05-17
阅读 ( 2032 )
( 14 )

用于零知识证明的有限域与模运算

in 零知识证明之书

本文详细介绍了有限域在零知识证明电路中的应用，包括有限域的定义、模运算、加法逆元、乘法逆元等概念，并通过代码示例展示了如何在Python中实现这些操作。

有限域零知识证明模运算加法逆元乘法逆元 Python

RareSkills
发布于 2024-05-01
阅读 ( 1520 )

BLS12-381 理论与实现

Pairings, KZG, SNARK

pairings zkSNARK KZG

白菜
发布于 2024-04-30
阅读 ( 3655 )
( 132 )

ZK的算术电路

in 零知识证明之书

文章介绍了在零知识证明中使用的算术电路（Arithmetic Circuits）与布尔电路（Boolean Circuits）的对比，并展示了如何将算术电路用于求解NP问题。文章详细解释了算术电路的原理、实现方法，并提供了多个具体示例，如三色图问题和排序列表问题。

零知识证明算术电路布尔电路 NP问题三色图问题

RareSkills
发布于 2024-04-25
阅读 ( 1170 )

零知识证明：以太坊的未来

in 小猪Web3

本质上，零知识证明技术可以将区块链去信任化，从经济学假设，带入到基于密码学假设中，实现链下数据可用性、原生抽象账户钱包等原生功能进一步扩展，尤其是为以太坊等底层链正面临的扩容和隐私保护相关问题提供了解决方案，甚至是，唯一解决方案。

以太坊 ZK Rollup 隐私保护

Pignard
发布于 2024-04-17
阅读 ( 4817 )
( 33 )

椭圆曲线数字签名算法原理及其应用

现实中的签名有很多，简单举个例子：比如你小时候，考试不及格，老师常常会让你带着试卷在回去给你爸妈签名，以表示对你成绩的认可。那么这种签名可能会导致你乱认爸爸，老师也不容易验证你家长的签名。椭圆曲线数字签名是可以验证的。公式，函数图像如下图。4a**3+27b**2!=0，保证了图像上的

Kary
发布于 2024-04-13
阅读 ( 2115 )
( 10 )

SNARK设计的新纪元：发布Jolt

文章介绍了Jolt，一个新的SNARK设计方法，其在性能和可扩展性上优于现有zkVM，速度提升可达2倍。Jolt通过采用sum-check协议和多变量多项式来解决当前zkVM设计的复杂性和低效问题，旨在提升SNARK的开发体验，降低错误概率，并简化扩展工作。

Jolt SNARK zkVM sum-check协议 Lasso 性能优化

a16z Crypto
发布于 2024-04-10
阅读 ( 1504 )

zkVM的四个特性：如何选择你的ZK工具包

本文介绍了选择zkVM的关键特性以及如何评估不同的ZK工具包。作者讨论了为何zkVM能加快开发速度，列举了必要特性，包括支持导入包、链上验证、无限制计算以及证明组合。此外，文章还详细描述了RISC Zero在实现这些特性方面所采用的方法和技术挑战。

zkVM RISC Zero 区块链 ZK工具包证明组合 Rust

RISC ZERO
发布于 2024-04-09
阅读 ( 698 )

基于 ZK 的资产证明

如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组织想要去做财务欺诈难度就会非常高。

零知识证明 zk 资产安全

Antalpha Labs
发布于 2024-04-02
阅读 ( 2652 )
( 9 )

了解零知识证明历史

来自 lambda class 的了解零知识证明历史。计算机科学、数学和硬件的进步，以及区块链的引入，导致了新的更高效的 SNARKs 的出现。

零知识证明 zkSNARK

翻译小组
发布于 2024-02-20
阅读 ( 4967 )
( 45 )

使用 SnarkJS 和 Circom 进行零知识证明

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明

circom snarkjs 零知识证明

张小风
发布于 2024-02-16
阅读 ( 4287 )
( 13 )

通过 Tornado Cash 的源代码理解零知识证明

零知识证明 circom snarkjs

张小风
发布于 2024-02-16
阅读 ( 4337 )
( 51 )

尝试用 Halo2 实现 Tornado Cash

太长不看版：你已经听说过 Tornado Cash 了吗？还有 Halo2？太棒了！在这里，我们将混合这两者，并将 Tornado Cash 电路重写为 Halo2。

Tornado.cash Halo2 零知识证明

翻译小组
发布于 2024-02-14
阅读 ( 2942 )
( 9 )

简析 Cached Quotients Lookup Arguments

Lookup Arguments 允许证明者（prover）证明一个值属于一个预先定义的集合。

零知识证明

Antalpha Labs
发布于 2024-01-29
阅读 ( 3074 )
( 5 )

审计零知识证明（ZKP）应用

本文深入探讨了零知识证明（ZKP）应用审计过程，包括电路设计和实施审计的关键点。文章强调了电路中变量之间逻辑关系的显式声明的重要性，以及常见的审计问题，如完整性和有效性问题，以指导ZKP安全研究者和开发者提高代码质量和安全性。

零知识证明审计过程电路设计安全性加密技术 ZKP应用

zellic
发布于 2024-01-26
阅读 ( 762 )

Caulk, Caulk+ 学习笔记

Caulk+ 是 Caulk 的优化版本方案，它用了一个被称为「polynomial divisibility check」的方法来替换原本的子协议，以提升 Caulk 生成证明的效率，使得证明复杂度仅与子集的大小有关，而与原向量的大小无关。