PLONK

이번 시리즈는 zk-SNARK를 발전시킨 개념인 PLONK에 대해 알아보도록 하겠습니다. 이번 시리즈에서 PLONK-style arithmetization, polynomial commitment의 종류 중 하나인 KZG commitment에 대해서 알아보도록 하겠습니

이번 글에서는 다항식을 알고 있음을 증명하는 방법 중 하나인 polynomial commitment scheme과, polynomial commitment 방법 중 하나인 KZG commitment에 대해서 알아보겠습니다. Commitment scheme Commi

PLONK protocol의 더러운 식을 이해하기 위해 알아야 하는 KZG PCS의 batched version이다.두 개의 distinct한 evaluation point를 각각 $z, z'$라고 하고, $z$에서 evaluate되는 polynomial들을 ${fi}

이 노트는 PLONK algorithm의 더러운 식들을 다시는 쳐다보지 않기 위해 정리하는 마지막 글이 될 것이다. PLONK algorithm에서 증명하고자 하는 것은 witness들이 gate constraint와 copy constraint를 만족함을 증명하는 것

PLONK의 verifier algorithm을 알아보자. Verifier의 preprocessed input은 circuit의 selector polynomial, permutation polynomial들의 commitment 값과 toxic waste가 $\\ma