카테고리 없음

CESC '22: 제로 지식 워크숍 현장 노트

김거북아자 2024. 5. 6. 22:02

편집자 주: 현장 노트 는 중요한 산업, 연구 및 기타 이벤트에 대한 현장 보고를 제공하는 시리즈입니다. 이번 에디션에서는 a16z 암호화폐 연구 파트너인 Valeria Nikolaenko가 10월 30일 캘리포니아 대학교 버클리에서 열린 CESC(암호경제학 보안 회의) 와 연계된 영지식 증명 워크숍 의 빠른 하이라이트를 공유합니다. 이 프로그램은 연구원과 실무자를 한자리에 모아 블록체인과 웹3의 최신 개발을 소개하고 토론하는 것을 목표로 했습니다. 여기에서 프레젠테이션 녹화물을 시청할 수 있습니다 .

  • Dawn Song (UC Berkeley)은 2023년 1월 17일에 시작될 예정인 영지식 증명에 관한 2023년 봄의 새로운 MOOC를 발표했으며 , 2022년 가을에 이미 실행 중인 MOOC를 상기시켰습니다.
  • Yupeng Zhang (Texas A&M University)은 ZKP 시스템의 최근 개발에 대한 튜토리얼을 발표했습니다 . 이는 zk 증명 시스템을 구축하는 다양한 접근 방식에 대한 뛰어난 개요를 제공하며 이를 4가지 축(푸프 간결성, 증명자 및 검증자 효율성, 투명 대 신뢰할 수 있는 설정)에 걸쳐 매핑합니다.

  • Dan Boneh (Stanford University)는 일반적인 IOP 추상화와 특히 Plonk 다항식 IOP에 대한 개요를  발표했습니다 .

Dan은 또한 증명자 측에서 값비싼 FFT를 제거하고 높은 수준의 게이트를 훨씬 더 효율적으로 처리하여 증명자의 시간과 증명 크기를 모두 줄일 수 있는 HyperPlonk 라는 새로운 시스템에 대해 설명했습니다 . 기억해야 할 흥미로운 매개변수는 게이트 수가 2 20 이상일 때 FFT가 증명자의 시간을 지배한다는 것입니다 .

  • Tiancheng Xie (UC Berkeley)는 zkBridge( 여기서 논문 읽기)에서 최근 수많은 해킹( 로닌 브릿지 익스플로잇 , 웜홀 해킹 , 노마드 브릿지 드레인 등) 을 고려하여 더 나은 브릿지 설계의 중요성을 강조하면서 발표했습니다 . zkBridge는 deVirgo 영지식 증명 시스템으로 신뢰를 최소화하고 성능을 향상시킵니다.
  • Dawn Song (UC Berkeley)은 안전한 크로스체인 상호 운용성을 위한 기반인 zkCollective를 발표했습니다. 노력에 참여하기 위한 양식은 여기에서 작성할 수 있습니다 .
  • Leo Fan ( Cysic )은 zk-prover의 FPGA에서 MSM(다중 스칼라 곱셈)을 가속화한 결과를 강조했습니다. 여기서 MSM은 종종 증명자 시간의 50% 이상을 차지합니다. 이는 비슷한 노력( PipeMSM 및 CycloneMSM ) 보다 빠른 것으로 추정됩니다 . 그들의 궁극적인 목표는 ASIC을 구축하는 것입니다.
  • Marek Olszewski ( Celo )는 2년 간의 개발 기간을 거쳐 올해 출시된 Celo의 라이트 클라이언트인 Plumo 실행에 대한 훌륭한 데모를 제공했습니다. 클라이언트는 2개의 27개 게이트가 있는 대규모 회로로 개발되었으며, 다른 프로젝트에 유용할 수 있는 낙관적인 타우 의식에 의해 구동됩니다. 커뮤니티 구성원은 매일(각 시대 변경 후) SNARK 증명을 생성하고 있으며, 256코어 시스템에서 증명하는 데 최대 1시간이 걸립니다. WASM 라이브러리를 사용하면 웹 앱의 증명을 확인할 수 있습니다.
  • Howard Wu ( Aleo )는 동시성과 효율적인 상태 업데이트를 허용하는 개인 거래용 블록체인을 구축하는 Aleo 설계에 대한 아이디어를 제시했습니다.
  • Jeremy Bruestle ( Risc0 )은 zkSTARK로 구현된 RISC-V 명령어 세트용 zkVM 구축의 설계 근거를 설명했습니다. RISC-V에는 매우 작은 명령어 세트(40개 미만)가 있으며 다양한 컴파일러에서 잘 지원되며 완전 개방형입니다. 그리고 가장 중요한 것은 효율적인 하드웨어 구현을 위해 설계되었으며 이는 zk 증명을 위한 효율적인 회로 설계를 의미합니다.
  • Uma Roy ( Succinct Labs )는 이더리움과 zkSNARK의 합의를 단 1분만에 증명하는 방법에 대한 개요를 제공했습니다.

Valeria Nikolaenko는 a16z crypto의 연구 파트너입니다. 그녀의 연구는 암호화 및 블록체인 보안에 중점을 두고 있습니다. 그녀는 또한 PoS 합의 프로토콜, 서명 체계, 포스트 양자 보안 및 다자간 계산의 장거리 공격과 같은 주제에 대해서도 작업했습니다. 그녀는 스탠포드 대학에서 암호화 박사 학위를 취득했으며 핵심 연구팀의 일원으로 Diem 블록체인 분야에서 일했습니다.

—

여기에 표현된 견해는 인용된 개별 AH Capital Management, LLC(“a16z”) 직원의 견해이며 a16z 또는 그 계열사의 견해가 아닙니다. 여기에 포함된 특정 정보는 a16z가 관리하는 펀드의 포트폴리오 회사를 포함한 제3자 소스에서 얻은 것입니다. a16z는 신뢰할 수 있는 출처에서 가져온 정보이지만, 해당 정보를 독립적으로 검증하지 않았으며 정보의 지속적인 정확성이나 특정 상황에 대한 적합성에 대해 어떠한 진술도 하지 않습니다. 또한 이 콘텐츠에는 제3자 광고가 포함될 수 있습니다. a16z는 그러한 광고를 검토하지 않았으며 그 안에 포함된 어떠한 광고 콘텐츠도 보증하지 않습니다.

이 콘텐츠는 정보 제공의 목적으로만 제공되며 법률, 비즈니스, 투자 또는 세금 관련 조언으로 의존해서는 안 됩니다. 그러한 문제에 대해서는 자신의 조언자와 상담해야 합니다. 증권이나 디지털 자산에 대한 언급은 설명 목적으로만 제시된 것이며 투자 추천이나 투자 자문 서비스 제공을 제안하는 것이 아닙니다. 또한, 이 내용은 투자자나 잠재 투자자를 대상으로 하거나 사용하려는 의도가 없으며, a16z가 관리하는 펀드에 대한 투자 결정을 내릴 때 어떤 상황에서도 의존할 수 없습니다. (a16z 펀드에 대한 투자 제안은 해당 펀드의 사모 각서, 청약 계약서 및 기타 관련 문서를 통해서만 이루어지며 전체 내용을 읽어야 합니다.) 언급되거나 언급되거나 언급된 모든 투자 또는 포트폴리오 회사 설명된 내용은 a16z가 관리하는 차량에 대한 모든 투자를 대표하지 않으며 해당 투자가 수익성이 있을 것이라는 보장이나 향후 다른 투자가 유사한 특성이나 결과를 가질 것이라는 보장은 없습니다. Andreessen Horowitz가 관리하는 펀드에 의한 투자 목록(발행자가 a16z에 공개를 허용하지 않은 투자 및 공개 거래되는 디지털 자산에 대한 미발표 투자 제외)은 https://a16z.com/investments 에서 확인할 수 있습니다. / .

제공된 차트와 그래프는 정보 제공의 목적으로만 제공되며 투자 결정을 내릴 때 이에 의존해서는 안 됩니다. 과거 성과는 미래 결과를 나타내지 않습니다. 내용은 표시된 날짜 기준으로만 설명됩니다. 본 자료에 표현된 모든 예상, 추산, 예상, 목표, 전망 및/또는 의견은 예고 없이 변경될 수 있으며, 다른 사람이 표현한 의견과 다르거나 반대될 수 있습니다. 추가적인 중요한 정보는 https://a16z.com/disclosures를 참조하세요 .

코인인증하고 코인올백 공식카톡방 입장하기
https://open.kakao.com/o/slRwZOog