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