Zk-SNARK는 무엇입니까?

zk-SNARK란 무엇입니까?

Zk-SNARK는 "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge"의 약자입니다. zk-SNARK는 한 당사자가 특정 정보를 공개하지 않고 보유하고 있음을 증명할 수 있는 암호 증명 정보. 이 증명은 거래가 발생하기 전에 생성된 비밀 키를 사용하여 가능합니다. 암호화폐 프로토콜의 일부로 사용되며, 지캐시.

zk-SNARK 이해하기

암호 화폐 커뮤니티(주로 비트코인 ​​커뮤니티)의 많은 원래 구성원에게 개인 정보 보호는 가정된 목표이자 기능이었습니다. 암호화폐. 그러나 전자 화폐와 디지털 거래의 무결성을 보장하는 "신뢰할 수 없는" 시스템을 만들어야 하는 암호 화폐의 필요성을 감안할 때 개인 정보 보호는 항상 두 번째 문제였습니다.

2010년대 초반, 비트코인 사용자는 오프라인 ID가 사용자의 공개 키와 연결되지 않았기 때문에 거래가 익명이라고 가정하기도 했습니다. 그러나 2000년대 말까지 데이터 과학자, 해커 및 법 집행 기관의 공동 노력으로 이것이 가능할 뿐만 아니라 사람들을 재식별하기가 상대적으로 쉬움 여러 출처에 가명 데이터를 제공한 사람.

Bitcoin과 같은 일부 원래 암호 화폐의 개인 정보 보호 부족으로 인해 개발자는 개인 정보 보호에 중점을 둔 동전 작업을 시작했습니다. NS 가장 눈에 띄는 이들 중 지캐시, zk-SNARKs로 알려진 기술로 뒷받침됩니다.

영지식 증명

NS zk-SNARK ("영지식 간결한 비대화형 지식 인수")는 "영지식 증명"으로 알려진 개념을 사용합니다. 이들의 이면에 있는 아이디어

증거 1980년대에 처음 개발되었습니다. 간단히 말해서, 영지식 증명은 거래의 두 당사자 각각이 다음을 확인할 수 있는 상황입니다. 서로가 특정 정보를 가지고 있다는 사실을 밝히는 동시에 그 정보가 무엇인지 공개하지 않습니다. 이다.

대부분의 다른 유형의 증거의 경우 두 당사자 중 적어도 하나는 모든 정보에 액세스할 수 있어야 합니다. 전통적인 증명은 온라인 네트워크에 액세스하는 데 사용되는 암호와 비교할 수 있습니다. 사용자가 암호를 제출하면 네트워크 자체에서 암호의 내용을 확인하여 암호가 올바른지 확인합니다. 이렇게 하려면 네트워크에서 암호 내용에 액세스할 수도 있어야 합니다.

이 상황의 영지식 증명 버전에는 사용자가 네트워크에 시연하는 것이 포함됩니다. (수학적 증명을 통해) 실제로 암호를 공개하지 않고 올바른 암호를 가지고 있음 그 자체. 이 상황에서 개인 정보 보호 및 보안 이점은 분명합니다. 네트워크에 확인 목적으로 비밀번호가 저장되어 있지 않은 경우 비밀번호를 도용할 수 없습니다.

zk-SNARKS의 수학적 기초는 복잡합니다. 그럼에도 불구하고 이러한 유형의 증거를 통해 한 당사자는 특정 정보가 존재한다는 사실뿐 아니라 해당 당사자가 해당 정보를 알고 있음을 입증할 수 있습니다. Zcash의 경우 zk-SNARK를 거의 즉시 확인할 수 있으며 프로토콜은 증명자와 검증자 간의 상호 작용이 필요하지 않습니다.

zk-SNARK에 대한 비판

물론 zk-SNARK와 관련된 우려가 있습니다. 예를 들어 누군가가 개인 키에 액세스할 수 있었다면 증명 프로토콜의 매개변수를 생성하는 데 사용되지만, 그럼에도 불구하고 유효해 보이는 거짓 증명을 생성할 수 있습니다. 검증자. 이것은 그 사람이 위조 프로세스를 통해 Zcash의 새로운 토큰을 만들 수 있도록 합니다. 이를 방지하기 위해 Zcash는 증명 프로토콜을 정교하게 만들고 여러 당사자에게 퍼뜨리는 방식으로 설계되었습니다.

Zcash 검증 프로세스의 구축은 이러한 가능성을 최소화하는 방식으로 완료되면서 거짓 증명을 통해 토큰을 위조하는 경우 암호 화폐와 관련된 다른 우려 사항이 하나 이상 있습니다. Zcash는 토큰의 처음 몇 년 동안 생성된 모든 블록에 부과되는 20%의 "세금"으로 생성되었습니다. 이 세금은 "창업자 세금"으로 알려져 있으며 암호화폐 개발자에게 보상하는 데 사용됩니다.

비평가들은 설립자가 시스템의 이러한 측면을 잠재적으로 사용하여 다른 사람이 해당 토큰의 존재를 알지 못하는 상태에서 무한한 수의 Zcash 토큰을 생성할 수 있다고 제안했습니다. 이러한 이유로 현재 존재하는 Zcash 토큰의 정확한 수를 아는 것은 완전히 불가능합니다.

2019년부터 일부 개발자는 신뢰할 수 있는 설정을 제거하여 zk-SNARK를 개선하기 위해 노력해 왔습니다. Suterusu라는 팀은 시스템을 개발했다 ~라고 불리는 zK-ConSNARK 신뢰할 수 있는 설정 없이 작동 가능하다고 주장하는 비트코인과 같은 주류 블록체인에 대한 개인 정보 보호를 제공할 수 있으며 현존하는 암호화폐에 대해 인플레이션이 가장 낮습니다.