이 블로그 게시물에서는 OP Stack의 Fault Proof System의 모듈식 설계를 살펴보고 시스템의 사전 이미지 오라클에 대해 자세히 살펴봅니다.

2023년 8월 23일 •3분 읽기

기술 분산화 및 OP Stack의 결함 방지 시스템에 대한 마지막 업데이트에서는 시스템이 OP Stack의 모듈식 아키텍처의 모든 기능을 보여줄 것이라고 공유했습니다. 이 블로그 게시물에서는 시스템의 사전 이미지 오라클의 우아한 디자인을 증거로 심층 분석하여 이 주장을 더 깊이 탐구합니다.

OP Stack의 모듈성은 분리된 Fault Proof System의 설계를 가능하게 하여 유연성과 적응성을 향상시켰습니다. FPP(결함 방지 프로그램)를 FPVM(결함 방지 가상 머신)에서 분리하면 각 구성 요소는 다른 구성 요소의 제약 없이 독립적으로 발전하고 최적화될 수 있습니다. 이러한 분리는 개발 및 디버깅 프로세스를 간소화할 뿐만 아니라 FPP와 FPVM 모두의 신뢰성과 견고성을 강화합니다.

이러한 모듈성은 또한 정교한 구성 요소의 통합을 허용합니다. 그러한 구성 요소 중 하나는 OP 스택의 결함 방지 시스템에 엄청난 유연성과 프로그래밍 가능성을 제공하는 사전 이미지 오라클입니다.

사전 이미지 오라클을 이해하려면 간단한 FP-VM의 과제를 고려하십시오. 다양한 데이터에 대한 계산을 어떻게 일관되게 증명할 수 있습니까? 대화형 이등분 게임을 통해 하나의 명령으로 범위를 좁히면 계산 증명이 간단해집니다. 즉, 사전 상태에서 사후 상태로 하나의 VM 명령을 처리합니다.

그러나 이 VM에 광범위한 L1 입력 및 L2 사전 상태를 로드하는 것은 간단하지 않습니다. 사전 이미지 오라클을 입력하세요. 키를 사용하여 프로그램 요청 시 값을 제공합니다. 그러나 이는 기본적인 키-값 저장소 그 이상입니다. 합법적인 입력만 사용되도록 보장하고 L1 데이터를 기반으로 L2 상태 전환을 확인합니다.

이 오라클은 파일을 읽거나 API에 액세스하는 것과 유사하게 입력 검색을 온체인에서 입증할 수 있도록 해줍니다.

사전 이미지 오라클은 "무상태"를 구현합니다. 즉, 적시에 필수 데이터를 제공하여 계산을 확인합니다. L1의 상태 비저장 실행과 달리 이 방법은 네트워크 대역폭으로 인해 방해를 받지 않습니다. 대화형 낙관적 롤업 접근 방식은 판도를 바꿉니다. 모든 것이 EVM의 온체인에서 효율적으로 관리됩니다.

• 작은 IO 단계: 사전 이미지 Oracle은 VM 상태와의 상호 작용을 줄여 증명을 단순화합니다. 데이터를 바이트 크기의 청크로 효율적으로 로드하여 명령어당 단일 메모리 변경을 보장합니다.

• 사전 이미지 힌트: 사전 이미지 Oracle은 VM 외부에서 이러한 사전 이미지를 준비할 수 있습니다. 여기서 사전 이미지 요청 전에 힌트가 적시에 제공되어 원활한 실행이 보장됩니다.

• 부트스트래핑: 동일한 분쟁 프로그램이 초기 VM 상태에 포함되고 분쟁 세부 사항이 실행 중에 오라클을 통해 로드되도록 하여 새로운 분쟁을 부트스트랩하는 것이 단순화됩니다.

• 청구 확인: 오라클은 논쟁의 여지가 있는 청구를 VM에 로드하여 프로그램이 결과를 추출하는 대신 계산 결과와 비교할 수 있도록 할 수도 있습니다.

• VM 외부에서 프로그램 실행: OP 스택의 사전 이미지 Oracle의 정말 독특한 점은 VM 없이 프로그램을 실행할 수 있다는 것입니다. Oracle이 호스트 프로그램에 의해 제공되는 한 모든 플랫폼에서 작동할 수 있으므로 오버헤드가 줄어들고 원활한 디버깅 및 테스트가 제공됩니다.

모듈식 OP 스택은 다양한 유형의 FPVM 또는 상태 전환 프로그램을 수용할 수 있습니다. OP Stack의 사전 이미지 오라클의 장점은 적응성에 있습니다. 즉, 다양한 명령어 세트와 다양한 프로그램에서 사용할 수 있습니다. op-node 및 op-geth가 포함된 Go 스택이든 Magi 및 Reth가 포함된 Rust 스택이든 동일한 사전 이미지 오라클이 모두 적합합니다.

또한 VM과 프로그램 간의 이러한 분리로 인해 Cannon의 RISC-V 버전이나 MIPS의 ZK 증명과 같은 대체 VM이 가능해졌습니다. (!) FPVM을 크게 변경하지 않고도 향후 사전 이미지 검증을 쉽게 추가할 수 있습니다.

사전 이미지 Oracle의 적응성은 FPVM 및 FPP가 간단하고 유연하며 효율적인 상태를 유지하도록 보장합니다. 동일한 프로토콜의 다양한 구현을 허용함으로써 OP 스택을 보호하는 안전망 역할을 합니다.

결함 증명에 관심이 있으십니까? 전체 OP 스택 결함 방지 시스템의 설계에 대한 자세한 내용을 공유하는 이 기사 와 OP 스택의 다중 증명 설계 방법을 자세히 설명하는 이 기사를 확인하세요 .

https://blog.oplabs.co/composable-pre-image-oracle/

이 블로그 게시물에서는 OP Stack의 Fault Proof System의 모듈식 설계를 살펴보고 시스템의 사전 이미지 오라클에 대해 자세히 살펴봅니다.

2023년 8월 23일 •3분 읽기

기술 분산화 및 OP Stack의 결함 방지 시스템에 대한 마지막 업데이트에서는 시스템이 OP Stack의 모듈식 아키텍처의 모든 기능을 보여줄 것이라고 공유했습니다. 이 블로그 게시물에서는 시스템의 사전 이미지 오라클의 우아한 디자인을 증거로 심층 분석하여 이 주장을 더 깊이 탐구합니다.

OP Stack의 모듈성은 분리된 Fault Proof System의 설계를 가능하게 하여 유연성과 적응성을 향상시켰습니다. FPP(결함 방지 프로그램)를 FPVM(결함 방지 가상 머신)에서 분리하면 각 구성 요소는 다른 구성 요소의 제약 없이 독립적으로 발전하고 최적화될 수 있습니다. 이러한 분리는 개발 및 디버깅 프로세스를 간소화할 뿐만 아니라 FPP와 FPVM 모두의 신뢰성과 견고성을 강화합니다.

이러한 모듈성은 또한 정교한 구성 요소의 통합을 허용합니다. 그러한 구성 요소 중 하나는 OP 스택의 결함 방지 시스템에 엄청난 유연성과 프로그래밍 가능성을 제공하는 사전 이미지 오라클입니다.

사전 이미지 오라클을 이해하려면 간단한 FP-VM의 과제를 고려하십시오. 다양한 데이터에 대한 계산을 어떻게 일관되게 증명할 수 있습니까? 대화형 이등분 게임을 통해 하나의 명령으로 범위를 좁히면 계산 증명이 간단해집니다. 즉, 사전 상태에서 사후 상태로 하나의 VM 명령을 처리합니다.

그러나 이 VM에 광범위한 L1 입력 및 L2 사전 상태를 로드하는 것은 간단하지 않습니다. 사전 이미지 오라클을 입력하세요. 키를 사용하여 프로그램 요청 시 값을 제공합니다. 그러나 이는 기본적인 키-값 저장소 그 이상입니다. 합법적인 입력만 사용되도록 보장하고 L1 데이터를 기반으로 L2 상태 전환을 확인합니다.

이 오라클은 파일을 읽거나 API에 액세스하는 것과 유사하게 입력 검색을 온체인에서 입증할 수 있도록 해줍니다.

사전 이미지 오라클은 "무상태"를 구현합니다. 즉, 적시에 필수 데이터를 제공하여 계산을 확인합니다. L1의 상태 비저장 실행과 달리 이 방법은 네트워크 대역폭으로 인해 방해를 받지 않습니다. 대화형 낙관적 롤업 접근 방식은 판도를 바꿉니다. 모든 것이 EVM의 온체인에서 효율적으로 관리됩니다.

• 작은 IO 단계: 사전 이미지 Oracle은 VM 상태와의 상호 작용을 줄여 증명을 단순화합니다. 데이터를 바이트 크기의 청크로 효율적으로 로드하여 명령어당 단일 메모리 변경을 보장합니다.

• 사전 이미지 힌트: 사전 이미지 Oracle은 VM 외부에서 이러한 사전 이미지를 준비할 수 있습니다. 여기서 사전 이미지 요청 전에 힌트가 적시에 제공되어 원활한 실행이 보장됩니다.

• 부트스트래핑: 동일한 분쟁 프로그램이 초기 VM 상태에 포함되고 분쟁 세부 사항이 실행 중에 오라클을 통해 로드되도록 하여 새로운 분쟁을 부트스트랩하는 것이 단순화됩니다.

• 청구 확인: 오라클은 논쟁의 여지가 있는 청구를 VM에 로드하여 프로그램이 결과를 추출하는 대신 계산 결과와 비교할 수 있도록 할 수도 있습니다.

• VM 외부에서 프로그램 실행: OP 스택의 사전 이미지 Oracle의 정말 독특한 점은 VM 없이 프로그램을 실행할 수 있다는 것입니다. Oracle이 호스트 프로그램에 의해 제공되는 한 모든 플랫폼에서 작동할 수 있으므로 오버헤드가 줄어들고 원활한 디버깅 및 테스트가 제공됩니다.

모듈식 OP 스택은 다양한 유형의 FPVM 또는 상태 전환 프로그램을 수용할 수 있습니다. OP Stack의 사전 이미지 오라클의 장점은 적응성에 있습니다. 즉, 다양한 명령어 세트와 다양한 프로그램에서 사용할 수 있습니다. op-node 및 op-geth가 포함된 Go 스택이든 Magi 및 Reth가 포함된 Rust 스택이든 동일한 사전 이미지 오라클이 모두 적합합니다.

또한 VM과 프로그램 간의 이러한 분리로 인해 Cannon의 RISC-V 버전이나 MIPS의 ZK 증명과 같은 대체 VM이 가능해졌습니다. (!) FPVM을 크게 변경하지 않고도 향후 사전 이미지 검증을 쉽게 추가할 수 있습니다.

사전 이미지 Oracle의 적응성은 FPVM 및 FPP가 간단하고 유연하며 효율적인 상태를 유지하도록 보장합니다. 동일한 프로토콜의 다양한 구현을 허용함으로써 OP 스택을 보호하는 안전망 역할을 합니다.

결함 증명에 관심이 있으십니까? 전체 OP 스택 결함 방지 시스템의 설계에 대한 자세한 내용을 공유하는 이 기사 와 OP 스택의 다중 증명 설계 방법을 자세히 설명하는 이 기사를 확인하세요 .

https://blog.oplabs.co/composable-pre-image-oracle/