Introduction to zk-SNARK and Plonk

영지식 증명(Zero-Knowledge Proof)는 증명자가 어떤 정보에 대한 증명을 할 때, 검증자에게 그 정보 이외의 어떠한 정보도 노출하지 않는 증명 방식을 말합니다. 영지식 증명을 하기 위한 방법 중 하나로 zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)가 있습니다. zk-SNARK는 간결성, 비대화성, 영지식성의 특성을 이용하여 블록체인에서 매우 강력한 도구로 사용되고 있습니다.

zk-SNARK는 다양한 프로토콜로 구현될 수 있습니다. 그 중 현대적인 zk-SNARK 프로토콜의 기초가 되는 것이 Plonk입니다. 아래의 PDF 파일은 제가 랩 세미나에서 zk-SNARK와 Plonk에 대해 발표한 자료입니다.