https://hackmd.io/qb-NrfZ7SgWMvPGNF4xPxw
1/8-1/10: Fixing the Proof of [DP23] - HackMD
owned this note owned this note Published Linked with GitHub # 1/8-1/10: Fixing the Proof of [[DP23]](https://eprint.iacr.org/2023/630.pdf) Continued from https://hackmd.io/c2eTRG3PSLeverwHTMkNDQ A similar approach is now integrated
hackmd.io
https://twitter.com/rkm0959/status/1746723799012442565
X의 rkm0959 | KALOS님(@rkm0959)
Here's something I've been working on the past week: finding & assisting in fixing a flaw in the extractability proof in https://t.co/BvfWzoqlJu - now fixed on eprint. discussed with @benediamond on this one, was a very fun experience. we auditing papers n
twitter.com
https://twitter.com/benediamond/status/1746724679706956213
X의 Ben Diamond님(@benediamond)
was a pleasure working through Merkle-extraction technicalities with @rkm0959, who is very astute. fixed version now live. the gap in our old proof also affects Brakedown 😅 @SuccinctJT
twitter.com
'Cryptography' 카테고리의 다른 글
| STIR: Reed-Solomon Proximity Testing with Fewer Queries (0) | 2024.07.29 |
|---|---|
| Minimizing Foreign Arithmetic in ZKP Circuits (0) | 2024.06.11 |
| 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 |
| 1/2 - 1/3: Succinct Proofs & Linear Algebra / Ligero's Testing for Interleaved Codes (0) | 2024.01.03 |