零知识证明

• 零知识证明学习网站

• 从零开始学习 zk-SNARK（一）——多项式的性质与证明

• Zk-SNARK - Part 1 - Problem statement to R1CS

• R1CS construction

• 零知识证明入门指南： 发展历史、应用和基本原理

• 对话三大最值得关注的 zkEVM 项目丨 | DeFi 之道直播回顾

• 深入浅出zk-SNARKS

• 热门的数据可用性方案原理简述

• Journey through Cairo I — Setting up Protostar and ArgentX for local development

• The Vector Space of Polynomials: Span, Linear Independence, and Basis

• StarkNet House Weekly Session 2: "Everything about StarkNet Wallets" by Julien, Yoav & Tarrance

• I'm often asked for STARK Math links, here's a LONG thread on that

• oxPARC

• ZK Learning

• Explaining BLS12–381 … The “Zero Knowledge Proof” Curve

• ZKP Workshop 2022: Dan Boneh - Constructing Modern SNARKS

• Lecture 10.1: Privacy on the Blockchain

• Lecture 10.3: What is a zk-SNARK?

• Scroll - The Anatomy of Proof Generation

• KZG in Practice: Polynomial Commitment Schemes and Their Usage in Scaling Ethereum

• 零知识证明学习资料汇总

• 安比实验室

• 区块链中的数学

• 星想法

• 零知识证明之zk-SNARK

• Demystifying Zero Knowledge Proofs

• Elliptic Curve Cryptography: a gentle introduction

• Why and How zk-SNARK Works

• Vitalik：以太坊状态爆炸问题，多项式承诺方案可解决 (原文）

• ZK Study Club: Part1 Polynomial Commitments with Justin Drakes

• 一文了解 zkPairing：椭圆曲线配对的 zkSNARKs

• RSA累加器，区块链瘦身神器？

• 深入理解TornadoCash技术细节

• Iden3 circom教程

• poseidon Applied ZKP workshop

• Rebase Network｜零知识证明入门

• DoraHacks 基础密码学专题

• Dapp Learning ZK & ZKEVM

• CTN Zero-Knowledge Proofs 零知识证明

• Antalpha Labs | Scroll 分享 zkEVM

• Antalpha Labs | Sroll ZK Rollup

• Antalpha Labs | Scroll 架构

• zkpDAO 快速走进ZK赛道之零知识证明和zkevm

• 白话零知识证明（二）

• 技术详解多项式承诺：正在重塑整个区块链？

• IOSG：为什么我们看好零知识证明硬件加速

• 从 Zcash 和 Aleo 的技术出发，理解隐私交易的设计原理

• FFT vs NTT?

• FRI vs KZG?

• Plonky arithmatic vs R1CS?

• Polynomial evaluation?

• q-strong SDH assumption?

• 低度多项式扩展？

• KCA vs KEA

• N阶系数知识假设

• Hardware Acceleration for Zero Knowledge Proofs

• An Incomplete Guide to Rollups

• https://hackmd.io/@liangcc

• A Practical Guide To Building Zero Knowledge dApps

• ZK Learning Resources

• oxStan ZKP from zero

• Kurt Pan’s Cryptoland

• How do trusted setups work?

• ETH Research

• ZKProof ORG

• 不同Polynomial Commit方案对比

• Schwartz–Zippel lemma 定理

• Fiat-Shamir 定理

• 深入理解zk-STARK证明系统

• The halo2 Book

• 江小白

• Consensus ZK EVM specification

• Jordi Baylina : ZK-EVM

• polygon zk day (full program)

• ZKVM Book

• Cairo VM

• 如何使用内积参数 (IPA) 进行数据可用性抽样

• zkSNARKs in a nutshell

• What is an inner product argument

• Multi exponentiations

• Perdersen Hash

• CSDN 零知识证明专栏

• Zcash Halo2

• Probabilistically Checkable Proofs

• A16z ZK资料

• ZK 身份的实现，需要在四方面取得重大进展

• ZK编程前提

• Number Theory

• ZK Learning Group

• Plonk置换检查

• Plonk workshop

• ZK Whiteboard Sessions

• The Future of PlonK ish System

• Aggregation Tool for Circom PLONK Proofs

• Proof Systems for zkRollups

• Ethereum Foundation ZK talks

• Plonk by hand系列

• 暸解 Plonk

• Maller optimization

• Plonk - Proof Generation and Verification

• UltraPlonk & Halo2

• UltraPlonk - applied zk

• zkAttestor: Block and State Attestations on Ethereum, Applied ZK - Day 1

• Best Practices for Large Circuits

• Mary Maller- "Inner Product Arguments"

• Inner Product Arguments - Mary Maller

• 雪落无留痕

• Zero-Knowledge Proofs and Their Applications to Machine Learning | Cybersecurity Seminars

• Simulator & Extractor (replace witness by trapdoor)

• Justin Thaler | a16z crypto research talks

• cr.yp.to

• 距离放大： Reed-Solomon编码的本质

• Halo2 lookup is different with plonkup

• Range Checks using lookup table (and binary constraits)

• prover加速及PipeZK论文

• Starkmath

• hands-on tutorial on how to write a STARK prover from scratch

• Stark tutorials

• ETH Rollup roadmap

• A beginner's intro to coding zero-knowledge proofs

• zk工具集合

• Ingopedia - Zero Knowledge Proofs

• relaxed R1CS

• IVC

• Univariate SumCheck

• 格密码和LWE

• Split And Fold

• Folding Scheme

• Forking Lemma

• BCC16(Bullet Proofs)

• Super Polynomial

• EXP, MHT, FFT, MSM

• AGM和GGM

• 多元多项式的KZG10

• UC（通用可组合）和SE

• grouth16不满足零知识性，需要混入masking polynomial，或者随机数

• 2^n的乘法子群，fft需要补齐到2^n

• ZK9: Speeding up SNARKs with cached quotients - Ariel Gabizon (Zeta Function Technologies)

• A zk-SNARK enabled light client and bridge for Eth2 chains

• plonk intro

• Layer 2 交易协议 ZKSwap 项目解读 | Dapp Learning

• NOVA 系列之NIFS

安全

• 输入假名

• 如何利用 Groth16 的漏洞伪造证明