https://infossm.github.io/blog/2023/12/25/HyperNova/
Folding Part 2: HyperNova
이 글에서는 ZKP에서 사용되는 테크닉인 folding의 두 대표적인 논문인 ProtoStar와 HyperNova 중 HyperNova에 대해서 다룬다. https://eprint.iacr.org/2023/573.pdf Preliminaries Incremental Verifiable Computation Incrementally Veri
infossm.github.io
'Cryptography' 카테고리의 다른 글
| 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 1: ProtoStar (0) | 2023.12.01 |
| Multilinear PCS from Univariate PCS (0) | 2023.12.01 |
| Brakedown Overview (0) | 2023.10.13 |