Field Notes는 중요한 산업, 연구 및 기타 행사에서 현장에 대해 보고하는 시리즈입니다. 이번 호에서 a16z 암호화 연구소의 연구 파트너인 Valeria Nikolaenko는 다음과 같이 보고합니다. 영지식 증명 워크숍 인사말 암호화 경제 보안 컨퍼런스(CESC), 버클리의 캘리포니아 대학에서 30월 XNUMX일에 열렸습니다. 그만큼 프로그램 연구원과 실무자를 모아 블록체인 및 web3의 가장 최근 개발 사항을 보여주고 토론하는 것을 목표로 합니다. 프레젠테이션 녹음을 볼 수 있습니다. 여기에서 지금 확인해 보세요..
- 새벽 노래 (UC 버클리) 발표 새로운 MOOC 2023년 봄에 영지식 증명에 대해 17년 2023월 2022일에 시작하여 XNUMX년 가을에 이미 실행 중인 MOOC를 상기시킵니다.
- 장유펑 (Texas A&M University) 발표 ZKP 시스템의 최근 개발에 대한 튜토리얼, zk 증명 시스템을 구축하기 위한 다양한 접근 방식에 대한 탁월한 개요, 이를 4개의 축에 걸쳐 매핑합니다. 즉, 간결함, 증명자 및 검증자 효율성, 투명 대 신뢰할 수 있는 설정입니다.
- 댄 보네 (스탠포드 대학교) 제시 개요 일반적으로 IOP의 추상화 및 특히 Plonk 다항식-IOP의 추상화.
Dan은 또한 다음과 같은 새로운 시스템을 설명했습니다. 하이퍼플롱크이는 증명자 측에서 값비싼 FFT를 제거하고 높은 수준의 게이트를 훨씬 더 효율적으로 처리하여 증명자의 시간과 증명의 크기를 모두 줄일 수 있습니다. 기억해야 할 흥미로운 매개변수는 게이트 수가 2개 이상일 때 FFT가 Prover의 시간을 지배한다는 것입니다.20.
- 톈청 시에 (UC 버클리) zkBridge에 발표(논문 읽기 여기에서 지금 확인해 보세요.), 최근의 수많은 해킹에 비추어 교량을 위한 더 나은 설계의 중요성을 강조(로닌 브리지 익스플로잇, 웜홀 해킹, 유목교 배수구, 등등). zkBridge는 deVirgo 영지식 증명 시스템으로 신뢰를 최소화하고 성능을 향상시킵니다.
- 새벽 노래 (UC Berkeley)는 안전한 교차 체인 상호 운용성을 위한 기반인 zkCollective를 발표했습니다. 노력에 참여하는 양식을 작성할 수 있습니다 여기에서 지금 확인해 보세요..
- 팬 레오 (낭포)은 zk-prover용 FPGA에서 MSM(multi-scalar multiplication)을 가속화한 결과를 강조했습니다. 여기서 MSM은 종종 Prover 시간의 50% 이상을 차지합니다. 그들은 비교 가능한 노력보다 빠른 것으로 추정됩니다(파이프MSM 과 사이클론MSM). 그들의 궁극적인 목표는 ASIC을 구축하는 것입니다.
- 마렉 올 슈제 스키 (열성) 님이 올해 런칭한 Celo의 라이트 클라이언트인 Plumo를 2년 동안 개발하여 실행하는 방법에 대한 훌륭한 데모를 제공했습니다. 클라이언트는 2개의 대규모 회로로 개발되었습니다.27 낙관론에 의해 구동 타우의 거듭제곱 다른 프로젝트에 유용할 수 있는 행사. 커뮤니티 구성원은 매일 SNARK 증명을 생성하고 있으며(각 에포크 변경 후) 증명은 1코어 시스템에서 최대 256시간이 걸립니다. 그들의 WASM 라이브러리를 사용하면 웹 앱에서 증명을 확인할 수 있습니다.
- 하워드 우 (알 레오)은 동시성과 효율적인 상태 업데이트를 허용하는 개인 거래를 위한 블록체인을 구축하는 Aleo의 설계에 대한 아이디어를 제시했습니다.
- 제레미 브루슬 (위험0)은 zkSTARK로 구현된 RISC-V 명령어 세트를 위한 zkVM 구축의 설계 근거를 설명했습니다. RISC-V에는 매우 작은 명령어 세트(<40)가 있으며 다른 컴파일러에서 잘 지원되며 완전히 개방되어 있습니다. 그리고 가장 중요한 것은 zk 증명을 위한 효율적인 회로 설계를 의미하는 효율적인 하드웨어 구현을 위해 설계되었다는 것입니다.
- 우마 로이 (간결한 연구실)는 증명 시간이 단 1분으로 zkSNARK에 대한 Ethereum의 합의를 간결하게 검증하는 방법에 대한 개요를 제공했습니다.
***
발레리아 니콜라엔코 16z 암호화의 연구 파트너입니다. 그녀의 연구는 암호화 및 블록체인 보안에 중점을 둡니다. 그녀는 또한 PoS 합의 프로토콜의 장거리 공격, 서명 체계, 양자 후 보안 및 다자간 계산과 같은 주제에 대해 작업했습니다. 그녀는 Dan Boneh 교수의 지도하에 스탠포드 대학에서 암호학 박사 학위를 취득했으며 핵심 연구 팀의 일원으로 Diem 블록체인에서 일했습니다.
***
여기에 표현된 견해는 인용된 개별 AH Capital Management, LLC("a16z") 직원의 견해이며 16z 또는 그 계열사의 견해가 아닙니다. 여기에 포함된 특정 정보는 16z가 관리하는 펀드의 포트폴리오 회사를 포함하여 제16자 출처에서 얻은 것입니다. 신뢰할 수 있다고 여겨지는 출처에서 가져왔지만 16z는 그러한 정보를 독립적으로 검증하지 않았으며 정보의 지속적인 정확성이나 주어진 상황에 대한 적절성에 대해 어떠한 진술도 하지 않습니다. 또한 이 콘텐츠에는 타사 광고가 포함될 수 있습니다. XNUMXz는 그러한 광고를 검토하지 않았으며 여기에 포함된 광고 콘텐츠를 보증하지 않습니다.
이 콘텐츠는 정보 제공의 목적으로만 제공되며 법률, 비즈니스, 투자 또는 세금 관련 조언에 의존해서는 안 됩니다. 그러한 문제에 관해서는 자신의 고문과 상의해야 합니다. 증권 또는 디지털 자산에 대한 언급은 설명을 위한 것일 뿐이며 투자 추천이나 투자 자문 서비스 제공을 의미하지 않습니다. 또한, 이 콘텐츠는 투자자 또는 예비 투자자를 대상으로 하거나 사용하도록 의도되지 않았으며, 어떤 상황에서도 a16z가 관리하는 펀드에 투자하기로 결정할 때 의존할 수 없습니다. (16z 펀드에 대한 투자 제안은 사모 투자 각서, 청약 계약서 및 해당 펀드의 기타 관련 문서에 의해서만 이루어지며 전체 내용을 읽어야 합니다.) 언급되거나 언급된 모든 투자 또는 포트폴리오 회사 설명된 내용은 16z가 관리하는 차량에 대한 모든 투자를 대표하는 것은 아니며 투자가 수익성이 있거나 미래에 수행되는 다른 투자가 유사한 특성 또는 결과를 가질 것이라는 보장이 없습니다. Andreessen Horowitz가 관리하는 펀드의 투자 목록(발행자가 16z가 공개적으로 공개하도록 허가하지 않은 투자 및 공개적으로 거래되는 디지털 자산에 대한 미고지 투자 제외)은 https://a16z.com/investments에서 볼 수 있습니다. /.
내부에 제공된 차트와 그래프는 정보 제공의 목적으로만 사용되며 투자 결정을 내릴 때 의존해서는 안 됩니다. 과거의 성과는 미래의 결과를 나타내지 않습니다. 내용은 표시된 날짜 현재만 말합니다. 이 자료에 표현된 모든 예측, 추정, 예측, 목표, 전망 및/또는 의견은 예고 없이 변경될 수 있으며 다른 사람이 표현한 의견과 다르거나 반대될 수 있습니다. 추가 중요 정보는 https://a16z.com/disclosures를 참조하십시오.
