https://hackmd.io/gwQ-RYURT8G1MeE5g-sbPw
https://hackmd.io/b__SmbY8TESHKGOM4Hwo5Q
https://hackmd.io/1_LFw9IORhOsJsZLjNEkiA
'Cryptography' 카테고리의 다른 글
Minimizing Foreign Arithmetic in ZKP Circuits (0) | 2024.06.11 |
---|---|
1/8-1/10: Fixing the Proof of [DP23] (0) | 2024.01.15 |
1/4 - 1/6: FRI Soundness Proof & Proximity Testing with Logarithmic Randomness (0) | 2024.01.07 |
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 |