zk-SNARKs에서 발전한 zk-SNTARKs는 어떤 암호화 기술인가요?
익명성과 높은 보안성을 갖는 Zcash의 합의 알고리즘인 영지식 증명(Zero Knowledge Proof)에 사용되는 zk-SNARKs에서 발전한 새로운 기술, zk-STARKs는 어떤 암호화 기술인가요?
안녕하세요. 영지식증명의 zk-STARKs에 대하여 답변드리겠습니다.
영지식 증명(Zero-Knowledge Proof)이란?
상대방이 특정 조건에 부합된 답을 알고 있는지 간접적인 방법을 통해 증명하는 방식을 말합니다.
즉, 상대편이 퀴즈를 내어 답을 말하도록 하는 것으로 공식을 알고 있어야만 가능한 답을 반복 퀴즈를 통해 상대편이 공식을 알고 있는지 확률적으로 알아내는 방법을 말합니다.
따라서 공식을 알고 있으면 답을 맞출 확률은 100% 그렇지 않을 경우는 오답을 말할 확률이 높게 되는 원리 입니다.
영지식 증명에 3가지 조건이 부합되어야 가능합니다.
완전성 : 어떤 질문이 참이면, 정직한 증명자는 정직한 검증자에게 납득시킬 수 있습니다.
건실성 : 어떤 질문이 거짓이면, 부정직한 증명자라도 정직한 검증자에게 참인지를 납득시킬 수 없습니다.
영지식성 : 검증자는 어떤 질문에 대해 참인지 거짓인지 외에는 아무것도 알 수 없습니다.
영지식증명의 zk-SNARKs이란?
일반적인 영지식증명에 사용되는 방식이며 확정 조건을 토대로 검증하는 기법입니다.
양자컴퓨터의 공격에 취약하며, 위조될 가능성이 존재한다는 단점이 있습니다.
영지식증명의 zk-STARKs이란?
기존 zk-SNARKs기술에서 "확정 조건"을 이용하지 않는 검증방식입니다.
양자컴퓨터의 공격에 저항성을 가지며, 위조될 가능성이 현저히 줄어들게 됩니다.
또한 zk-SNARKs 처럼 지속적으로 메시지를 주고 받지 않아도 되며, 검증 속도가 빨라 블록생성 속도(TPS)를 높일 수 있는 장점이 있습니다.
감사합니다.
