I'm 12 설명 제로 지식 기술 소개 및 관심을 가져야 하는 이유.

간단히 말해서, 영지식 증명을 통해 증명자는 증명 계산에 관련된 비밀 매개변수를 공개할 필요 없이 증명자가 실행한 계산이 유효하다는 것을 증명자에게 수학적으로 증명할 수 있습니다. 여기에는 두 가지 주요 이점이 있습니다. 첫째, 증명은 검증자가 제안하는 계산 또는 트랜잭션이 처음부터 유효한 경우에만 생성될 수 있기 때문에 검증자가 계산이 유효한지 확인하기 위해 자체적으로 계산을 실행할 필요가 없습니다. 롤업의 경우 트랜잭션을 일괄 처리하여 노드 운영자의 계산을 줄이고 체인에 저장해야 하는 데이터를 줄일 수 있습니다. 둘째, 이것은 증명자에 의해서만 실행되는 계산으로 인해 계산의 민감한 데이터가 비밀로 유지되는 기능을 허용합니다. 예를 들어, 이것의 가장 간단한 구현 중 하나는 기밀 트랜잭션입니다. 계정 A와 계정 B의 잔액을 공개적으로 공개하는 대신 계정 A의 잔액이 계정 B로 보내는 값 이상임을 네트워크에 증명하기 위해 영지식 증명을 생성할 수 있습니다. 이는 이 프로세스에서, 제공된 영지식 증명이 거래의 유효성을 증명하기 때문에 계정 A와 B의 잔고와 이체 가치는 공개되지 않습니다.

zk 증명 사용의 또 다른 예는 zkRollup입니다. 초심자에게 롤업은 기본적으로 정기적인 간격으로 메인 체인에서 확인되는 압축된 트랜잭션의 대규모 배치입니다. zkRollups는 가장 안전한 롤업 유형입니다. 경제적 인센티브와 사기 증거를 사용하여 분쟁을 해결하는 낙관적 롤업과 달리 zkRollups는 일련의 거래가 모두 유효함을 증명하기 위해 영지식 증거를 사용합니다. 물론 유효하지 않은 트랜잭션이 있는 영지식 증명이 생성될 수 없기 때문에 나중에 영지식 증명을 확인하거나 이의를 제기할 필요가 없습니다. 이것은 현재 상태에서 이더리움에서 최대 2000tx/초의 확장을 제공하고 Danksharding 이 도입되면 수백만 tps까지 확장할 수 있습니다.

영지식 증명은 다양한 방식으로 이더리움에 많은 가치를 제공합니다. 위의 예에서 볼 수 있듯이 zkRollup 형태로 Ethereum의 확장성을 높이는 데 사용하거나 민감한 정보를 공개하지 않고 거래를 수행하는 데 사용할 수 있으며 개인 정보 보호가 필요한 사용 사례에 좋습니다. 또한 zk 증명의 가장 중요한 장기적 사용 사례 중 하나는 Ethereum의 모든 것을 효과적으로 zkSNARK-ify하는 것입니다. 따라서 네트워크의 모든 노드에서 EVM에 의해 모든 계산을 실행하는 대신 zk 증명을 사용하여 블록 증명자만 EVM 계산을 실행하고 다른 모든 네트워크 참가자는 증명을 참조할 수 있습니다. 무엇보다도 서명 확인과 같은 다른 네트워크 계산도 마찬가지입니다. 이것의 효과는 노드를 실행하는 데 필요한 데이터 및 계산 요구 사항을 크게 줄이고 이더리움의 암호화가 어느 시점에서 기존 암호화를 깨뜨릴 수 있는 양자 컴퓨터의 위협에 저항하도록 만드는 데 도움이 됩니다.

그렇다면 이더리움에 대한 영지식 기술의 현재 상태는 무엇입니까?

영지식 증명은 다음을 포함하지만 이에 국한되지 않는 Ethereum의 광범위한 개인 정보 보호 기술에 사용됩니다. Tornado.cash: 누구나 자금을 예치하고 나중에 익명으로 새 주소로 인출할 수 있는 분산형 개인 정보 혼합기입니다. Nightfall: 롤업을 사용하는 기업에 개인 정보를 제공하기 위해 zk 증명을 활용하는 민간 기업 낙관적 롤업입니다. 세마포어: 사용자가 특정 그룹의 구성원임을 개인적으로 증명하거나, 신원 일부의 개인 정보를 보호하면서 투표 또는 승인을 할 수 있도록 하는 프로토콜입니다.

현재 많은 zkRollup은 이더리움 가상 머신과 호환되지 않기 때문에 기능이 여전히 제한적입니다. 기본적으로 이것은 Uniswap과 같은 Ethereum의 앱을 zkRollup으로 쉽게 이식할 수 없음을 의미합니다. 그러나 현재 서로 다른 유형의 zkRollup을 구축하는 몇 개의 팀이 있습니다.

zkSync는 현재 테스트넷에 zkSync 2.0이 있으며 현재 zkSync V1과 달리 EVM과 호환되며 zkSync 2.0을 사용하면 앱을 쉽게 이식할 수 있습니다. 또한 확장성이 뛰어나고 이더리움 L1의 완전한 보안을 제공하며 현재 낙관적 롤업의 경우와 같이 즉각적인 출금을 위한 제3자 브리지 없이 즉시 출금이 가능합니다.

다른 팀인 StarkWare는 StarkEx와 StarkNet을 구축하고 있습니다. 현재 StarkEx는 즉각적인 거래, 가스 수수료 없음 및 완전한 Ethereum L1 보안을 제공하는 dYdX와 같은 응용 프로그램별 zkRollup을 지원하고 있습니다. 그러나 실제로 유망한 곳은 범용 ZK 롤업인 StarkNet의 새로운 메인 넷 알파입니다. zkSync 2.0과 유사하지만 StarkNet에는 몇 가지 중요한 차이점이 있습니다. 첫째, zkSync 2.0의 PLONK와 비교하여 zkSTARK로 알려진 다른 유형의 zkProof를 사용합니다. 이것의 최종 결과는 양자 저항성입니다. 다른 주요 차이점은 StarkNet이 자체 프로그래밍 언어인 Cairo를 사용하고 있다는 점입니다. 이더리움의 견고성과는 반대로 앱은 소프트웨어를 사용하여 Cairo로 번역될 수 있습니다. 이것이 StarkNet으로 앱을 포팅하는 것을 더 어렵게 만드는 장벽으로 작용할 수 있지만 많은 개발자와 사용자에게는 여전히 그만한 가치가 있습니다.

마지막으로 Polygon Hermez 및 Scroll과 같은 몇 가지 다른 zkRollup이 빌드되고 있지만 모든 프로젝트에 대해 자세히 설명하려면 자체적으로 전체 게시물이 필요합니다. 이 글이 매혹적이지만 종종 혼란스러운 영지식 기술의 세계에 대한 유용한 소개가 되었기를 바랍니다. 롤업과 zkRollups에 대해 더 자세히 알고 싶다면 해당 주제에 대한 u/Liberosist의 게시물을 확인하는 것이 좋습니다. 또는 영지식 기술에 대해 더 자세히 알고 싶다면 Matter Labs가 여기에서 훌륭한 리소스 목록을 선별했습니다. https://github.com/matter-labs/awesome-zero-knowledge-proofs