https://hackmd.io/NmxP5CsPTAerr2E-oPFlkQ
1/4: Studying FRI Soundness - HackMD
owned this note owned this note Published Linked with GitHub # 1/4: Studying FRI Soundness I actually skipped over a lot of parts on this, mostly intuitive understanding only. The reason for this was that the proof techniques were w
hackmd.io
https://hackmd.io/keVLzFSrQdmCcmUVh2l_BQ
1/5: Proximity Testing with Logarithmic Randomness - HackMD
owned this note owned this note Published Linked with GitHub # 1/5: [[DP23]](https://eprint.iacr.org/2023/630.pdf): Logarithmic Randomness ## Summary Recall the statement from [1/3: Ligero's Proof for q<d′/3](https://hackmd.io/k
hackmd.io
https://hackmd.io/c2eTRG3PSLeverwHTMkNDQ
1/6: [DP23] Proof of Extractability - HackMD
owned this note owned this note Published Linked with GitHub # 1/6: [[DP23]](https://eprint.iacr.org/2023/630.pdf) Proof of Extractability + Efficiency Continued from https://hackmd.io/keVLzFSrQdmCcmUVh2l_BQ ## Part 1: Extractor Def
hackmd.io
'Cryptography' 카테고리의 다른 글
| 1/8-1/10: Fixing the Proof of [DP23] (0) | 2024.01.15 |
|---|---|
| 1/12-1/14: MPC Fundamentals (0) | 2024.01.15 |
| 1/2 - 1/3: Succinct Proofs & Linear Algebra / Ligero's Testing for Interleaved Codes (0) | 2024.01.03 |
| Folding Part 2: HyperNova (0) | 2024.01.03 |
| Folding Part 1: ProtoStar (0) | 2023.12.01 |