精选零知识证明文章 - 第3页

使用 SNARKs 批处理 ECDSA 签名

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

零知识证明 zkSNARK ECDSA

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

关于Groth16延展攻击

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

Groth16 零知识证明

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

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

零知识证明 Halo2

Star Li
发布于 2022-06-24
阅读 ( 2636 )

zkREPL：一个zkSNARKs 在线开发环境

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

零知识证明 zkSNARK

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

零知识证明 - 证明隐私代理方案

随着ZKP的应用越来越多，零知识证明的证明隐私代理也变的越来越重要。在一些场景下，本地证明的生成时间比较长，如何既保证数据的隐私同时实现快速的证明外包是一个很有意义的话题。在zkSummit7的这个演讲给出一个方案：在PIOP+多项式承诺的零知识证明方案中，可以结合MPC实现证明隐私代理。

零知识证明 PIOP MPC zkSNARK

Star Li
发布于 2022-06-13
阅读 ( 2463 )

零知识证明 - zkEVM源代码分析（MPT Circuit）

文章分为两部分：1/介绍MPT的基础背景知识 2/导读MPT电路代码和原理。

零知识证明 zkEVM 源码分析 MPT RLP编码

Star Li
发布于 2022-05-26
阅读 ( 2768 )

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

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

零知识证明 zkSNARK zkSTARK

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

零知识证明 - zkEVM源代码分析（State Circuit）

前一篇文章介绍了zkEVM的EVM Circuit的电路实现细节，接下来继续介绍State Circuit。

零知识证明 zkEVM 源码分析

Star Li
发布于 2022-05-06
阅读 ( 2697 )

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

零知识证明 zkEVM ZK Rollup