https://eprint.iacr.org/2024/1399

 

A Note on Ligero and Logarithmic Randomness

We revisit the Ligero proximity test, and its logarithmic randomness variant, in the framework of [EA23] and show a simple proof that improves the soundness error of the original logarithmic randomness construction of [DP23] by a factor of two. This note w

eprint.iacr.org

 

https://infossm.github.io/blog/2024/09/03/ProximityLogUpdate/

 

New Updates on Proximity Testing with Logarithmic Randomness

소개 이전 글에서, “Proximity Testing with Logarithmic Randomness”라는 논문을 소개했습니다. 이 논문을 읽은 당시에 제가 논문에 있었던 증명의 작은 오류를 찾아 이를 수정하는데 기여하기도 했으며,

infossm.github.io

 

 

https://infossm.github.io/blog/2024/08/27/Polymath/

 

Polymath: Groth16 is Not The Limit

소개 ZKP의 성능을 측정하는 요소에는 여러 가지가 있습니다. Prover와 Verifier의 입장에서 생각해보면, 가장 중요한 것은 아무래도 Prover가 proof를 생성하는데 걸리는 시간 및 리소스 Verifier가 proof를

infossm.github.io

 

 

 

https://hackmd.io/UFT-5jfPSBS7rxKHTx6clg

 

Decoding Reed-Solomon Codes - HackMD

   owned this note    owned this note       Published Linked with GitHub # Decoding Reed-Solomon Codes When we discuss Reed-Solomon Codes or other codes in general in ZKPs, the main ingredient is really about proximity and their testing. For ex

hackmd.io

 

https://hackmd.io/262GbvpNR4W2zxzJj36JqQ

 

STIR: Reed-Solomon Proximity Testing with Fewer Queries - HackMD

   owned this note    owned this note       Published Linked with GitHub --- layout: post title: "STIR: Reed-Solomon Proximity Testing with Fewer Queries" date: 2024-07-26 author: rkm0959 --- # 소개 이 글은 https://eprint.iacr.org/2024/390

hackmd.io

 

'Cryptography' 카테고리의 다른 글

Polymath: Groth16 is Not The Limit  (0) 2024.09.11
Decoding Reed-Solomon Codes  (0) 2024.08.03
Minimizing Foreign Arithmetic in ZKP Circuits  (0) 2024.06.11
1/8-1/10: Fixing the Proof of [DP23]  (0) 2024.01.15
1/12-1/14: MPC Fundamentals  (0) 2024.01.15

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

 

https://www.youtube.com/watch?v=Gfa4BIMMXhk

 

'Blockchain Security' 카테고리의 다른 글

Curta / Plonky2x Audit Report  (0) 2024.02.27
zkSummit11 @ Athens  (0) 2024.02.24
Paradigm CTF 2023: "Cryptography Challenges"  (0) 2023.10.30
Scroll's Security Measure Seminar  (0) 2023.10.25
Scroll zkEVM Audit Report  (0) 2023.10.17