zk-SNARKs에서 발전한 zk-SNTARKs는 어떤 암호화 기술인가요?

Question

익명성과 높은 보안성을 갖는 Zcash의 합의 알고리즘인 영지식 증명(Zero Knowledge Proof)에 사용되는 zk-SNARKs에서 발전한 새로운 기술, zk-STARKs는 어떤 암호화 기술인가요?

Answer 1

안녕하세요. 영지식증명의 zk-STARKs에 대하여 답변드리겠습니다.

• 영지식 증명(Zero-Knowledge Proof)이란?

  • 상대방이 특정 조건에 부합된 답을 알고 있는지 간접적인 방법을 통해 증명하는 방식을 말합니다.

  • 즉, 상대편이 퀴즈를 내어 답을 말하도록 하는 것으로 공식을 알고 있어야만 가능한 답을 반복 퀴즈를 통해 상대편이 공식을 알고 있는지 확률적으로 알아내는 방법을 말합니다.

  • 따라서 공식을 알고 있으면 답을 맞출 확률은 100% 그렇지 않을 경우는 오답을 말할 확률이 높게 되는 원리 입니다.

  • 영지식 증명에 3가지 조건이 부합되어야 가능합니다.

    • 완전성 : 어떤 질문이 참이면, 정직한 증명자는 정직한 검증자에게 납득시킬 수 있습니다.

    • 건실성 : 어떤 질문이 거짓이면, 부정직한 증명자라도 정직한 검증자에게 참인지를 납득시킬 수 없습니다.

    • 영지식성 : 검증자는 어떤 질문에 대해 참인지 거짓인지 외에는 아무것도 알 수 없습니다.

• 영지식증명의 zk-SNARKs이란?

  • 일반적인 영지식증명에 사용되는 방식이며 확정 조건을 토대로 검증하는 기법입니다.

  • 양자컴퓨터의 공격에 취약하며, 위조될 가능성이 존재한다는 단점이 있습니다.

• 영지식증명의 zk-STARKs이란?

  • 기존 zk-SNARKs기술에서 "확정 조건"을 이용하지 않는 검증방식입니다.

  • 양자컴퓨터의 공격에 저항성을 가지며, 위조될 가능성이 현저히 줄어들게 됩니다.

  • 또한 zk-SNARKs 처럼 지속적으로 메시지를 주고 받지 않아도 되며, 검증 속도가 빨라 블록생성 속도(TPS)를 높일 수 있는 장점이 있습니다.

감사합니다.