A16Z 크립토 서밋 노트: ZK 기술 방향과 잠재적 프로젝트 인벤토리

조셉 보노, DAOSquare

편집자 주: 필드 노트는 중요한 산업, 연구 및 기타 행사에서 현장의 소식을 전해드리는 시리즈입니다. 이번 호에서는 a16z의 암호화폐 연구 파트너이자 뉴욕대학교 조교수인 조셉 보노가 지난 4월 10일 수요일 아테네에서 열린 제11회 제로 지식 서밋(zkSummit)의 현장을 취재했습니다. 제로 지식 팟캐스트가 주최한 이 행사에는 약 500명이 참석했으며, 하루에 4개의 발표가 동시에 진행되었습니다. 다음은 최신 제로 지식 하드웨어, SNARK 성능, 경매 네트워크 설계를 다룬 Bonneau의 발표 내용을 요약한 것으로, a16z 암호화 연구 및 엔지니어 팀이 현재보다 2배 더 빠른 SNARK 설계에 대한 새로운 접근 방식인 Jolt에 대한 언급도 포함되어 있으며, 앞으로 더 많은 개선이 이루어질 예정입니다.

ZK 하드웨어

증명 생성을 위한 하드웨어 지원은 오랫동안 커뮤니티의 목표였습니다. 메인 스테이지에서 열린 첫 두 개의 강연에서는 이 분야의 현재 진행 상황을 설명했습니다.

• 이더넷 재단의 연구원인 저스틴 드레이크는 이 분야의 기업 분류를 포함해 ZK 하드웨어에 대한 개요를 설명했습니다. 이 목록에는 범용 하드웨어를 사용하는 회사(예: 울베타나), 맞춤형 하드웨어를 만드는 회사(예: Accseal, Cysic, Fabric), 탈중앙화 증명 네트워크를 운영하는 회사(예: 알레오)가 포함됩니다. 그는 비니우스(하드웨어에 최적화된 SNARK 검증 시스템)에 의해 강화된 Jolt와 같은 zkVM "최종 게임"과 향후 최적화 및 특수 하드웨어가 1000배의 계산 오버헤드를 달성할 수 있으며, 완전히 실전 테스트를 거친 이더의 최종 버전에 영향을 미칠 수 있다고 예측했습니다. 또한 그는 하드웨어가 주로 ZK가 아닌 단순 증명에 초점을 맞출 것이며, 대부분의 증명은 Groth16 래퍼를 사용할 것이라고 예측했습니다. 또한 이더리움 재단이 2천만 달러의 상금이 걸린 증명자와 검증자의 공식 검증 경연대회를 발표할 예정이라고 언급했습니다.

• 울베타나의 공동 창립자인 짐 포센은 비니우스와 증명 시스템과 하드웨어를 동시에 설계하는 일반적인 개념에 대해 이야기했습니다.비니우스는 Jolt의 기반이 되는 이진 타워 필드와 합체크 프로토콜을 사용합니다. Binius의 초기 테스트에서 얻은 흥미로운 결론은 해시 함수 Groestl(SHA-3 러너)이 Keccak(공식 SHA-3 표준)보다 성능이 훨씬 우수하므로 일부 애플리케이션에서 Groestl을 사용하는 것이 유리할 수 있다는 것입니다.

탈중앙화된 증명자 네트워크

업계의 많은 이들은 대규모 진술(예: 롤업에서 거래 배치의 정확성)에 대한 증명 생성이 전문 증명자로 구성된 경쟁적이고 탈중앙화된 시장에서 이루어지는 미래를 상상하고 있습니다.

• 숙컨트의 공동 창립자인 우마 로이는 곧 출시될 숙컨트의 증명자 네트워크에 대해 이야기했습니다. 그녀는 탈중앙화된 증명자 네트워크의 다양한 잠재적 메커니즘 설계에 대해 설명하며, 콘테스트(먼저 승리하는 증명자)나 채굴(먼저 승리하는 증명자, 모듈로 무작위성)에 기반한 설계는 좋은 결과를 가져오지 못할 것이라고 예측했습니다. 그녀는 최소 비용, 최대 지연 시간, 검열 저항성 순으로 설계 목표를 설정해야 한다고 말했습니다. 그녀는 발행/서약 모델이 효과가 있을 수 있지만, 경매 모델이 승리할 가능성이 가장 높으며 결국 오늘날의 블록 빌드처럼 보일 수 있다고 예측했습니다. 그녀는 Succinct가 Jolt/Lasso와 같은 자체 SP1뿐만 아니라 여러 zkVM에 대한 증명을 지원하기 위해 일반화된 경매 네트워크를 구축하고 있다고 말했습니다.

• 예일대학교 박사과정 학생인 왕원하오가 증명자 네트워크의 경제성에 관한 새로운 논문에 대해 발표했습니다. 벤 피쉬(Ben Fisch, 에스프레소 시스템) 및 벤 리브시츠(벤 리브시츠, 매터랩스)와 공동 저술한 이 논문은 양방향 경매가 증명자와 입찰자 간의 담합에 취약하다고 언급하며, 이를 대체하는 Proo-phi라는 메커니즘을 소개했습니다. 새로운 매칭 트랜잭션과 증명 메커니즘을 도입한 Proo-phi는 용량 매개변수를 설정해야 하는데, 이는 오픈 설계의 핵심 이슈로 보입니다.

• TACEO의 공동 창립자이자 CTO인 Daniel Kales는 다자간 컴퓨팅(MPC)을 지원하는 증명 시장, 특히 개인 증인이 있는 소규모 클라이언트와 신뢰할 수 없는 대규모 증명자 간의 프라이버시를 유지하기 위한 MPC의 사용에 대해 이야기했습니다. 그는 MPC에서 상대적으로 저렴하고 비용을 최소화하는 선형 연산(예: 고속 푸리에 변환 알고리즘)을 수행하기 위해 어떻게 증명 시스템의 조합을 선택할 수 있는지에 대해 이야기했습니다.

ZK 자격증명

세 가지 다른 이벤트에서 기존 신원 시스템에서 영지식 자격 증명을 구축하기 위한 노력을 논의했습니다. 각각 다른 기존 신원 시스템에 의존합니다.

• ZK Email의 공동 창립자인 아유시 굽타와 소라 수에가미는 이메일 주소 소유권에 대한 ZK 증명에 대해 이야기했습니다. 이는 특정 주소로 전송된 이메일에 대한 DKIM 서명에 대한 지식을 증명하는 데 의존하며, DKIM은 주요 이메일 제공업체에서 널리 배포되었습니다(주로 스팸 방지 조치로 사용되지만). 이메일 주소로 송금, 익명 신고 등의 애플리케이션에서 사용자가 이메일 주소를 제어하는지 여부를 증명하기 위해 많은 애플리케이션에서 ZK를 사용할 수 있습니다.

• 앱토스랩의 연구 과학자인 알린 토메스쿠는 OpenID 커넥트를 사용하여 기존 웹2.0 ID와 상호작용하는 앱토스 키리스에 대해 이야기했습니다. 오픈ID 커넥트는 "페이스북, 구글 등의 로그인"을 지원하는 방식입니다. 앱토스 키리스는 기존 OpenID 제공업체와 상호 작용하여 사용자가 주어진 주소를 제어하고 있음을 증명하여 Google 또는 Facebook 계정으로 송금하는 등의 애플리케이션을 가능하게 합니다.

• zkPassport의 마이클 엘리엇과 데리야 칼리는 기존 전자여권에서 익명 자격 증명을 구축하는 방법에 대해 논의했습니다. 예를 들어, 사용자는 여권 번호나 정확한 나이를 밝히지 않고도 미국 여권을 소지하고 있으며 25세 이상이라는 사실을 증명할 수 있습니다.