이번 포스트에서는 zk-SNARK에 대해 알아보도록 하겠습니다. zk-SNARK의 수학적 기반을 전반적으로 설명하는 글이 되겠습니다. zk-SNARK를 구성하는 수학적 내용들은 생각보다 광범위하기 때문에, 일부 디테일한 내용들은 별도의 포스트로 다루도록 하겠습니다. 들
앞선 포스트에서 Blind Evaluation of Polynomial이 무엇인지에 대해 소개했습니다. 이를 통해 Prover는 Verifier에게 특정 다항식을 알고 있음을 간결하고(succinct), 다항식을 공개하지 않으면서(zero-knowledgeness) 증
앞선 포스트들에서 Prover가 Verifier에게 어떤 다항식을 알고 있음을 증명하는 메커니즘에 대해서 살펴보았습니다. zk-SNARK는 이 과정을 수행하기 위해 computational problem을 특정 다항식에 대한 문제로 변환합니다.이번 포스트에서는 QAP(
이번 글에서는 Prover가 Verifier에게 특정 QAP의 satisfying assignment를 알고 있음을 interactive하게 증명하는 Pinocchio Protocol에 대해서 살펴보겠습니다.특정 QAP의 satisfying assignment $(s_
앞서 Prover가 Verifier에게 특정 QAP의 satisfying assignment를 알고 있음을 interactive하게 증명하는 Pinocchio Protocol에 대해서 살펴 보았습니다. zk-SNARK의 또다른 핵심적인 특징은 Non-interactiv