zk-SNARK (Zero-Knowledge-Succinct Non-Interactive Argument of Knowledge)

2022.10.24 - [Study/블록체인] - zk-SNARK - 영지식 증명(Zero-knowledge Proofs)

zk-SNARK - 영지식 증명(Zero-knowledge Proofs)

zk-SNARK는 Zero Knowledge Succinct Non-Interactive Argument of Knowledge의 약자입니다.

여기서 SNARK가 무엇인지 알아보겠습니다.

S - Succinct 는 증명이 작아서 증명되는 개념이 복잡해도 검증이 쉽다는 뜻입니다.

N - Non-Interactive(비대화적)는 Waldo게임과 같이 증명자와 검증자 사이에서 주고받는 통신이 필요하지 않음을 의미합니다. 예를 들어, 증명자는 증명과 엄청나게 큰 종이를 넘겨줄 수 있고, 검증자는 추가 질문 없이 증명이 유효한지 말할 수 있습니다.

AR - Argument는 형식적 증명(formal proofs) 특성을 의미합니다. 형식적 증명은 수학적 계산 등 정량적 근거에 의해 결과가 나오는것을 증명하는것을 의미합니다.

K - Knowledge는 실제로 증거를 가지고 있다는 것을 의미합니다. Waldo게임을 예시로 들자면, Waldo가 존재한다는 것을 증명할 뿐 아니라, 실제로 존재하는것을 알고 있다는 것을 의미합니다.

즉 ZK-SNARK은 다음과 같은 특징들을 가지는 것입니다. 정보를 유출하지 않고, 작아서 증명하기 쉽고, 증명된 개념이 복잡하더라도 의사소통이 필요가 없고, 알고있다는 지식의 증거입니다. 사실이라는 것 뿐 아닌 실제로 주장되고 있음을 알고있습니다.

블록체인에서는 Waldo게임이 아닌, 블록체인 전체가 유효하다는 것을 입증하는데 이 개념이 쓰입니다.