rkm0959

X의 porter robinson님(@porterrobinson)

everything we need is already here

x.com

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

New Updates on Proximity Testing with Logarithmic Randomness

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

infossm.github.io

Polymath: Groth16 is Not The Limit

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

infossm.github.io

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

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

Minimizing Foreign Arithmetic in ZKP Circuits

https://eprint.iacr.org/2024/265.pdf 논문에 대해 다룹니다. 소개 ZKP를 사용하는 과정에서 가장 핵심적인 부분은 결국 $\mathbb{F}_p$ 위의 기본적인 연산들을 통해서 프로젝트 스펙에서 필요로 하는 constraint

infossm.github.io