https://hackmd.io/WzCftDAjQ7u0mYTAEg49Bw
1/2: Succinct Proofs and Linear Algebra - HackMD
owned this note owned this note Published Linked with GitHub # 1/2: Succinct Proofs and Linear Algebra preparation for studying Binius / more code-related PCS stuff fundamentally note: this write-up is really for my understanding -
hackmd.io
https://hackmd.io/k8_1AfQNTfy25N23QTmZ6g
1/3: Ligero’s Proof for q < d'/3 - HackMD
owned this note owned this note Published Linked with GitHub # 1/3: [Ligero](https://eprint.iacr.org/2022/1608.pdf)'s Proof for $q < d'/3$ This is also used in Brakedown for its soundness proof. It's for general codes, so... The mai
hackmd.io
'Cryptography' 카테고리의 다른 글
| 1/12-1/14: MPC Fundamentals (0) | 2024.01.15 |
|---|---|
| 1/4 - 1/6: FRI Soundness Proof & Proximity Testing with Logarithmic Randomness (0) | 2024.01.07 |
| Folding Part 2: HyperNova (0) | 2024.01.03 |
| Folding Part 1: ProtoStar (0) | 2023.12.01 |
| Multilinear PCS from Univariate PCS (0) | 2023.12.01 |