精选零知识证明文章

基于 ZK 的资产证明

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

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

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk

翻译小组
发布于 2023-11-07
阅读 ( 1516 )
( 101 )

零知识证明的力量：深入理解zk-SNARK

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者能够确认一名证明者拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。

DODO研究院
发布于 2023-11-02
阅读 ( 1768 )
( 32 )

Circom 语言教程与 circomlib 演示

翻译小组
发布于 2023-10-31
阅读 ( 1809 )
( 56 )

零知识开发者指南: 如何选择 ZK 技术栈

zk 技术堆栈有哪些技术可用，介绍每个层级的示例工具/技术

翻译小组
发布于 2023-09-29
阅读 ( 1473 )
( 63 )

Lookup奇点降临：Lasso 和 Jolt 简介

本系列中，我们将分享两项崭新的工作：Lasso 和 Jolt，它们可以显著加速 web3 中应用的扩展和构造。它们共同代表了一种本质上全新的 SNARK 设计方法，可将已广泛部署的工具链的性能提升一个数量级或更多；提供更好、更方便的开发者体验；并使得审计变得更加容易。

XPTY
发布于 2023-09-14
阅读 ( 710 )

友好的零知识介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用

翻译小组
发布于 2023-07-21
阅读 ( 1552 )
( 33 )

如何创建一个 ZK 智能合约

如何创建零知识证明并在Solidity 合约中验证

翻译小组
发布于 2023-06-14
阅读 ( 1981 )
( 79 )

安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

ZKP和zkSNARK是密码学里一个非常重要的分支，在以太坊的发展过程中异常强大，是以太坊可扩展性未来的途径。

郭宇@安比实验室
发布于 2023-04-26
阅读 ( 1568 )
( 2 )

科普: 零知识证明与zkRollup的基础知识

科普零知识证明，为什么需要零知识证明

翻译小组
发布于 2023-04-07
阅读 ( 1909 )
( 47 )

zkEVM 背后的技术发展：从多项式承诺到硬件加速

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展

XPTY
发布于 2023-01-30
阅读 ( 1392 )

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA，一个基于circom-ECDSA（由0xPARC 社区中其他人之前完成的工作）之上的概念验证实现，其灵感来自halo2-batch-ECDSA，它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。

XPTY
发布于 2022-09-14
阅读 ( 1782 )

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I

XPTY
发布于 2022-08-17
阅读 ( 1355 )

zkREPL：一个zkSNARKs 在线开发环境

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。

XPTY
发布于 2022-06-23
阅读 ( 2586 )

零知识前沿：关于SNARKs，STARKs和未来的应用

在今天的文章中，我将剖析有史以来最强大但经常被误解的密码学工具之一：零知识证明 。此外，我将重点介绍未来实现的用例和建议，并展示为什么零知识证明是crypto未来的关键。

XPTY
发布于 2022-05-09
阅读 ( 3039 )

通过上一篇，我们知道zkEVM包含多个电路，如EVM circuit， MPT circuit，Keccak256 circuit等。本节继续介绍EVM circuit部分，这一部分是典型的业务电路，用于约束EVM执行状态，因为其他例如 Keccak256 circuit 是通用型的电路，不仅可以用在ZKEVM工程中，也可以用在其他使用Keccak256做哈希的应用中，也就是独立于业务逻辑本身的电路组件。