원저자 : YBB캐피털 연구원 Ac-Core
TL;DR
OP Succinct가 제공하는 주요 기능은 ZKP를 OP 스택의 모듈식 아키텍처에 통합하여 OP 스택 롤업을 완전히 검증된 ZK 롤업으로 변환하는 것입니다.
Ethereum의 향후 확장의 최종 게임이 모든 롤업을 ZK 롤업으로 변환하는 것이라면 OP Succinct의 목적은 Rust와 SP 1을 결합하여 OP Stack의 Type-1 zkEVM(전체 Ethereum과 동일)의 배포를 구현하는 것입니다.
OP Succinct Proposer는 주로 증명의 병렬 생성과 증명 집계 및 검증을 완료합니다.
OP Stack의 기존 시스템은 7일 사기 방지 기간을 사용합니다. 분쟁이 발생하면 거래 확인이 일주일 동안 연기됩니다. OP Succinct는 ZK 증명을 사용하여 거래 완료에 필요한 시간을 단축합니다. 확장된 사기 방지 기간;
OP Succinct는 거래 비용을 크게 줄일 수 있습니다.
1. 최근 검토: OP 메인넷 및 OP 스택 및 OP 연구소 현황
출처: 블록스카우트
1.1 OP 메인넷 최근 개발 하이라이트
2024년 3월 30일 뉴스에 따르면 OP Labs는 OP Sepoila 테스트 네트워크에서 결함 증명을 발표했으며, 2024년 6월 11일 OP 메인넷에서 공식적으로 결함 증명을 발표하여 탈중앙화를 1단계로 진전시켰습니다. OP 메인넷에서 ETH 및 ERC-20 토큰을 인출할 수 있으므로 사용자는 신뢰할 수 있는 제3자 없이도 유효하지 않은 인출(Base, Metal, Mode 및 Zora 포함)에 대해 이의를 제기하고 삭제할 수 있습니다.
사용자 자산의 보안과 신뢰를 보장하기 위해 Optimism은 실패 증명을 사용하여 온체인 거래의 정확성과 효율성을 향상하고 악행을 방지합니다.
데이터 가용성: 오류 방지는 먼저 레이어 2의 모든 데이터에 액세스할 수 있고 레이어 1에서 확인할 수 있도록 보장합니다.
챌린지 기간: 특정 챌린지 기간 동안 누구나 Layer-2의 데이터에 대해 이의를 제기할 수 있습니다.
누군가 레이어 2 데이터가 레이어 1 데이터와 일치하지 않는다는 사실을 발견하면 이에 대해 이의를 제기할 수 있습니다. 인증서 제출: 이의가 있는 경우 Layer-2 운영자는 이러한 이의를 반박하고 데이터의 정확성을 증명하기 위해 인증서를 제출해야 합니다. 최종성: 챌린지 기간 내에 유효한 이의가 없거나 Layer-2 운영자가 성공적으로 수행한 경우 이의를 반박하면 거래가 확정되고 유효한 것으로 간주됩니다.
1.2.OP Stack과 OP Labs의 관계와 차이점
OP Labs는 Optimism 솔루션을 개발하는 팀 또는 조직인 반면, OP Stack은 Ethereum Layer 2 네트워크를 구축하고 확장하기 위한 기술 프레임워크입니다. OP Labs와 OP Stack의 관계는 개발자와 개발 도구 간의 관계로 이해될 수 있습니다.
OP 연구소:
OP Labs는 Optimism 프로젝트의 핵심 기여자이며 Optimism의 2차 솔루션 개발 및 유지 관리를 담당합니다. Optimistic Rollups와 같은 Ethereum 확장과 관련된 기술 도구를 구축하고 개선하는 데 중점을 둔 팀 또는 조직입니다. OP Labs의 주요 목표는 레이어 2 스케일링 솔루션을 통해 이더리움 메인넷의 부하를 줄이고 거래 비용을 줄이며 거래 속도를 높이는 것입니다. OP Labs는 또한 Succinct Labs와 같은 다른 프로젝트와 협력하여 영지식 증명 최적화에 중점을 둔 OP Succinct와 같은 Ethereum 확장 기술을 더욱 발전시킵니다.
OP Labs는 Optimism Network를 개발하고 유지하는 주요 팀 또는 조직입니다. 그들의 목표는 거래 수수료를 줄이고 거래 속도를 높이는 데 초점을 맞춰 이더리움 확장을 위한 효율적인 솔루션을 구축하는 것입니다. 그들은 Optimistic Rollup의 개발을 담당할 뿐만 아니라 Succinct Labs와 협력하여 OP Succiinc와 같은 영지식 증명과 관련된 신기술을 적극적으로 홍보합니다.
OP 스택:
OP 스택은 Ethereum Layer 2 네트워크를 구축하고 확장하는 데 사용되는 모듈식 아키텍처 또는 기술 스택입니다. 이는 개발자가 특정 요구 사항에 따라 자체 레이어 2 체인을 구축할 수 있도록 하는 여러 사용자 정의 가능한 구성 요소로 구성됩니다. 개발자가 특정 조건을 충족하는 레이어 2 확장 네트워크를 신속하게 구축할 수 있는 표준화된 방법을 제공합니다.
OP Stack은 OP Labs에서 개발한 모듈식 프레임워크입니다. 이 프레임워크는 두 번째 계층 네트워크를 구축하기 위한 인프라를 제공합니다. 개발자는 OP Stack을 사용하여 다양한 확장 네트워크를 빠르게 구축할 수 있습니다. OP 스택의 모듈식 설계로 인해 사용자는 다양한 프로젝트의 요구 사항을 충족하기 위해 다양한 검증 메커니즘(예: 낙관적 롤업 또는 ZK 롤업)을 유연하게 선택할 수 있습니다.
OP Labs는 OP Stack의 개발자로 이해될 수 있습니다. OP Stack은 개발자가 Ethereum의 두 번째 계층 네트워크를 구축하고 확장하는 데 도움을 주기 위해 OP Labs에서 제공하는 기술 도구입니다.
OP Succinct를 이해하기 전에 각 OP 스택의 네 가지 주요 구성 요소를 추가로 이해해야 합니다. 1. op-geth: 사용자로부터 트랜잭션을 얻고 이 트랜잭션을 사용하여 블록을 생성하고 블록을 실행합니다. 2. op-batcher: 사용자의 트랜잭션을 변환합니다. 트랜잭션은 일괄 처리되어 L1에 제출됩니다. 3. op-node: L1에서 배치 데이터를 읽고 비시퀀서 모드에서 상태 전환을 위해 op-geth를 구동합니다. 4. op-proposer: 정기적으로 L1 루트에 출력을 게시하여 L2 상태를 캡처합니다. 인출 처리가 쉽습니다.
2. Succinct Labs와 OP Labs가 협력하여 OP 스택에 ZK 요소를 삽입합니다.
출처: 간결한 블로그
2.1 OP 간결한 아키텍처 구성
위의 1.2장 끝 부분에 있는 OP 스택의 네 가지 주요 구성 요소와 결합된 OP Succinct는 OP 스택의 경량 업그레이드로, 체인이 다른 세 가지 구성 요소를 변경하지 않고 유지하면서 ZK 검증 블록만 사용할 수 있도록 합니다(op -geth , op-batcher 및 op-node), OP Succinct는 주로 다음 네 가지로 구성됩니다.
Range 프로그램: 배치 블록을 실행하는 프로그램입니다. 이 프로그램은 Rust로 작성되었으며 zkVM에서 실행되도록 설계되었습니다.
집합 프로그램.: 온체인 검증 비용을 줄이기 위한 집합 범위 증명 프로그램입니다. 이 프로그램도 Rust로 작성되었으며 zkVM에서 실행되도록 설계되었습니다.
OP Succinct L2 Output Oracle.: 각 출력이 L2 체인 상태에 대한 커밋인 L2 상태 출력 배열을 포함하는 Solidity 스마트 계약입니다. 이 계약은 Optimism의 원래 시스템에 이미 존재했지만 인증 메커니즘으로 검증 증명을 사용하도록 수정되었습니다.
OP Succinct Proposer: L1에 게시된 트랜잭션 배치를 관찰하고 범위 프로그램 및 집계 프로그램의 증명을 제어합니다.
2.2 OP Succinct는 어떤 종류의 이더리움 확장 이야기를 말합니까?
zkEVM 롤업은 깊은 암호화 전문 지식으로 인해 구축하기가 매우 어렵습니다. 모듈식 OP 스택을 구축할 때 OP Labs 팀은 다양한 유효성 메커니즘 증명 지원을 고려했으며 Rust를 통과하기 위한 오픈 소스로 Kona(확장 링크 1 참조)를 개발했습니다. OP Stack Rollup에서 상태 전이 기능 STF(트랜잭션 상태 전이의 기능 논리)를 구현하고 마지막으로 Kona 및 SP 1 프로그램을 사용하여 OP Stack의 영지식 증명(ZKP)을 생성합니다. 즉, 이론적으로 OP Stack의 모든 체인은 업그레이드하고 ZKP를 사용하세요.
SP 1(Succinct 프로세서 1)의 목표는 모든 개발자가 표준 Rust 코드를 사용하여 Type-1 zkEVM 롤업을 원활하게 통합하고 OP Succinct Upgrade to Type-1 zkEVM 롤업을 통해 단 1시간 만에 기존 OP 스택을 원활하게 연결할 수 있도록 하는 것입니다. 애플리케이션이 요구하는 고성능. 이는 다음과 같은 이점을 제공합니다.
ZKP의 신속한 확인: 7일의 사기 인증 이의 제기 기간을 대체하기 위해 인증 지연을 수십 분으로 단축합니다.
비용 절감 및 효율성 향상: 각 거래의 평균 비용은 몇 센트에 불과합니다.
OP 스택을 ZK로 전환: 스마트 계약을 배포하고 경량 OP Succinct 제안 서비스(아래 참조)를 시작하여 API 호출(배치 프로세서/시퀀서, 연산 노드, 인덱서 등 포함)을 통해 증명을 생성하세요.
Type-1 zkEVM: OP Stack Rollup과 호환되는 모든 도구 및 스마트 계약은 OP Succinct Rollup에 적합합니다.
확장성 향상: 사용자 정의 가능한 OP Succinct 롤업을 사용하여 새로운 사전 컴파일을 추가하고 롤업 논리를 수정할 수 있습니다.
공식 GitHub에 따르면 이 프로세스에서는 기존 OP 스택 롤업을 Type-1 zkEVM 롤업으로 업그레이드하기 위해 Rust, Foundry 및 Docker만 설치하면 되며 프로세스는 단 두 단계로만 단순화됩니다. 1. ZK L2 OutputOracle.sol 계약 배포 ;2. OP Succinct 제안 서비스를 시작합니다(프로세스는 GitHub 확장 링크 2 참조).
OP 스택 롤업을 ZK 증명으로 업그레이드, 출처: Succinct 블로그
2.3 SP 1 Reth를 사용하여 Type-1 zkEVM 빌드
Succinct는 EVM Rollup의 미래가 Rust 언어로 작성된 유지 관리 가능한 zkEVM이 될 것이라고 믿습니다. 현재 OP Rollup은 주로 세 가지 문제에 직면해 있습니다. 즉, 너무 긴 7일 사기 방지 기간, 복잡한 상호 운용성, 경우에 따라 여러 그룹에 대한 의존성입니다. 사기 방지 메커니즘이 아닙니다. 또한, zkEVM을 생성하는 것은 오랜 시간이 걸리는 과정이므로 이러한 문제를 해결하기 위해 SP 1이 개발되었습니다.
SP 1은 모든 Rust(또는 LVM 컴파일 언어) 프로그램의 실행을 확인할 수 있는 고성능 100% 오픈 소스이자 완전 오픈 소스 맞춤형 zkVM입니다. 공개 데이터에 따르면 OP Succinct Stack은 OP Mainnet, OP에서 성공적으로 사용되었습니다. Sepalia 및 Base 체인이 실행되었으며 Ethereum 거래에서 $0.01-0.02의 증명 비용을 달성했습니다(확장 링크 3 참조). 미래에는 모든 블록체인 인프라(롤업, 브리지, 보조 프로세서 등 포함)가 Rust(또는 기타 LLVM 컴파일 언어)로 작성되고 ZKP를 활용할 것으로 기대됩니다.
Succinct 블로그 및 오픈 소스 GitHub 콘텐츠 요약에 따르면 SP 1과 다른 zkVM 간의 성능 차이는 주로 다음과 같은 몇 가지 주요 요인으로 인해 발생합니다.
사전 컴파일 중심 아키텍처: SP 1은 다양한 작업(예: secp 256 k 1 및 ed 25519 서명 확인, sha 256 및 keccak 256 해시 기능)을 크게 가속화할 수 있는 유연한 사전 컴파일 시스템을 지원하여 많은 프로그램에서 RISC -V가 사이클 수를 5~10회 늘립니다. 설계 목표는 zkVM의 유연성과 우수한 개발자 경험을 유지하면서 ZK 회로에 필적하는 성능을 제공하는 것입니다.
완전한 오픈 소스: SP 1은 100% 오픈 소스이므로 Argument 및 Scroll과 같은 팀이 맞춤형 사전 컴파일을 구현하여 주기 수를 크게 줄이고 증명 생성 시간을 단축할 수 있습니다.
업계 표준: zkVM 내 사전 컴파일 개념은 도입된 이후 업계 표준이 되었으며 RISC 0, Valida, Nexus 및 Jolt와 같은 프로젝트에 통합되었습니다. SP 1은 중요한 암호화 작업에 대한 광범위한 사전 컴파일 지원을 갖춘 유일한 프로덕션 지원 zkVM입니다.
효율적인 메모리 읽기 및 쓰기: SP 1은 단일 챌린지를 사용하여 여러 증명에 대해 일관된 메모리를 달성하고 Merkleized 메모리로 인한 오버헤드를 방지하는 혁신적인 메모리 증명 방법을 채택합니다.
기본 효율성 최적화: 더 낮은 폭발 계수와 차세대 검색 매개변수(예: 로그 파생 기반 LogUp)와 Plonky 3의 FRI 변형을 사용하여 추적 영역의 활용 효율성이 향상됩니다.
이미지 출처: 간결한 블로그, 확장 링크 4 부록 설명 참조
3. OP Succinct가 ZK Stack에 대한 OP Stack의 트럼프 카드가 될 수 있습니까?
이미지 출처 작성자: @jtguibas
이더리움의 확장 계획이 단기적으로 OP를, 장기적으로 ZK를 살펴본다면 OP Succinct가 성공할 수 있다는 가정 하에 이더리움 개발 경로의 중요한 이정표로 간주될 것입니다. OP Succinct는 ETH 롤업을 낙관적 검증에서 영지식 증명으로 전환할 수 있는 업그레이드 가능한 경로를 제공합니다. 이는 트랜잭션 비용을 절감할 뿐만 아니라 트랜잭션 속도도 높여 ZK 롤업의 보안 및 익명성 속성을 유지하여 미래의 애플리케이션 계층 솔루션을 제공합니다. 발병은 새로운 가능성을 가져옵니다.
레이어 2의 4대 왕 중 OP Stack은 이 단계의 프로젝트 생태적 발전 측면에서 ZK Stack보다 약간 더 뛰어납니다. Matthew Effect는 향후 OP Succinct를 추가하여 ZK를 흡수하기도 합니다. OP Succinct가 미래에 실현될 수 있다면 스택의 트래픽과 잠재력은 zkEVM의 전통적인 롤업에도 어느 정도 영향을 미칠 수 있습니다.
그러나 이 단계에서 공개적으로 밝힌 내용에 따르면 개발자가 STF 기능을 수정하거나 사전 컴파일된 새로운 기능을 추가할 때 알려지지 않은 취약점으로 인한 시스템적 위험을 신속하게 발견하도록 보장하는 방법을 OP Succinct의 운영 논리에서 찾는 것이 어렵지 않습니다. 이를 위해서는 장기적인 초점을 유지해야 합니다.
확장 링크:
(1) https://github.com/anton-rs/kona?ref=blog.succinct.xyz
(2) https://github.com/succinctlabs/op-succinct
