편집자 주: 현장 노트 는 중요한 산업, 연구 및 기타 이벤트에 대한 현장 보고를 제공하는 시리즈입니다. 이번 에디션에서는 a16z 암호화폐 연구 파트너이자 NYU 조교수인 Joseph Bonneau가 4월 10일 수요일 아테네에서 열린 제11차 Zero Knowledge Summit( zkSummit )에 참석하여 회담에 대해 메모했습니다. Zero Knowledge 팟캐스트 가 주최한 이 이벤트에는 대략 500명의 참석자가 있었고 하루에 걸쳐 4개의 동시 트랙에서 강연이 진행되었습니다. 다음은 최신 영지식 하드웨어, SNARK 성능 및 경매 네트워크 설계를 다루는 Bonneau의 보고서 요약입니다. 여기에는 a16z 암호화 연구 및 엔지니어링 팀의 SNARK 설계에 대한 새로운 접근 방식인 Jolt 에 대한 언급이 포함되어 이미 최대 2배까지 향상되었습니다. 현재 기술보다 더 빠르며 앞으로도 더 많은 개선이 이루어질 것입니다.
ZK 하드웨어
증명 생성을 위한 하드웨어 지원은 오랫동안 커뮤니티의 목표였습니다. 주요 무대에서 열린 처음 두 번의 회담에서는 그러한 방향의 발전에 대해 설명했습니다.
- Ethereum Foundation 의 연구원인 Justin Drake는 해당 분야의 회사 분류를 포함하여 ZK 하드웨어에 대한 개요를 제공했습니다. 목록에는 일반 하드웨어를 사용하는 회사(예: Ulvetanna ), 맞춤형 하드웨어를 만드는 회사( Acseal , Cysic 및 Fabric 포함 ), 분산형 증명자 네트워크를 실행하는 회사(예: Aleo )가 포함되었습니다. 그는 Binius (하드웨어 최적화된 SNARK 증명 시스템) 로 강화된 Jolt 및 기타 향후 최적화와 전용 하드웨어 와 같은 zkVM의 "최종 게임"이 계산에 비해 1000배의 오버헤드를 달성할 수 있으며 최종, 완전히 전투 테스트를 거친 이더리움 버전. 그는 또한 하드웨어가 주로 ZK가 아닌 간결한 증명에 초점을 맞출 것이며 대부분의 증명은 Groth16으로 래핑된 온체인이 될 것이라고 예측했습니다. 그는 또한 이더리움 재단이 증명자와 검증자의 공식 검증 콘테스트를 발표하고 상금이 2천만 달러에 달할 것이라고 언급했습니다.
- Ulvetanna의 공동 창립자인 Jim Posen은 Binius에 대해 이야기하고 동시에 증명 시스템과 하드웨어를 공동 설계하는 일반적인 개념에 대해 이야기했습니다. Binius는 Jolt의 기반이 되는 바이너리 타워 필드와 sumcheck 프로토콜을 사용합니다. Binius의 초기 테스트에서 흥미로운 점은 Keccak(공식 SHA-3 표준)보다 해시 함수 Groestl(SHA-3 준우승자)의 성능이 훨씬 더 우수하므로 일부 응용 프로그램에서 Groestl을 사용하는 것이 유리할 수 있다는 것입니다.
분산형 증명자 네트워크
업계의 많은 사람들은 대규모 명세서에 대한 증명 생성(예: 롤업 내 거래 묶음의 정확성)이 전문 증명자의 경쟁적이고 분산된 시장에 의해 수행되는 미래를 상상합니다.
- Succinct 의 공동 창립자인 Uma Roy는 Succinct의 향후 증명자 네트워크에 대해 이야기했습니다. 그녀는 분산형 증명자 네트워크를 위한 다양한 잠재적인 메커니즘 설계를 다루었고, 레이싱(첫 번째 증명자 승리) 또는 마이닝(첫 번째 증명자 승리, 임의성 모듈로)을 기반으로 한 설계가 좋은 결과로 이어지지 않을 것이라고 예측했습니다. 그녀는 디자인 목표가 최소 비용, 최대 대기 시간, 검열 저항 순으로 되어야 한다고 말했습니다. 그녀는 발행/스테이킹 모델이 작동할 수 있지만 경매 모델이 대부분 승리할 가능성이 높으며 결국 오늘날의 블록 구축처럼 보일 수 있다고 예측했습니다. Succinct는 Jolt/Lasso 와 같은 Succinct 자체 SP1 뿐만 아니라 여러 zkVM을 지원할 증명을 위한 일반 경매 네트워크를 구축하고 있다고 그녀는 말했습니다 .
- Yale 박사 과정 학생인 Wenhao Wang은 강연 당일 아침에 발표된 증명자 네트워크의 경제학에 관한 새로운 논문 에 대해 Ben Fisch ( Espresso Systems ) 및 Ben Livshits ( Matter Labs )와 공동으로 작성했습니다. Wenhao는 양면 경매가 증명자와 입찰자 간의 담합에 취약하다고 언급했으며 탐욕스럽게 거래와 증명자를 일치시키는 Proo-phi라는 대체 메커니즘을 도입했습니다. Proof-phi에는 용량 매개변수 설정이 필요하며 이는 핵심 개방형 설계 질문인 것으로 보입니다.
- TACEO 의 공동 창립자이자 최고 기술 책임자인 Daniel Kales는 MPC( 다자간 계산 ) 지원 증명 시장, 특히 MPC를 사용하여 비밀 증인이 있는 소규모 클라이언트와 신뢰할 수 없는 대규모 증명자 간의 개인 정보 보호를 유지하는 방법에 대해 이야기 했습니다. 그는 MPC에서 상대적으로 저렴하고 비용을 최소화하는 선형 연산(예: 고속 푸리에 변환 알고리즘)을 주로 수행하기 위해 증명 시스템의 조합을 선택할 수 있는 방법에 대해 이야기했습니다.
ZK 자격 증명
세 가지 다른 대화에서는 기존 ID 시스템에서 영지식 자격 증명을 구축하려는 노력에 대해 논의했습니다. 각각은 서로 다른 기존 ID 시스템에 의존했습니다.
- ZK Email 의 공동 창립자인 Aayush Gupta 와 Sora Suegami는 이메일 주소 소유권에 대한 ZK 증명에 대해 이야기했습니다. 이는 특정 주소로 전송된 이메일의 DKIM 서명에 대한 지식 증명에 의존하며, DKIM은 이미 주요 이메일 제공업체에 의해 널리 배포되었습니다(주로 스팸 방지 조치임에도 불구하고). 사용자가 이메일 주소를 제어한다는 ZK 증명을 사용하면 이메일 주소로 돈을 보내는 것뿐만 아니라 익명의 내부 고발과 같은 애플리케이션도 포함하여 많은 애플리케이션이 가능합니다.
- Aptos Labs 의 연구 과학자인 Alin Tomescu는 OpenID 연결을 사용하여 기존 web2 ID와 상호 작용하는 Aptos Keyless 에 대해 이야기했습니다 . OpenID Connect는 “Facebook, Google 등으로 로그인”을 가능하게 하는 기술입니다. 제3자 웹사이트에. Aptos Keyless는 기존 OpenID 제공업체와 상호 작용하고 사용자가 특정 주소를 제어한다는 것을 증명하여 Google 또는 Facebook 계정으로 돈을 보내는 것과 같은 애플리케이션을 활성화합니다.
- zkPassport 의 Michael Elliot 와 Derya Karli는 기존 ePassport에서 익명 자격 증명을 구축하는 방법에 대해 논의했습니다. 예를 들어, 사용자는 여권 번호나 정확한 나이를 공개하지 않고 미국 여권을 보유하고 있으며 25세 이상임을 증명할 수 있습니다.
***
여기에 표현된 견해는 인용된 개별 AH Capital Management, LLC(“a16z”) 직원의 견해이며 a16z 또는 그 계열사의 견해가 아닙니다. 여기에 포함된 특정 정보는 a16z가 관리하는 펀드의 포트폴리오 회사를 포함한 제3자 소스에서 얻은 것입니다. a16z는 신뢰할 수 있는 출처에서 가져온 정보이지만, 해당 정보를 독립적으로 검증하지 않았으며 해당 정보의 현재 또는 지속적인 정확성이나 주어진 상황에 대한 적합성에 대해 어떠한 진술도 하지 않습니다. 또한 이 콘텐츠에는 제3자 광고가 포함될 수 있습니다. a16z는 그러한 광고를 검토하지 않았으며 그 안에 포함된 어떠한 광고 콘텐츠도 보증하지 않습니다.
이 콘텐츠는 정보 제공의 목적으로만 제공되며 법률, 비즈니스, 투자 또는 세금 관련 조언으로 의존해서는 안 됩니다. 그러한 문제에 대해서는 자신의 조언자와 상담해야 합니다. 증권이나 디지털 자산에 대한 언급은 설명 목적으로만 제시된 것이며 투자 추천이나 투자 자문 서비스 제공을 제안하는 것이 아닙니다. 또한, 이 내용은 투자자나 잠재 투자자를 대상으로 하거나 사용하려는 의도가 없으며, a16z가 관리하는 펀드에 대한 투자 결정을 내릴 때 어떤 상황에서도 의존할 수 없습니다. (a16z 펀드에 대한 투자 제안은 해당 펀드의 사모 각서, 청약 계약서 및 기타 관련 문서를 통해서만 이루어지며 전체 내용을 읽어야 합니다.) 언급되거나 언급되거나 언급된 모든 투자 또는 포트폴리오 회사 설명된 내용은 a16z가 관리하는 차량에 대한 모든 투자를 대표하지 않으며 해당 투자가 수익성이 있을 것이라는 보장이나 향후 다른 투자가 유사한 특성이나 결과를 가질 것이라는 보장은 없습니다. Andreessen Horowitz가 관리하는 펀드에 의한 투자 목록(발행자가 a16z에 공개를 허용하지 않은 투자 및 공개 거래되는 디지털 자산에 대한 미발표 투자 제외)은 https://a16z.com/investment에서 확인할 수 있습니다. -목록/.
제공된 차트와 그래프는 정보 제공의 목적으로만 제공되며 투자 결정을 내릴 때 이에 의존해서는 안 됩니다. 과거 성과는 미래 결과를 나타내지 않습니다. 내용은 표시된 날짜 기준으로만 설명됩니다. 본 자료에 표현된 모든 예상, 추산, 예상, 목표, 전망 및/또는 의견은 예고 없이 변경될 수 있으며 다른 사람이 표현한 의견과 다르거나 반대될 수 있습니다. 추가적인 중요한 정보는 https://a16z.com/disclosures/를 참조하세요.