조셉 보노가 각본을 맡은 작품
편집자: DAOSquare
편집자 주: Field Notes는 중요한 산업, 연구 및 기타 이벤트에 대해 현장에서 보고하는 시리즈입니다. 이번 호에서는 a16z 암호화폐 연구 파트너이자 NYU 조교수인 Joseph Bonneau가 4월 10일 수요일 그리스 아테네에서 열린 제11차 Zero Knowledge Summit(zkSummit)에 참석하여 메모를 작성했습니다. Zero Knowledge Podcast가 주최한 이 행사에는 약 500명의 참석자가 있었고 하루 종일 4개의 동시 프레젠테이션이 진행되었습니다. 다음은 최신 영지식 하드웨어, SNARK 성능 및 경매 네트워크 설계를 다루는 Bonneau의 보고서 요약입니다. 여기에는 a16z 암호화 연구 및 엔지니어링 팀의 SNARK 설계에 대한 새로운 접근 방식인 Jolt에 대한 언급도 포함됩니다. 현재 최첨단 기술은 2배 더 빠르며 앞으로 더 많은 개선이 있을 예정입니다.
ZK 하드웨어
증명 생성을 위한 하드웨어 지원은 오랫동안 커뮤니티의 목표였습니다. 메인 무대에서 열린 처음 두 회의에서는 이 분야의 현재 발전 상황에 대해 설명했습니다.
Ethereum Foundation의 연구원인 Justin Drake는 해당 분야의 회사 분류를 포함하여 ZK 하드웨어에 대한 개요를 제공했습니다. 이 목록에는 범용 하드웨어(예: Ulvetanna)를 사용하는 회사, 맞춤형 하드웨어를 만드는 회사(Acseal, Cysic 및 Fabric 포함), 분산형 증명 네트워크를 실행하는 회사(예: Aleo)가 포함됩니다. 그는 Binius(하드웨어 최적화된 SNARK 검증 시스템)로 강화된 Jolt와 같은 zkVM의 최종 게임과 기타 향후 최적화 및 특수 하드웨어가 계산 오버헤드를 1000배 달성할 수 있으며 최종적이고 포괄적인 Ethereum 버전에 영향을 미칠 수 있다고 예측합니다. 실제로 테스트되었습니다. 그는 또한 하드웨어가 대부분 ZK가 아닌 컴팩트 교정에 초점을 맞추고 대부분의 교정이 표면에 Groth 16 래퍼를 사용할 것이라고 예측했습니다. 그는 또한 이더리움 재단이 2천만 달러의 상금이 걸린 증명자와 검증자의 공식 검증 경쟁을 발표할 것이라고 언급했습니다.
Ulvetanna의 공동 창립자인 Jim Posen이 Binius에 대해 설명하고 증명 시스템과 하드웨어를 동시에 설계하는 일반적인 개념에 대해 이야기합니다. Binius는 Jolt도 기반으로 하는 바이너리 타워 필드 및 섬체크 프로토콜을 사용합니다. Binius를 사용한 초기 테스트에서 흥미로운 결론은 해시 함수 Groestl(SHA-3 차점자)이 Keccak(공식 SHA-3 표준)보다 훨씬 더 나은 성능을 발휘하므로 일부 응용 프로그램에서는 Groestl을 사용하는 것이 더 유리할 수 있다는 것입니다.
분산형 증명자 네트워크
현장의 많은 사람들은 대규모 진술(예: 롤업에서 일련의 거래의 정확성)의 증명 생성이 전문 증명자의 경쟁적이고 분산된 시장에 의해 수행되는 미래를 상상합니다.
Succinct의 공동 창립자인 Uma Roy가 Succinct의 향후 증명자 네트워크에 대해 이야기합니다. 그녀는 분산형 증명자 네트워크를 위한 다양한 잠재적인 메커니즘 설계를 소개했으며 경쟁(승리를 먼저 증명) 또는 마이닝(승자를 먼저 증명, 모듈식 무작위성)을 기반으로 한 설계가 좋은 결과로 이어지지 않을 것이라고 예측했습니다. 그녀는 디자인 목표가 최소 비용, 최대 지연 시간, 검열 저항 순으로 되어야 한다고 말했습니다. 그녀는 발행/스테이킹 모델이 작동할 수 있지만 경매 모델이 승리할 가능성이 가장 높으며 결국 오늘날의 블록 구성처럼 보일 수 있다고 예측했습니다. 그녀는 Succinct가 Jolt/Lasso와 같은 Succinct 자체 SP 1뿐만 아니라 여러 zkVM 증명을 지원하기 위해 일반 경매 네트워크를 구축하고 있다고 말했습니다.
Yale University의 PhD 학생인 Wenhao Wang은 강연 당일 아침에 발표되었으며 Ben Fisch(Espresso Systems) 및 Ben Livshits(Matter Labs)와 공동 집필한 증명 네트워크의 경제학에 관한 새로운 논문에 대해 이야기했습니다. . Wenhao는 양자 경매가 증명자와 입찰자 간의 담합에 취약하다고 언급했으며, 새로운 매칭 트랜잭션과 증명 메커니즘을 도입하는 Proo-phi라는 대체 메커니즘을 도입했습니다. Proof-phi에는 용량 매개변수 설정이 필요하며 이는 중요한 개방형 설계 문제인 것으로 보입니다.
TACEO의 공동 창립자이자 CTO인 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 등을 사용하여 타사 웹사이트에 로그인을 지원하는 기술입니다. Aptos Keyless는 기존 OpenID 제공업체와 상호 작용하고 사용자가 특정 주소를 제어한다는 것을 증명하여 Google 또는 Facebook 계정으로 돈을 보내는 것과 같은 애플리케이션을 가능하게 합니다.
zkPassport의 Michael Elliot와 Derya Karli가 기존 전자 여권에서 익명 자격 증명을 구축하는 방법에 대해 논의합니다. 예를 들어, 사용자는 여권 번호나 정확한 나이를 공개하지 않고도 미국 여권을 보유하고 있으며 25세 이상임을 증명할 수 있습니다.
