https://infossm.github.io/blog/2024/05/26/ForeignArithmeticZKP/
Minimizing Foreign Arithmetic in ZKP Circuits
https://eprint.iacr.org/2024/265.pdf 논문에 대해 다룹니다. 소개 ZKP를 사용하는 과정에서 가장 핵심적인 부분은 결국 $\mathbb{F}_p$ 위의 기본적인 연산들을 통해서 프로젝트 스펙에서 필요로 하는 constraint
infossm.github.io
'Cryptography' 카테고리의 다른 글
| Decoding Reed-Solomon Codes (0) | 2024.08.03 |
|---|---|
| STIR: Reed-Solomon Proximity Testing with Fewer Queries (0) | 2024.07.29 |
| 1/8-1/10: Fixing the Proof of [DP23] (0) | 2024.01.15 |
| 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 |