영지식 증명

ZK 프로토콜이라고도 하는 영지식 증명은 증명자와 검증자 사이에서 발생하는 검증 방법입니다. 영지식 증명 시스템에서 증명자는 정보 자체를 공개하지 않고 특정 정보(예: 수학 방정식의 해)에 대한 지식이 있음을 검증자에게 증명할 수 있습니다. 이러한 증명 시스템은 현대 암호 작성자가 향상된 수준의 개인 정보 보호 및 보안을 제공하는 데 사용할 수 있습니다.

영지식 증명의 개념은 Shafi Goldwasser와 Silvio Micali가 발행한 1985년 MIT 논문에서 처음 설명되었습니다. 그들은 숫자나 그것에 대한 추가 정보를 공개하지 않고도 숫자의 일부 속성을 증명할 수 있음을 보여주었습니다. 이 백서는 또한 증명자와 검증자 간의 상호 작용이 주어진 정리를 증명하는 데 필요한 정보의 양을 줄일 수 있다는 수학적으로 중요한 발견을 소개했습니다.

ZK 증명은 완전성과 건전성으로 알려진 두 가지 기본 요구 사항을 충족해야 합니다. 완전성은 높은 수준의 정확도로 관련 정보에 대한 지식을 입증하는 증명자의 능력을 나타냅니다. 증명이 건전하기 위해서는 검증자가 증명자가 실제로 정보를 소유하고 있는지 여부를 확실하게 결정할 수 있어야 합니다. 마지막으로, 진정한 영지식(zero-knowledge)이 되기 위해서는 증명이 증명자와 검증자 사이에 문제의 정보가 전달되지 않은 상태에서 완전성과 건전성을 모두 달성해야 합니다.

영지식 증명은 개인 정보 보호 및 보안이 필수적인 애플리케이션에 주로 사용됩니다. 예를 들어 인증 시스템은 ZK 증명을 사용하여 직접 공개하지 않고 자격 증명이나 신원을 확인할 수 있습니다. 간단한 예로서, 암호를 공개할 필요 없이 사람이 컴퓨터 시스템에 암호를 가지고 있는지 확인하는 데 사용할 수 있습니다.

영지식 증명의 두드러진 실제 사용 사례 중 하나는 암호화폐 및 블록체인 기술의 세계에서 찾을 수 있습니다. Zcash 와 같은 개인 정보 보호 중심 암호화폐는 영지식 간결한 비대화형 지식 인수(zk-SNARK)로 알려진 증거 유형을 사용하여 사용자에게 향상된 수준의 개인 정보를 제공하는 블록체인 거래를 제공할 수 있습니다. 이더리움은 2017년 비잔티움 업데이트 이후 zk-SNARK 증명과 함께 작업하고 있습니다.