필드 메모 중요한 산업, 연구 및 기타 이벤트의 현장에 대해 보고하는 시리즈입니다. 이 에디션에서 참석한 일부 16z 암호화 팀 구성원은 흥미로운 강연, 논문, 슬라이드 등을 모았습니다. DeFi 보안 서밋 2022 (27월 28-XNUMX일), 블록체인 과학 컨퍼런스 2022 SBC 22(29월 31-28일) 및 다양한 제휴 워크숍(2월 XNUMX일-XNUMX월 XNUMX일)이 모두 지난달 스탠포드 대학교에서 진행되었습니다.
1. Science of Blockchain 컨퍼런스 2022
XNUMXD덴탈의 블록체인 과학 컨퍼런스 블록체인 생태계의 기술 혁신에 중점을 두고 암호학, 보안 컴퓨팅, 분산 시스템, 분산 프로토콜 개발, 공식 방법, 경험적 분석, 암호 경제학, 경제적 위험 분석 등을 통해 공간에서 일하는 연구원과 실무자를 모았습니다. 이 행사는 Stanford 교수(및 a16z crypto 수석 연구 고문) Dan Boneh가 공동 의장을 맡고 있습니다. 16z 암호화 연구 책임자인 Tim Roughgarden도 프로그램 위원회에 있었고 우리가 독자들과 공유한 논문에서 초청 강연을 했습니다. 지난 뉴스레터에서.
다음은 "합의의 과학 및 공학" 워크숍(22월 28일) 및 최대 추출 가치에 대한 또 다른 워크숍을 포함하여 SBC 1의 일부 현장 노트, 링크 및 주제와 몇 가지 제휴 워크숍의 빠른 혼합입니다. 또는 MEV(XNUMX월 XNUMX일) – 특별한 순서 없이:
- Peiyao Sheng은 다양한 블록체인 프로토콜에 대한 분석에 대해 증거로 검증인의 잘못된 행동을 감지하는 데 도움이 되는 더 나은 포렌식 지원이 있는지 파악합니다(종이)
- 많은 암호화 프로젝트 구현에서 널리 사용되는 zkSNARK용 Rust 생태계인 arkworks에 대한 Pratyush Mishra의 이야기(GitHub의)
- Srivatsan Sridhar는 네트워크에 대한 스팸 공격 동안 대역폭 혼잡을 완화하기 위해 가장 긴 체인 합의에서 다운로드 규칙을 변경합니다(종이)
- Ari Juels와 Mahimna Kelkar는 거래 주문의 적대적 변조로부터 보호하고 공정한 거래 주문을 시행하기 위한 계획(워크샵 개요, 종이)
- Ethereum 공동 설립자 Vitalik Buterin은 51% 공격에 대응하고 살아남았습니다(슬라이드가 있는 참석자 트윗)
- PoS 체인의 보안을 강화하기 위해 Bitcoin 해시 파워를 재사용하는 David Tse(종이)
- PoS 시스템에서 책임(이 경우 공격자를 식별하고 처벌하는 능력)에 대한 John Adler의 연설(워크샵 개요)
- 필 다이안(Phil Daian)은 MEV “다크 포레스트(dark forest)”의 진화에 대해 이야기하며, 앞서가는 문제부터 모든 것을 다룹니다. 이론적 개요, 그의 초기 식별에 플래시 보이즈 2.0 페이퍼, MEV 연구 조직인 Flashbots의 출현, 트랜잭션 검열 저항과 관련된 현재 고려 사항 및 합병 후 트랜잭션 번들에 대한 강력한 빌더 및 제안자 시장 생성(워크샵 개요 / 슬라이드)
- A 테마: "비대칭적이고 주관적인 신뢰 가정(모든 노드가 동등하게 신뢰되는 것은 아니며, 모든 노드가 동등하게 신뢰하는 것도 아님) 및 보기 기반 프로토콜(노드가 상태에 대한 자신의 관점을 로컬로 해석하고 결국 보기 병합이 표준 DAG(방향성 비순환 그래프)을 결정합니다. 포크 선택 등)” [관련 논문]
2. ZK 워크샵 적용(SBC 22의 일부)
Science of Blockchain Conference가 끝난 후, 응용 ZK 워크샵 (2월 XNUMX일) 연구자와 개발자가 하루 더 모여 ZK(제로 지식) 생태계의 최신 개발 사항에 대해 배우고 토론했습니다. 발표자들은 새로운 회로 프리미티브 및 가상 머신(VM) 아키텍처에서 검증 및 감사를 통한 보안 보장에 이르기까지 모든 것을 다루었습니다.
ZK 시스템에 대한 형식적인 방법은 잘 알려진 문제를 해결하는 데 중점을 둔 워크샵 의제의 중요한 항목이었습니다. 배포 후 ZK 시스템이 오작동하면 근본 원인을 찾고 수정하기 어렵습니다. 컴파일 타임에 ZK 시스템의 정확성을 확인하는 것이 중요하며 공식 확인은 큰 도움이 될 수 있습니다. 연구원들이 현재 이 문제에 대해 연구하고 있는 여러 공식 방법 중 일부는 그들의 작업에 대해 논의했습니다.
- Junrui Liu 발표 진행 중 일 circom의 기능적 정확성을 공식적으로 검증하는 경우 회로 도서관 증명 조수 Coq와 Yu Feng을 사용하여 소개 피 쿠스, 주어진 R1CS 회로에 대한 특정 중요한 속성(예: 회로 고유성)을 자동으로 확인하는 정적 분석 도구
- Eric McCarthy는 그의 팀의 "확인하는” 컴파일러 레오은 컴파일러 컴파일된 R1CS 회로가 소스 Leo 프로그램과 동일함을 보장하는 형식적 정확성 증명을 자동으로 생성합니다.
그리고 이벤트의 더 많은 하이라이트:
- Yi Sun과 Jonathan Wang은 다중 스칼라 곱셈 및 ECDSA(Elliptic Curve Digital Signature Algorithm) 서명 검증을 포함한 주요 타원 곡선 연산의 halo2 구현을 발표했습니다( 타원 곡선 짝짓기 인 서컴); 특히 멋지다: PlonKish 회로 매트릭스의 모양을 수정하여 구성 가능한 증명자-검증자 시간 절충안(넓은 [높은] 테이블은 [높은] 증명자 비용을 낮추지만 [낮은] 검증자 비용은 더 높임)
- Bobbin Threadbare는 Polygon Miden의 영지식 STARK 기반 VM 내부자 투어에 참여했습니다. 다른 ZK VM과 달리 프로그램은 명령어의 MAST(Merkelized Abstract Syntax Tree)로 제공되므로 효율성과 안전성이 모두 향상됩니다(슬라이드)
- Nalin Bhardarj는 다른 ZK 응용 프로그램에 적용되는 강력한 기술인 순환 SNARK의 구현에 대해 논의했습니다. ...을 포함하여 롤 업; circom의 쌍은 회로 자체 내에서 Groth16 SNARK의 검증을 가능하게 하고, 이는 차례로 더 확장 가능한 집계를 가능하게 하고(한 번에 하나씩 대 모두) 증명자가 정확한 사실 자체를 모른 채 사실에 대한 지식을 보여줄 수 있도록 합니다( 증명자는 이제 영지식 속성의 양쪽에 있습니다)!
- Aayush Gupta는 ZK 애플리케이션이 사용자를 에어드롭(슬라이드)
- Uma Roy와 John Guibas는 zk-SNARK를 통해 합의를 확인하여 라이트 클라이언트를 온체인에 두는 작업을 발표했습니다. 결과는 정팔 포체, 보안 및 검열 저항을 개선한 ETH2와 Gnosis 사이의 프로토타입 ZK 브리지
3. DeFi 보안 서밋(SBC 22 이전)
Science of Blockchain Conference가 시작되기 직전에 많은 보안 연구원과 실무자가 첫 번째 연례 회의에 모였습니다. DeFi 보안 서밋 버그 현상금 및 보험과 같은 보호 장치에 대해 과거 보안 사고 및 보안 개발 프로세스에 대한 반성을 논의합니다.
강연 링크와 함께 주제에 대한 몇 가지 빠른 메모:
- Kurt Barry, Jared Flatow 및 storming0x는 다음에서 보안 스마트 계약 개발 사례를 설명했습니다. MakerDAO, 화합물및 불쌍히 여기다, 각각; 공통 주제는 스위스 치즈 모델, 다양한 보완적 보안 조치를 함께 계층화
- Christoph Michel은 가격 조작 공격 (흥미로운 CTF와 함께 도전 보너스로!) 그리고 Yoav Weiss는 다양한 브리지 익스플로잇
- Mitchell Amador는 강한 것의 중요성을 설교했습니다. 인센티브 이 공간을 안전하게 유지하기 위해 더 많은 보안 인재를 확보하기 위해
- 시간가중평균가격 등 다양한 주제로 패널토론 진행 (TWAP) 오라클 보안 병합 후에도 모듈성 및 업그레이드 가능성
- 또 다른 주제는 감사 관행에 대한 올바른 기대치를 설정하는 것이었습니다. 감사자가 보내는 일반적인 메시지는 "감사"가 아니라 실제로 "시간 제한 보안 평가"라고 불러야 한다는 것과 감사 업무가 "더욱 중요하다"는 관찰이었습니다. 조정 보다는 책임"
- 개발자들은 긴 리드 타임과 코드베이스를 보호하기 위한 불충분한 인센티브와 같은 일반적인 감사 약점에 대한 우려를 표명했습니다. 셜록이 흥미로운 제안을 접근 감사 경연 대회와 레거시 감사의 효율성을 결합하여 "양쪽의 장점"을 얻음으로써 이러한 문제를 해결할 수 있습니다.
전체 일정 보기 (일부 강연 링크 포함)
편집자: Robert Hackett(@rhhackett) 및 Stephanie Zinn(@stephbzinn)
***
여기에 표현된 견해는 인용된 개별 AH Capital Management, LLC("a16z") 직원의 견해이며 16z 또는 그 계열사의 견해가 아닙니다. 여기에 포함된 특정 정보는 16z가 관리하는 펀드의 포트폴리오 회사를 포함하여 제16자 출처에서 얻은 것입니다. 신뢰할 수 있는 출처에서 가져왔지만 16z는 이러한 정보를 독립적으로 확인하지 않았으며 정보의 현재 또는 지속적인 정확성 또는 주어진 상황에 대한 적절성에 대해 어떠한 진술도 하지 않습니다. 또한 이 콘텐츠에는 타사 광고가 포함될 수 있습니다. XNUMXz는 그러한 광고를 검토하지 않았으며 여기에 포함된 광고 콘텐츠를 보증하지 않습니다.
이 콘텐츠는 정보 제공의 목적으로만 제공되며 법률, 비즈니스, 투자 또는 세금 관련 조언에 의존해서는 안 됩니다. 그러한 문제에 관해서는 자신의 고문과 상의해야 합니다. 증권 또는 디지털 자산에 대한 언급은 설명을 위한 것일 뿐이며 투자 추천이나 투자 자문 서비스 제공을 의미하지 않습니다. 또한, 이 콘텐츠는 투자자 또는 예비 투자자를 대상으로 하거나 사용하도록 의도되지 않았으며, 어떤 상황에서도 a16z가 관리하는 펀드에 투자하기로 결정할 때 의존할 수 없습니다. (16z 펀드에 대한 투자 제안은 사모 투자 각서, 청약 계약서 및 해당 펀드의 기타 관련 문서에 의해서만 이루어지며 전체 내용을 읽어야 합니다.) 언급되거나 언급된 모든 투자 또는 포트폴리오 회사 설명된 내용은 16z가 관리하는 차량에 대한 모든 투자를 대표하는 것은 아니며 투자가 수익성이 있거나 미래에 수행되는 다른 투자가 유사한 특성 또는 결과를 가질 것이라는 보장이 없습니다. Andreessen Horowitz가 관리하는 펀드의 투자 목록(발행자가 16z가 공개적으로 공개하도록 허가하지 않은 투자 및 공개적으로 거래되는 디지털 자산에 대한 미고지 투자 제외)은 https://a16z.com/investments에서 볼 수 있습니다. /.
내부에 제공된 차트와 그래프는 정보 제공의 목적으로만 사용되며 투자 결정을 내릴 때 의존해서는 안 됩니다. 과거의 성과는 미래의 결과를 나타내지 않습니다. 내용은 표시된 날짜 현재만 말합니다. 이 자료에 표현된 모든 예측, 추정, 예측, 목표, 전망 및/또는 의견은 예고 없이 변경될 수 있으며 다른 사람이 표현한 의견과 다르거나 반대될 수 있습니다. 추가 중요 정보는 https://a16z.com/disclosures를 참조하십시오.
