TL;DR

●OP Succinct가 제공하는 주요 기능은 ZKP를 OP Stack의 모듈식 아키텍처에 통합하는 것입니다. OP 스택의 모듈식 아키텍처에 통합하여 OP 스택 롤업을 완전히 검증된 ZK 롤업으로 변환하는 것입니다.

● 향후 이더넷 확장을 위한 최종 목표가 모든 롤업을 ZK 롤업으로 변환하는 것이라면, OP Succinct의 목표는 Rust와 SP1을 결합하여 OP 스택의 롤업 유형을 ZK 롤업으로 구현하는 것이죠. SP1은 OP 스택을 위한 Type-1 zkEVM(풀 이더넷에 상응하는)을 배포할 수 있도록 지원합니다.

●OP Succinct 제안자는 주로 병렬 증명 생성, 증명 집계 및 검증을 수행합니다.

●옵 스택의 기존 시스템은 분쟁이 발생할 경우 거래 검증을 일주일간 지연시키는 '7일 사기 창'에 의존하지만, OP Succinct는 ZK 증명을 활용하여 거래 완료에 필요한 시간을 단축함으로써 사기 창을 연장할 필요가 없습니다.

●옵 Succinct는 거래 비용을 획기적으로 줄여줍니다.

I. 최근 리뷰: 최근 OP 메인넷 소식과 OP Stack 및 OP Labs

사진 제공: Blockscout

The OP Stack and OP Labs

1.1 OP 메인넷의 최근 개발 하이라이트

2024년 3월 30일 보도자료에 따르면, OP 랩스는 OP 세포일라 테스트 네트워크에서 '실패 증명'을 발표했으며, 2024년 6월 11일 보도자료에서 OP 메인넷에서 '실패 증명'을 공식적으로 발표했습니다. 실패 증명 출시는 탈중앙화를 첫 단계로 끌어올려 OP 메인넷에서 이더리움 및 ERC-20 토큰 출금을 허용함으로써 사용자가 신뢰할 수 있는 제3자 없이도 잘못된 출금(베이스, 메탈, 모드, 조라 포함)에 이의를 제기하고 제거할 수 있도록 합니다.

옵티미즘은 사용자 자산의 보안과 신뢰를 보장하기 위해 다음과 같은 원칙에 따라 온체인 거래의 정확성과 유효성을 개선하고 허위 진술을 방지하기 위해 실패 증명 방식을 채택합니다.

●    . 데이터 가용성: 실패 증명은 먼저 레이어 2의 모든 데이터에 접근할 수 있고 레이어 1에서 확인할 수 있도록 보장합니다.

●       이의 제기 기간: 특정 이의 제기 기간 동안 누구나 레이어 2의 데이터에 대해 이의를 제기할 수 있습니다.

누구나 레이어 2의 데이터가 레이어 1의 데이터와 일치하지 않는다고 판단되면 이의를 제기할 수 있습니다. 증거 제출: 이의가 있는 경우, 레이어 2 운영자는 이의 제기를 반박하고 데이터가 정확함을 증명하는 증거를 제출해야 하며, 최종 결정: 이의 제기 기간 동안 유효한 이의 제기가 없거나 레이어 2 운영자가 이의 제기를 성공적으로 반박하면 거래가 최종 확정되고 유효한 것으로 간주됩니다.

1.2. OP 스택과 OP 랩의 관계 및 차이점

OP 랩은 Optimism 솔루션을 개발하는 팀 또는 조직인 반면, OP 스택은 다음과 같은 일에 사용되는 조직입니다. 이더넷 레이어 2 네트워크 구축 및 확장을 위한 기술 프레임워크입니다. OP Labs와 OP Stack의 관계는 개발자와 개발 도구 간의 관계로 생각할 수 있습니다.

●    OP Labs:

OP Labs는 Optimism 프로젝트의 핵심 기여자이며 Optimism의 계층 2 솔루션의 개발 및 유지 관리를 담당하고 있습니다. 솔루션. 옵티미즘 롤업과 같은 이더리움 확장 관련 기술 도구를 구축하고 개선하는 데 중점을 둔 팀 또는 조직입니다.OP Labs의 주요 목표는 레이어 2 확장 솔루션을 통해 메인 이더 네트워크의 부하를 줄이고 거래 비용을 줄이며 거래 속도를 높이는 것입니다.OP Labs는 또한 다음과 같은 다른 프로젝트와 협력합니다. 영지식 최적화 증명에 중점을 둔 OP Succinct와 같은 이더넷 확장 기술을 더욱 발전시키기 위해 노력하고 있습니다.

옵티미즘 네트워크를 개발하고 유지하는 주요 팀 또는 조직은 OP Labs입니다. 이들의 목표는 트랜잭션 비용 절감과 트랜잭션 속도 향상에 초점을 맞춘 이더리움 확장을 위한 효율적인 솔루션을 구축하는 것입니다. 이들은 옵티미즘 롤업의 개발을 담당할 뿐만 아니라 Succinct Labs와 함께 OP Succinc와 같은 영지식 증명과 관련된 새로운 기술을 적극적으로 홍보하고 있습니다.

●    OP Stack :

운영 스택은 이더넷 레이어 2 네트워크 구축 및 확장을 위한 모듈식 아키텍처 또는 기술 스택입니다. 개발자가 특정 요구 사항에 따라 자체 레이어 2 체인을 구축할 수 있는 여러 사용자 지정 가능한 구성 요소로 구성되어 있습니다. 개발자가 특정 기준을 충족하는 레이어 2 확장 네트워크를 신속하게 구축할 수 있는 표준화된 방법을 제공합니다.

OP Stack은 OP Labs에서 개발한 모듈식 프레임워크입니다. 이 프레임워크는 레이어 2 네트워크 구축을 위한 인프라를 제공하며, 개발자는 OP Stack을 사용하여 다양한 확장 네트워크를 신속하게 구축할 수 있습니다. 모듈식 설계로 인해 OP Stack은 사용자가 다양한 프로젝트의 요구사항을 충족하기 위해 다양한 검증 메커니즘(예: 옵티미스틱 롤업 또는 ZK 롤업)을 유연하게 선택할 수 있습니다.

OP Labs는 개발자가 이더넷의 레이어 2 네트워크를 구축하고 확장하는 데 도움을 주는 기술 도구인 OP Stack의 개발사로 이해할 수 있습니다.

옵 스택을 이해하기 위해 추가해야 할 각 OP 스택에는 네 가지 주요 구성 요소가 있습니다. 1. op-geth: 사용자로부터 거래를 받고 해당 거래를 사용하여 블록을 생성하고 이를 실행합니다. 2. op-geth: 사용자로부터 거래를 받고 해당 거래를 사용하여 블록을 생성하고 실행합니다. 3. op-geth. op-batcher: 사용자의 트랜잭션을 일괄 처리하여 L1에 제출, 3. op-node: L1에서 일괄 처리된 데이터를 읽고 비 시퀀서 모드에서 상태 전환을 수행하도록 op-geth를 구동, 4. .
op-proposer: 출금을 쉽게 처리할 수 있도록 주기적으로 L2 상태를 캡처하기 위해 출력 루트를 L1에 게시합니다.

II. Succinct Labs와 OP Labs의 협력으로 OP 스택에 ZK 요소 주입

사진 출처: Succinct 블로그

2. align: left;">2.1 OP Succinct 아키텍처 구성 요소

위 1.2장 마지막의 "OP 스택의 네 가지 주요 구성 요소"와 함께 OP Succinct는 체인에서 ZK 검증만 사용할 수 있는 OP 스택의 경량화된 업그레이드입니다. OP Succinct는 다른 세 가지 구성 요소(op-geth, op-batcher, op-node)는 그대로 두고 체인에서 ZK 검증 블록만 사용할 수 있도록 하는 OP Stack의 경량 업그레이드입니다. OP Succinct는 크게 네 가지 구성 요소로 이루어져 있습니다.

● 범위 프로그램: 체인에서 ZK 검증 블록만 사용할 수 있게 하는 프로그램입니다. 프로그램): 블록 배치를 실행하는 프로그램으로, Rust가 작성하고 zkVM에서 실행되도록 설계되었습니다.

●       집계 프로그램. 온체인 검증 비용을 줄이기 위한 증명으로, Rust로 작성되고 zkVM에서 실행되도록 설계되었습니다.

●     OP 간결한 L2 출력 오라클.: L2 상태 출력 배열을 포함하는 솔리디티 스마트 컨트랙트로, 각 출력은 다음과 같습니다. L2 상태 출력 배열을 포함하는 솔리디티 스마트 컨트랙트로, 각 출력은 L2 체인 상태에 대한 커밋입니다. 이 컨트랙트는 옵티미즘의 원래 시스템에 이미 존재하지만 인증 메커니즘으로 유효성 증명을 사용하도록 수정되었습니다.

●  OP 간결 제안자: L1에 게시된 거래 배치를 관찰하고 스코핑 절차 제어 및 집계 증명 절차를 제어합니다.

2.2 OP Succinct는 어떤 이더 스케일링 내러티브를 제공하나요?

zkEVM 롤업은 깊은 암호화 전문 지식으로 인해 구축하기가 매우 어렵고, OP 랩 팀은 다양한 유효성 증명 메커니즘을 염두에 두고 모듈식 OP 스택을 구축했으며, 이를 구현하기 위해 Kona(확장 링크 1 참조)의 개발을 오픈소스화하여 Rust를 통해 구현했습니다. Kona(확장 링크 1 참조)는 OP 스택 롤업에서 STF(트랜잭션 상태 전환 함수 로직)를 구현하기 위해 개발되었으며, 최종적으로 Kona와 SP1 프로그램을 통해 OP 스택의 영지식 증명(ZKP)을 생성할 수 있어 이론적으로는 모든 체인이 ZKP를 사용하도록 업그레이드될 수 있습니다.

SP1(Succinct Processor 1)의 목표는 모든 개발자가 Type-1 zkEVM 롤업을 표준 Rust 코드와 원활하게 통합하고 기존 OP Stack 체인을 단 1시간 만에 OP Succinct가 포함된 ZKP로 원활하게 업그레이드할 수 있도록 하는 것입니다. 애플리케이션에 필요한 고성능으로 단 1시간 만에 기존 OP Stack 체인을 Type-1 zkEVM 롤업으로 원활하게 업그레이드할 수 있습니다. 다음과 같은 이점을 얻을 수 있습니다.

●     ZKP의 빠른 검증: 증명 지연 시간을 몇 분으로 단축하여 사기 증명 챌린지에 대해 최대 7일을 "대체"합니다.

●     ZKP의 빠른 검증: 증명 지연 시간을 몇 분으로 단축하여 사기 증명 챌린지에 대해 최대 7일까지 "대체"합니다.

●     ZK로 OP 스택 전환: 스마트 컨트랙트를 배포하고 경량 OP를 시작하기만 하면 됩니다. API 호출을 통해 증명(배처/소터, 연산 노드, 인덱서 등)을 생성하는 간결한 제안 서비스(아래 참조)

●     Type-1 zkEVM: OP 스택과 호환되는 모든 도구 및 스마트 컨트랙트 롤업 호환 가능한 도구 및 스마트 컨트랙트

●     확장성 향상: 새로운 사전 컴파일을 추가하고 수정할 수 있는 사용자 지정 가능한 OP Succinct 롤업으로 롤업 로직을 수정할 수 있습니다.

공식 GitHub 설명에 따르면, 이 과정은 Rust, Foundry, Docker를 설치하는 것만큼 간단하며, 두 단계로 기존 OP Stack 롤업을 Type-1 zkEVM 롤업으로 업그레이드할 수 있습니다: 1. ZK L2OutputOracle.sol 컨트랙트를 배포하고, 2. OP Succinct 제안 서비스를 시작합니다(프로세스에 대해서는 GitHub 확장 2 참조).

운영 스택 롤업을 ZK Proof로 업그레이드, 이미지 출처: Succinct 블로그

2.3 SP1 Reth로 Type-1 zkEVM 구축

Succinct는 EVM 롤업의 미래를 Rust로 작성된 유지 관리 가능한 zkEVM으로 보고 있습니다. 현재 OP 롤업은 부정 증명에 걸리는 7일이라는 지나치게 긴 기간, 복잡한 상호 운용성, 부정 증명 대신 여러 데이터 세트에 의존하는 메커니즘이라는 세 가지 주요 문제에 직면해 있습니다. . 또한 zkEVM을 생성하는 데는 오랜 시간이 소요되는 프로세스이므로 이러한 문제를 해결하기 위해 SP1이 개발되었습니다.

SP1은 100% 오픈소스 기반의 고성능 맞춤형 zkVM으로 임의의 Rust(또는 LVM 컴파일 언어) 프로그램의 실행을 검증하며, 공개된 데이터에 따르면 OP Succinct Stack은 OP 메인넷, OP Sepolia, 그리고 the 베이스 체인에서 성공적으로 실행되었으며, 이더 트랜잭션에서 0.01~0.02달러의 증명 비용을 달성했습니다(확장 링크 3 참조). 향후에는 모든 블록체인 인프라(롤업, 브리지, 코프로세서 등)가 Rust(또는 다른 LLVM 컴파일 언어)로 작성되고 ZKP를 활용하기를 희망합니다.

Succinct 블로그와 오픈소스 GitHub 콘텐츠 요약에 따르면, SP1과 다른 zkVM의 성능은 매우 유사합니다. Succinct 블로그와 오픈 소스 GitHub 콘텐츠에 따르면, SP1과 다른 zkVM 간의 성능 차이는 몇 가지 주요 요인에 기인합니다.

1. 사전 컴파일 중심 아키텍처: SP1은 다양한 작업(예: secp256k1 및 ed25519)을 크게 가속하는 유연한 사전 컴파일 시스템을 지원합니다. 서명 검증, sha256 및 keccak256 해시 함수 등), 그 결과 많은 프로그램에서 RISC-V 사이클 시간을 5-10배 단축할 수 있습니다. 설계 목표는 zkVM의 유연성과 뛰어난 개발자 경험을 유지하면서 ZK 회로에 필적하는 성능을 제공하는 것이었습니다.

2. 완전 오픈 소스: SP1은 100% 오픈 소스이므로 Argument 및 Scroll 같은 팀에서 사이클 시간을 크게 단축하는 맞춤형 사전 컴파일을 구현할 수 있습니다. 업계 표준: 도입 이후 zkVM의 내부 사전 컴파일 개념은 업계 표준이 되어 RISC0, Valida, Nexus 및 Jolt와 같은 프로젝트에 통합되었습니다. Jolt 등 SP1은 중요한 암호화 연산의 사전 컴파일을 광범위하게 지원하는 유일한 프로덕션 지원 zkVM입니다.

4. 효율적인 메모리 읽기 및 쓰기: SP1은 메모리 증명을 위한 혁신적인 접근 방식을 채택하여 단일 챌린지를 사용하여 여러 증명에서 일관된 메모리를 달성합니다. 머클리즈 메모리와 관련된 오버헤드를 방지합니다.

5. 근본적인 효율성 최적화: 낮은 블로우업 계수와 새로운 세대의 조회 파라미터(예: 로그 미분 기반 LogUp), 그리고 Plonky3의 FRI 변형을 사용하여 추적 영역의 활용 효율을 향상시킵니다.

그림 출처: Succinct 블로그, 확장 링크 4 부록 참고

셋째, OP Succinct가 ZK Stack에 대항하는 OP Stack의 킬러 앱이 될 수 있을까요?

사진 제공: @jtguibas

이더리움의 확장 시나리오에서 단기적으로는 OP, 장기적으로는 ZK를 살펴본다면, OP Succinct가 성공한다고 가정할 때 OP Succinct는 이더의 주요 이정표로 여겨질 것입니다. OP Succinct는 이더 롤업을 낙관적 검증에서 영지식 증명으로 전환하는 확장 가능한 경로를 제공하여 거래 비용을 줄이고 거래 속도를 높일 뿐만 아니라 ZK 롤업의 보안 및 익명성 속성을 보존하고 향후 애플리케이션 레이어 폭발에 대한 새로운 가능성을 열어줍니다.

프로젝트 생태계의 발전으로 볼 때 현 단계에서는 OP Stack이 ZK Stack보다 약간 더 나은 것으로 보이지만, 향후 마태 효과가 더 나타날 수 있으며, OP Succinct의 합류로 어느 정도 ZK Stack의 트래픽과 잠재력을 빼앗아갈 수도 있습니다. OP Succinct의 합류로 ZK 스택은 ZK 스택의 트래픽과 잠재력을 어느 정도 흡수할 수 있게 되었으며, 향후 OP Succinct가 실현된다면 기존 zkEVM 롤업에도 영향을 미칠 수 있습니다.

그러나 현 단계에서 공개된 내용에 따르면, 개발자가 STF 함수를 수정하거나 사전 컴파일된 새로운 함수를 추가할 때 OP Succinct의 런타임 로직이 알려지지 않은 취약성으로부터 시스템 위험을 감지할 수 있는 방법을 확인하는 것은 어렵지 않으므로 장기적으로 지켜봐야 할 사항입니다.