零知识证明文章 - 第7页

Constantine 性能表现

本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势，以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器（如GCC和Clang）在优化大整数和密码学代码方面的差异，并强调了使用内联汇编以确保性能和避免分支的重要性，Constantine通过优化代码大小和栈使用量，以及避免堆分配，适用于资源受限的设备。

椭圆曲线密码学性能优化区块链零知识证明基准测试编译器优化内联汇编

mratsim
发布于 2024-08-01
阅读 ( 927 )

解读Cysic：硬件加速与ZK矿业的崛起前夜

硬件加速领域中，Cysic可能是最受关注的劲旅之一

Cysic zkSNARK 零知识证明

仙壤
发布于 2024-07-26
阅读 ( 3461 )
( 10 )

Circle STARKs 介绍

本文介绍了 Circle STARKs，它通过利用具有最快有限域算术的梅森素数，展示了卓越的性能。Circle STARKs 通过移动到圆群来解决梅森素数上定义的字段的非平滑结构，并密切遵循其经典的 STARKs 类似物，虽然有一些细微之处，但幸运的是，大多数细微之处都对开发人员隐藏了，Circle STARKs 以及高效的查找可以帮助提高通用 ZKVM 的性能。

Circle STARKs 梅森素数 vanishing polynomials FRI协议 Circle FFT

lambdaclass
发布于 2024-07-26
阅读 ( 1009 )

zk-SNARK 系列 - #1 SNARK介绍 & 证明媒介

介绍 SNARK 及证明媒介

zkSNARK 零知识证明

Maksym
发布于 2024-07-25
阅读 ( 2892 )
( 10 )

17 个关于 SNARKs 的误解（以及为什么会有这样的误解）

zkSNARK

a16z Crypto
发布于 2024-07-23
阅读 ( 4448 )
( 31 )

构建 Jolt：一个快速、易于使用的 zkVM

Jolt：一个快速、易于使用的 zkVM

Jolt zkVM sumcheck

a16z Crypto
发布于 2024-07-22
阅读 ( 3194 )
( 9 )

零知识证明 - SP1 zkVM源代码入门

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

zkVM Plonky3 SP1 RISCV

Star Li
发布于 2024-06-25
阅读 ( 5610 )
( 52 )

初学指南: 使用 Risc0 创建你的第一个 ZK 项目

使用 Risc0 创建你的第一个 ZK 项目

RISC0 zkVM

RISC ZERO
发布于 2024-06-22
阅读 ( 2941 )
( 11 )

基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。

zkVM RISC0

RISC ZERO
发布于 2024-06-20
阅读 ( 2440 )
( 7 )

以太坊Layer2扩容方案之Validium

Validium也是一个以太坊的Layer2的扩容方案，它主要是在链下处理交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。

Validium Plasma ZK Rollup Layer2

张乐辉
发布于 2024-06-19
阅读 ( 2441 )
( 64 )

Circle STARKs 系列（一）：梅森素域

在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用椭圆曲线密码学，我们被限制在“密码学大小”的域，比如大约 256 位可实现 128 位安全性。然而，类 STARK 的技术（里德-所罗门IOP）在

零知识证明

XPTY
发布于 2024-06-12
阅读 ( 2786 )
( 14 )

ZK领域入门资料整理

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

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

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

Jolt：澄清、批评、反思

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

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

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

零知识证明 - 说说Binius

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

零知识证明 Binius

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

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin

pairings bn254 recursive snark

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

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

in 零知识证明之书

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

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

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

BLS12-381 理论与实现

Pairings, KZG, SNARK

pairings zkSNARK KZG

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

ZK的算术电路

in 零知识证明之书

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

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

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

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

in 小猪Web3

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

以太坊 ZK Rollup 隐私保护

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

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

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

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