2월에 Optimism Collective의 OP Labs 엔지니어와 핵심 개발자가 Keys in Mordor 서밋을 위해 직접 모였습니다. 이번 정상회담의 목표는? Optimism의 업그레이드 키를 Mordor로 가져가 Mount Doom에 안전하게 던져 프로토콜을 기술적으로 분산시키는 방법을 알아내십시오.
참석자들은 며칠 동안 OP Mainnet을 검토하고 네트워크 아키텍처의 주요 구성 요소를 분산시키는 안전하고 실용적인 경로를 매핑했습니다. 이 경로는 기술 분산화에 대한 OP Labs의 전략적 접근 방식을 설명 하고 이 경로를 따라 5가지 주요 이정표를 정의하는 이전 블로그 게시물에 요약되어 있습니다. 이러한 이정표는 Permissionless Output Proposals, Bridge Decentralization, Cannon Fault Proof Program, Cannon Fault Proof VM 및 Dispute Game Integration입니다.
정상 회담에는 철회 청구, 캐논 및 분쟁 게임을 포함하여 우리의 기술 분산화 이정표에 대한 보다 세부적인 세부 사항을 파헤치는 여러 연구 집중 프레젠테이션도 포함되었습니다.
정상회담의 초점 브리지 분산화를 위한 OP 스택 준비
Mark Tyneway가 출금 청구에 대해 프레젠테이션을 했습니다. 프레젠테이션에서 그는 OP 메인넷 브리지의 탈중앙화를 가능하게 할 출금 청구 아키텍처에 대한 계획을 설명했습니다.
철회 청구란 무엇입니까? 기본적으로 사용자는 철회할 수 있는 청구를 L1에 제출하고 임의의 증명 시스템이 해당 청구에 대해 이의를 제기하거나 확인할 수 있습니다. 결함 증명 창을 통해 분쟁이 없거나 향후 OP 스택에 유효성 증명이 있는 경우 즉각적인 유효성 검사가 없는 경우 클레임이 유효합니다. 이 과정에는 본드가 필요합니다. 많은 컴퓨팅 및 스토리지에서 가스를 사용하는 대신 사용자는 청구와 함께 채권을 배치하고 확정 기간 후에 돌려받습니다.
브리지의 기존 아키텍처에는 2단계 인출, 메시지 재생성, 도메인 간 1:1 매핑, 단일 저장 증명, L1 및 L2의 유사한 코드 경로, Ether, ERC20 및 ERC721 토큰과의 호환성과 같은 속성이 포함됩니다. 출금 클레임은 증명 검증 코드 경로를 제거하고, 출금을 더 저렴하게 만들고, 출력 제출의 필요성을 제거하여 브리지의 기존 아키텍처를 개선하는 것을 목표로 합니다 .
Mark는 이 새로운 아키텍처에는 최소한의 변경이 필요하다고 언급했습니다. 하나는 새로운 계약, 하나는 제거된 계약, 하나는 수정된 계약입니다. 디자인은 또한 L1과의 차이를 최소화한다는 가장 중요한 원칙을 준수합니다.
중요한 것은 다중 서명 기반 'ThresholdAttestationDispute.sol'을 단기 구현에 사용할 수 있고 Cannon의 해당 구성 요소를 구현할 준비가 되었을 때 Dispute Games를 허용하기 때문에 아키텍처가 준비 중인 Cannon에 의존하지 않는다는 것입니다.
Summit에서의 토론 결과, Withdrawal Claims는 사용자가 시퀀서나 다른 중앙 집중식 인프라에 의존하지 않고 철회할 수 있는 Permissionless Output Proposals의 구현이라는 두 부분으로 구성된 프로젝트로 분할되었습니다. 두 번째 부분은 출금 청구 및 브리지 탈중앙화의 완전한 구현입니다.
대포
이제 우리 모두가 기다려온 큰 것을 위한 시간입니다. 서밋에서 Protolambda는 Cannon VM 내부를 구성하는 방법과 프로그램의 결함이 입증되는 방법을 공유했습니다. 이 프로그램은 허가 없이 블록을 확인하고 OP Mainnet의 롤업 상태 전환 기능을 실행하여 L1 입력에서 L2 출력을 생성합니다.
Cannon은 결함 방지 프로그램, 결함 방지 VM 및 분쟁 게임의 세 가지 주요 구성 요소로 구성됩니다. 이 프로그램은 오프체인 계산의 정확성을 보장하도록 설계되었으며, 가상 머신(VM)은 캐논 시스템의 오류 방지 프로그램 실행을 담당합니다. 명령 세트 MIPS를 지원하고 분쟁 게임 중에 개별 결함 방지 프로그램 단계의 실행을 해결하여 L2 출력의 정확성을 보장합니다. 마지막으로, Dispute Game은 Cannon이 오프체인 계산의 정확성에 관한 당사자 간의 불일치를 좁히기 위해 사용하는 메커니즘입니다.
프레젠테이션에서 Proto는 온체인 MIP 구현과 오프체인 Unicorn MIPS 에뮬레이터 간의 차이점, 메모리 및 레지스터 겹침, 제한된 메모리 공간, 명령어 구현 버그, 예기치 않은 Go 런타임 동작, VM 메모리.
마지막으로 Proto는 블록을 성공적으로 검증하기 위한 내결함성 프로그램 확보, 온체인 MIPS 실행 개선, Cannon을 온체인 분쟁 게임과 통합하는 등 프로덕션 용도로 Cannon을 업데이트하는 데 필요한 사항에 대해 논의했습니다. 그는 또한 RISC-V를 지원하는 결함 방지 VM인 Asterisc를 추가로 개발하는 과정에 대해 설명했습니다. 👀
분쟁게임
서밋의 마지막 프레젠테이션에서 Clabby는 Dispute Games에 대해 참석자들에게 교육하고 Cannon 구현을 가능하게 하는 방법을 설명했습니다.
분쟁 게임은 많은 상충되는 주장 중에서 올바른 진실을 찾기 위한 메커니즘입니다. 플레이어는 진실에 대한 자신의 견해에 대해 주장하며, 게임의 목표는 이러한 주장 중에서 하나의 올바른 진실을 식별하는 것입니다.
OP Mainnet에서 Cannon을 구현하려면 블록 해시 이분 게임과 실행 추적 이분 게임이라는 두 개의 중첩된 분쟁 게임이 포함됩니다. 블록 해시 바이섹션 게임은 여러 L2 체인 히스토리가 갈라지는 정확한 블록 해시를 찾는 것을 목표로 하는 반면, 실행 추적 바이섹션 게임은 여러 VM 상태가 갈라지는 상태 전이 내에서 정확한 명령을 찾는 것을 목표로 합니다. 이러한 게임은 함께 작동하여 시스템 내에서 불일치를 찾고 해결하여 계층 2 체인 기록의 무결성과 정확성을 보장합니다.
이 시스템에서 분쟁 게임은 일반화되도록 설계되었습니다. 즉, 동일한 일반 분쟁 게임 인프라를 모두 재사용하여 블록 해시 이분 게임과 실행 추적 이분 게임을 만들 수 있습니다. 유효성 증명 또는 증명 증명 게임과 같은 향후 분쟁 게임 유형이 개발될 가능성도 있습니다.
Dispute Games를 통해 Cannon은 일련의 상충되는 주장을 받아들이고 당사자들이 동의하지 않는 가장 세분화된 결함 지점으로 범위를 좁히고 네트워크의 보안과 안정성을 유지하기 위한 해결책을 확보할 수 있습니다.
Summit 결과 및 향후 계획
Keys in Mordor 서밋의 매우 중요한 결과는 OP 스택의 기술 분산화를 향한 진행 전략을 고안한 것입니다. 설정된 이정표는 동시에 완료될 수 있으므로 결함 증명을 반복하는 동안 무허가 출력 제안 및 브리지 분산화와 같은 기본 분산화 이정표를 향해 진행됩니다.
정상 회담은 또한 함께 모여야 하는 모든 아키텍처에 대해 동일한 페이지에서 Optimism 생태계의 일부 주요 엔지니어를 확보하여 Mordor에서 이러한 업그레이드 키를 자신 있게 던질 수 있는 기회였습니다.
앞으로 몇 주 안에 OP Labs 개발자가 분산화 전략의 각 이정표를 어떻게 생각하는지에 대한 자세한 기술 설명을 기대하실 수 있습니다. 그때까지 OP 스택에 기여하고 싶은 마음이 든다면 문서를 확인할 수 있습니다 .
<ORIGINAL SOURCE?