全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

通过 12 节课理解 STARK 构建过程

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性
zk-STARK  RISC Zero  零知识证明  FRI协议  Reed-Solomon编码  执行跟踪 

2024-08-11 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
ZKP 
  • Coset
  • 发布于 2024-08-12
  • 阅读 ( 1733 )
  • ( 33 )

ZK技术的历史发展脉络梳理

ZK技术的历史发展脉络梳理
零知识证明  zkSNARK 
  • 仙壤
  • 发布于 2024-08-09
  • 阅读 ( 2414 )
  • ( 7 )

使用 zkTLS 证明新世界

本文深入探讨了加密生态系统与现实世界之间的隔离现象，提出了数据可移植性的重要性，并介绍了一种新协议zkTLS，该协议旨在通过创建Web2与Web3之间的安全数据通道，推动用户数据在不同平台之间的共享与使用。文中还提到了一些相关项目与未来的挑战。
zkTLS  数据可移植性  Web3  加密生态系统  零知识证明  协议 

zk-SNARK 系列 - #2 证明多项式的知识

为什么和如何使用 zk-SNARK系列文章
zkSNARK 
  • Maksym
  • 发布于 2024-08-07
  • 阅读 ( 2079 )
  • ( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs
Circle  STARK 
  • XPTY
  • 发布于 2024-08-06
  • 阅读 ( 1827 )
  • ( 4 )

2024-08-04 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
zk 
  • Coset
  • 发布于 2024-08-06
  • 阅读 ( 1726 )
  • ( 23 )

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

硬件加速领域中，Cysic可能是最受关注的劲旅之一
Cysic  zkSNARK  零知识证明 
  • 仙壤
  • 发布于 2024-07-26
  • 阅读 ( 2550 )
  • ( 10 )

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

介绍 SNARK 及证明媒介
zkSNARK  零知识证明 
  • Maksym
  • 发布于 2024-07-25
  • 阅读 ( 2305 )
  • ( 10 )

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

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

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

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

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

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

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

使用 Risc0 创建你的第一个 ZK 项目
RISC0  zkVM 
  • RISC ZERO
  • 发布于 2024-06-22
  • 阅读 ( 2336 )
  • ( 11 )

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

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

零知识证明 - 说说Binius

Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。
零知识证明  Binius 
  • Star Li
  • 发布于 2024-05-28
  • 阅读 ( 2645 )
  • ( 7 )

BLS12-381 理论与实现

Pairings, KZG, SNARK
pairings  zkSNARK  KZG 
  • 白菜
  • 发布于 2024-04-30
  • 阅读 ( 3673 )
  • ( 132 )

基于 ZK 的资产证明

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

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

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明
circom  snarkjs  零知识证明 
  • 张小风
  • 发布于 2024-02-16
  • 阅读 ( 4315 )
  • ( 13 )

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

通过 Tornado Cash 的源代码理解零知识证明
零知识证明  circom  snarkjs 
  • 张小风
  • 发布于 2024-02-16
  • 阅读 ( 4362 )
  • ( 51 )

Caulk, Caulk+ 学习笔记

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