Greentea's Blog

Introduction 안녕하세요, 오늘은 지난 시간에 이어 PLONK에서의 Copy Constraint를 검증하는 방법에 대하여 알아보도록 하겠습니다. 이번 글은 How PLONK Works - 2 를 참조하여 작성되었습니다. 이전 시간에 저희는 arithmetic circuit에 존재하는 두 가지 종류의 constraint 중 한 가지인 gate constraint를 영지식 증명을 활용해 검증하는 방법을 알아보았습니다. KZG-PCS를 사용해 prover는 verifier에게 자신이 gate constraint를 만족하는 circuit 내부값들을 가지고 있음을 증명할 수 있었습니다. 이번 시간에는 남은 한 가지 constraint인 copy constraint를 검증하는 방법에 대하여 알아보도록 하겠..

Introduction 안녕하세요, 오늘도 지난 시간에 이어 zk-SNARK의 일종인 PLONK에 대하여 이어서 알아보도록 하겠습니다. 간단하게 지난 내용을 복습해보자면, prover 가 다항식 $x^3 + x + 5 = 35$ 의 해를 알고 있을 때, 어떻게 가지고 있는 해를 직접적으로 verifier에게 알리지 않으면서도 해를 가지고 있음을 증명할 수 있는지 알아보았습니다. 우선적으로 가지고 있는 다항식을 arithmetic circuit으로 변환하였고, 변환한 arithmetic circuit을 만족하는 내부 값들을 올바르게 검증하기 위한 두 가지 constraint (gate constraint, copy constraint)를 확인했습니다. 남은 글들에서는 각 constraint에 대하여 어떻게..