├── .gitignore ├── FRI&Stark ├── .DS_Store ├── README.md ├── assets │ └── SN-Linear-Flat colour.png ├── co-learn-notes │ └── STARK 101 note by neuroney.md ├── lesson 1 │ └── FRI overview 2024-08-13 19-54-37.pdf ├── part2 lesson4 │ └── 2024-09-05-STARK.md └── stark101 │ ├── imgs │ ├── 1.png │ ├── 2.png │ └── 3.png │ └── stark101_arithmetization.md ├── LICENSE ├── Plonk ├── .DS_Store ├── README.md ├── co-learn notes │ └── Eta │ │ ├── 01_R1CS_Plonklish.md │ │ ├── 02_Lagrange.md │ │ ├── 03_Permutation.md │ │ ├── 04_Copy_Constraints_Optimization.md │ │ ├── 05_Polynomial_Commitments.md │ │ └── images │ │ ├── 28_ring.png │ │ └── 29_plonkish.png ├── co-learn-notes │ ├── .DS_Store │ ├── Kyrin(demo) │ │ └── template.md │ ├── co-learn-note by Eric.md │ └── co-learn-notes_MartinYeung5.md ├── lesson 1 │ └── whyplonk 2024-05-28.pdf ├── lesson 5 │ ├── PLONK - Lecture 5 - 算术约束与拷贝约束.pdf │ ├── img │ │ └── circuit.png │ └── plonk-lecture5-constraints.ipynb ├── lesson 6 │ ├── README.md │ ├── bls12381.py │ ├── ec.py │ ├── fft.py │ ├── fields.py │ ├── image.png │ ├── pairing.py │ ├── poly_commit.py │ ├── poly_utils.py │ └── util.py ├── lesson 7 │ └── Plonk.pdf └── lesson 8 │ └── plookup and custom gates.pdf ├── README.md ├── ZKVM ├── README.md ├── assets │ └── ZKM Logo Horizontal Black-1.png ├── co-learn-notes │ └── .DS_Store ├── lesson 1 │ ├── Add instruction in SP1.md │ └── zkvm-wangyao.pdf ├── lesson 4 │ └── Introduce the zkVM.pdf └── lesson 7 │ └── ZKM Prover基本构造课程.pptx └── lattice ├── README.md ├── assets └── KEF-LND-BLK.png ├── co-learn-notes ├── 01-Kurt Pan-Lattice-Overview-lecture-note.txt ├── 02-Yingfei-What is Lattice & average-case and worst-case hard problems-note.txt ├── 03-Discrete Gaussians, Rejection Sampling, Rings and Modules-note-by-MT.txt ├── 04-Bing-NTT-note-by-MT.txt ├── 05-Yingfei-Ajtai Commitment and Lyubashevsky Signature Proofs-note-by MT.txt ├── 06-Building_SNARKs-note.md ├── 06.Building_SNARKs-note-by MT.txt ├── 07.Realizing_PCS-note-by MT.md ├── 08.LaBRADOR-note-by MT.md ├── 09.Greyhound-note-by MT.md ├── 10.Lattice ZKP Implementation Lantern, Lattirust and Labrador & Greyhound PoC-note-by MT.md ├── 202507格课程 11 讲 汇总笔记-by MT.md ├── SIS lattice and bkz.pdf └── master-problem-underlying-all-cryptography.md └── slides ├── 6.Building_SNARKs.pdf ├── 7.Realizing_PCS.pdf ├── 8.LaBRADOR.pdf ├── 9.Greyhound.pdf ├── Lattice-1.pdf ├── Lattice-2.pdf ├── Lattice-3.pdf └── NTT.pdf /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode 2 | __pycache__ -------------------------------------------------------------------------------- /FRI&Stark/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/.DS_Store -------------------------------------------------------------------------------- /FRI&Stark/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/README.md -------------------------------------------------------------------------------- /FRI&Stark/assets/SN-Linear-Flat colour.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/assets/SN-Linear-Flat colour.png -------------------------------------------------------------------------------- /FRI&Stark/co-learn-notes/STARK 101 note by neuroney.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/co-learn-notes/STARK 101 note by neuroney.md -------------------------------------------------------------------------------- /FRI&Stark/lesson 1/FRI overview 2024-08-13 19-54-37.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/lesson 1/FRI overview 2024-08-13 19-54-37.pdf -------------------------------------------------------------------------------- /FRI&Stark/part2 lesson4/2024-09-05-STARK.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/part2 lesson4/2024-09-05-STARK.md -------------------------------------------------------------------------------- /FRI&Stark/stark101/imgs/1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/stark101/imgs/1.png -------------------------------------------------------------------------------- /FRI&Stark/stark101/imgs/2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/stark101/imgs/2.png -------------------------------------------------------------------------------- /FRI&Stark/stark101/imgs/3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/stark101/imgs/3.png -------------------------------------------------------------------------------- /FRI&Stark/stark101/stark101_arithmetization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/FRI&Stark/stark101/stark101_arithmetization.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/LICENSE -------------------------------------------------------------------------------- /Plonk/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/.DS_Store -------------------------------------------------------------------------------- /Plonk/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/README.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/01_R1CS_Plonklish.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/01_R1CS_Plonklish.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/02_Lagrange.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/02_Lagrange.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/03_Permutation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/03_Permutation.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/04_Copy_Constraints_Optimization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/04_Copy_Constraints_Optimization.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/05_Polynomial_Commitments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/05_Polynomial_Commitments.md -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/images/28_ring.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/images/28_ring.png -------------------------------------------------------------------------------- /Plonk/co-learn notes/Eta/images/29_plonkish.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn notes/Eta/images/29_plonkish.png -------------------------------------------------------------------------------- /Plonk/co-learn-notes/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn-notes/.DS_Store -------------------------------------------------------------------------------- /Plonk/co-learn-notes/Kyrin(demo)/template.md: -------------------------------------------------------------------------------- 1 | 例子可见 https://github.com/KyrinCode/ZKP/blob/main/KZG.md 2 | 3 | 中文即可 -------------------------------------------------------------------------------- /Plonk/co-learn-notes/co-learn-note by Eric.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn-notes/co-learn-note by Eric.md -------------------------------------------------------------------------------- /Plonk/co-learn-notes/co-learn-notes_MartinYeung5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/co-learn-notes/co-learn-notes_MartinYeung5.md -------------------------------------------------------------------------------- /Plonk/lesson 1/whyplonk 2024-05-28.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 1/whyplonk 2024-05-28.pdf -------------------------------------------------------------------------------- /Plonk/lesson 5/PLONK - Lecture 5 - 算术约束与拷贝约束.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 5/PLONK - Lecture 5 - 算术约束与拷贝约束.pdf -------------------------------------------------------------------------------- /Plonk/lesson 5/img/circuit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 5/img/circuit.png -------------------------------------------------------------------------------- /Plonk/lesson 5/plonk-lecture5-constraints.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 5/plonk-lecture5-constraints.ipynb -------------------------------------------------------------------------------- /Plonk/lesson 6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/README.md -------------------------------------------------------------------------------- /Plonk/lesson 6/bls12381.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/bls12381.py -------------------------------------------------------------------------------- /Plonk/lesson 6/ec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/ec.py -------------------------------------------------------------------------------- /Plonk/lesson 6/fft.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/fft.py -------------------------------------------------------------------------------- /Plonk/lesson 6/fields.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/fields.py -------------------------------------------------------------------------------- /Plonk/lesson 6/image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/image.png -------------------------------------------------------------------------------- /Plonk/lesson 6/pairing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/pairing.py -------------------------------------------------------------------------------- /Plonk/lesson 6/poly_commit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/poly_commit.py -------------------------------------------------------------------------------- /Plonk/lesson 6/poly_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/poly_utils.py -------------------------------------------------------------------------------- /Plonk/lesson 6/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 6/util.py -------------------------------------------------------------------------------- /Plonk/lesson 7/Plonk.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 7/Plonk.pdf -------------------------------------------------------------------------------- /Plonk/lesson 8/plookup and custom gates.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/Plonk/lesson 8/plookup and custom gates.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/README.md -------------------------------------------------------------------------------- /ZKVM/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/README.md -------------------------------------------------------------------------------- /ZKVM/assets/ZKM Logo Horizontal Black-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/assets/ZKM Logo Horizontal Black-1.png -------------------------------------------------------------------------------- /ZKVM/co-learn-notes/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/co-learn-notes/.DS_Store -------------------------------------------------------------------------------- /ZKVM/lesson 1/Add instruction in SP1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/lesson 1/Add instruction in SP1.md -------------------------------------------------------------------------------- /ZKVM/lesson 1/zkvm-wangyao.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/lesson 1/zkvm-wangyao.pdf -------------------------------------------------------------------------------- /ZKVM/lesson 4/Introduce the zkVM.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/lesson 4/Introduce the zkVM.pdf -------------------------------------------------------------------------------- /ZKVM/lesson 7/ZKM Prover基本构造课程.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/ZKVM/lesson 7/ZKM Prover基本构造课程.pptx -------------------------------------------------------------------------------- /lattice/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/README.md -------------------------------------------------------------------------------- /lattice/assets/KEF-LND-BLK.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/assets/KEF-LND-BLK.png -------------------------------------------------------------------------------- /lattice/co-learn-notes/01-Kurt Pan-Lattice-Overview-lecture-note.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/01-Kurt Pan-Lattice-Overview-lecture-note.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/02-Yingfei-What is Lattice & average-case and worst-case hard problems-note.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/02-Yingfei-What is Lattice & average-case and worst-case hard problems-note.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/03-Discrete Gaussians, Rejection Sampling, Rings and Modules-note-by-MT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/03-Discrete Gaussians, Rejection Sampling, Rings and Modules-note-by-MT.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/04-Bing-NTT-note-by-MT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/04-Bing-NTT-note-by-MT.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/05-Yingfei-Ajtai Commitment and Lyubashevsky Signature Proofs-note-by MT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/05-Yingfei-Ajtai Commitment and Lyubashevsky Signature Proofs-note-by MT.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/06-Building_SNARKs-note.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/06-Building_SNARKs-note.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/06.Building_SNARKs-note-by MT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/06.Building_SNARKs-note-by MT.txt -------------------------------------------------------------------------------- /lattice/co-learn-notes/07.Realizing_PCS-note-by MT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/07.Realizing_PCS-note-by MT.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/08.LaBRADOR-note-by MT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/08.LaBRADOR-note-by MT.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/09.Greyhound-note-by MT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/09.Greyhound-note-by MT.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/10.Lattice ZKP Implementation Lantern, Lattirust and Labrador & Greyhound PoC-note-by MT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/10.Lattice ZKP Implementation Lantern, Lattirust and Labrador & Greyhound PoC-note-by MT.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/202507格课程 11 讲 汇总笔记-by MT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/202507格课程 11 讲 汇总笔记-by MT.md -------------------------------------------------------------------------------- /lattice/co-learn-notes/SIS lattice and bkz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/SIS lattice and bkz.pdf -------------------------------------------------------------------------------- /lattice/co-learn-notes/master-problem-underlying-all-cryptography.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/co-learn-notes/master-problem-underlying-all-cryptography.md -------------------------------------------------------------------------------- /lattice/slides/6.Building_SNARKs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/6.Building_SNARKs.pdf -------------------------------------------------------------------------------- /lattice/slides/7.Realizing_PCS.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/7.Realizing_PCS.pdf -------------------------------------------------------------------------------- /lattice/slides/8.LaBRADOR.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/8.LaBRADOR.pdf -------------------------------------------------------------------------------- /lattice/slides/9.Greyhound.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/9.Greyhound.pdf -------------------------------------------------------------------------------- /lattice/slides/Lattice-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/Lattice-1.pdf -------------------------------------------------------------------------------- /lattice/slides/Lattice-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/Lattice-2.pdf -------------------------------------------------------------------------------- /lattice/slides/Lattice-3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/Lattice-3.pdf -------------------------------------------------------------------------------- /lattice/slides/NTT.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coset-io/zkp-academy/HEAD/lattice/slides/NTT.pdf --------------------------------------------------------------------------------