Vitalik이 홍보에 노력을 아끼지 않는 zk-SNARK는 정확히 무엇인가요? zk-SNARK 기술은 현재 어떤 블록체인 문제를 해결할 수 있나요?
작성자 : Haotian
몬테네그로에서 열린 EDCON 컨퍼런스에서 @VitalikButerin은 확장, 개인 정보 보호, 보안 등 측면에서 이더리움 네트워크에 존재하는 기술적 과제에 대해 자세히 설명했으며 마침내 zk-SNARK가 향후 10년 동안 블록체인만큼 중요할 것이라고 결론지었습니다. .
V God이 아낌없이 홍보하는 zk-SNARK는 무엇인가요? zk-SNARK 기술은 현재 어떤 블록체인 문제를 해결할 수 있나요?
다음으로 Thread, 토론에 몇 가지 아이디어를 던져보겠습니다.
SNARK는 (Succinct Non-Interactive Argument of Knowledge)의 약어로 간결한 비대화형 지식 논증으로, 수학적 알고리즘을 통해 증명 시스템을 구축하여 검증자가 원본을 알지 못해도 데이터 자체의 정확성을 검증할 수 있도록 하는 것이 핵심입니다. 데이터.
구현 프로세스에는 검증 가능한 회로, 타원 곡선 암호화 원리, 해시 함수, 암호화 알고리즘 등과 같은 복잡한 기술이 포함되므로 여기서는 너무 자세히 설명하지 않겠습니다.
SNARK는 원본 데이터를 매우 작은 증거로 압축하여 입력 데이터의 정확성을 확인할 수 있으며 zk 영지식의 기술적 기반과 결합되어 zk-SNARK는 확장성, 개인 정보 보호, 보안 및 블록체인의 기타 측면을 크게 향상시킬 수 있습니다. .당신의 실력을 뽐내보세요.
특히 이더리움이 2018년 MAST(Makarov Random Algorithm)를 출시한 이후 zk-SNARK는 이더리움 시스템에 직접 통합되어 이더리움 네트워크의 현재 병목 현상 문제를 해결할 수 있습니다.
이것이 @Starknet의 기본 zk-STARK 기술이 보다 복잡한 컴퓨팅 문제(양자 컴퓨팅 공격 방지 등)를 처리할 수 있음에도 불구하고 zk-SNARK가 더 높은 희망을 갖는 이유입니다.
특히, 모두가 혼란스러워하는 블록체인 역설 중 일부는 zk-SNARK의 최하위 계층을 교체한 후 효과적으로 해결될 수 있습니다. 예를 들어 개인정보 보호, 잠재적인 해커 자금 세탁 문제, 사회 회복, 중앙 집중식 기관의 피할 수 없는 간섭 등이 있습니다. 등.
먼저 확장성에 대해 이야기해 보겠습니다. zk-rollup 기술은 op-rollup보다 훨씬 앞서 있으며 Ethereum의 두 번째 계층을 위한 최종 솔루션입니다.
OP는 먼저 모든 거래에 대해 낙관주의를 기본값으로 설정한 다음 이를 체인에 제출한 후 7일의 사기 방지 도전 기간을 거치는 반면, zk는 수학적 알고리즘을 기반으로 체인의 모든 거래가 합법적인지 빠르고 안전하게 확인할 수 있습니다. ( 자세한 내용은 이전 스레드를 참조하세요 )
여기서 zk-SNARK는 이더리움 확장성의 역설, 즉 확장성과 중앙화 사이의 모순을 해결합니다.
Op-rollup 솔루션의 실제 구현 시나리오는 더 성숙해졌지만 시퀀서 및 낙관적 문제를 검증하는 과정에서 여전히 중앙 집중화의 잠재적인 위험이 있습니다.
물론 우리는 "낙관적"일 수 있지만 결국 완전히 분산된 롤업을 달성하려면 SNARK가 있어야 합니다.
개인정보 보호에 대해 살펴보겠습니다. 현재 블록체인 기술의 맥락에서 볼 때 우리의 프라이버시 기술 개발은 논리적 역설에 빠지게 됩니다.프라이버시가 궁극적으로 해커들의 웨딩드레스 역할을 하게 될까요?
그러나 zk-SNARK를 기반으로 한다면 POI(Proof of Innocence) 솔루션을 개발하여 사용자가 프라이버시를 통해 돈을 입출금하는 것을 방지하고 범죄자가 이를 악용하는 것을 방지할 수 있습니다.
구체적으로 POI 기술은 Tornado와 유사한 프로토콜에 적용될 수 있습니다.
POI 기술은 블록체인 상태 기록과 개인 키를 기반으로 생성된 디지털 지문을 각 사용자에게 제공하며, 해커가 토네이도의 통화 혼합 거래 풀을 통해 자금 세탁을 시도할 때 그가 제공한 출금 요청 주소와 입금 주소가 일치하지 않는 경우(해커가 개인 키가 다름), 가로채서 원래 혼합 주소로 반환됩니다.
해커에 해당하는 미확인 자산은 화폐혼합시스템을 통한 추적을 회피할 수 없습니다.
물론, V God이 연설에서 지적한 것처럼 제외 목록 Merkel 트리를 직접 구축할 수도 있는데, 이는 Tornado 프로토콜에 블랙리스트 메커니즘을 추가하는 것과 같습니다.
일반 사용자는 보증금이 목록에 없으면 무죄 증명을 생성하고 Tornado를 정상적으로 사용할 수 있으며 그 반대의 경우도 마찬가지입니다.
블랙리스트는 효과적이지만 중앙화의 위험이 따르기 때문에 개인적으로는 일관성이 없는 입출금 개인키로 거래를 차단하는 것이 더 의미가 있다고 생각합니다.
마지막으로 제3자의 검열 반대 역설(보안)에 대해 이야기해 보겠습니다.
소셜 복구(Social Recovery) 기능은 의심할 바 없이 블록체인 대중화를 위해 반드시 가야 할 길입니다. 그러나 이틀 전 이 기능을 오픈했을 때 @Ledger가 겪은 커뮤니티의 항의를 보면 복구가 제3자와 함께 구축될 수 없다는 것을 쉽게 알 수 있습니다. 센터.
간단히 말해서, 사용자가 여러 개의 개인 키 샤드를 생성하면 샤드를 암호화하고 zk-SNARK 증명 시스템을 사용하여 증명을 생성한 다음 신뢰할 수 있는 기관이나 친구에게 증명을 배포할 수 있습니다.
사용자의 개인 키가 분실된 경우 사용자는 제3자에게 조각난 데이터 인증서 제공을 요청한 다음 zk-SNARK를 사용하여 이러한 인증서의 정확성을 검증함으로써 개인 키 조각을 공개하지 않고 사회 복구 기능을 실현할 수 있습니다.
위의 내용을 완전히 이해하면 zk-SNARK 기술이 블록체인 시스템에 미치는 중요성을 쉽게 알 수 있습니다. 이는 확장성과 중앙화, 개인 정보 보호와 악, 보안 및 안티 안티 등 현재 이더리움 네트워크의 다양한 문제를 해결할 수 있습니다. 검열 개발 역설 문제.
그래서 Buterin은 zk-SNARK가 10년 후에는 블록체인만큼 중요할 것이라고 말했습니다. 어쩌면 이더리움도 미래에 zk-SNARK화될 것입니다. 음, zk-SNARKS는 내 주변의 모든 것을 지배합니다.
