TLDR

Fungsi utama OP Succinct adalah mengintegrasikan ZKP ke dalam arsitektur modular OP Stack, mengubah OP Stack Rollups menjadi ZK Rollups yang sepenuhnya terverifikasi.

Jika solusi skala masa depan Ethereum adalah mengubah semua Rollups menjadi ZK Rollups, OP Succinct bertujuan untuk menerapkan zkEVM Tipe-1 (sepenuhnya setara dengan Ethereum) dalam OP Stack, dengan menggunakan Rust dan SP1.

OP Succinct Proposer mencapai pembangkitan bukti secara paralel, bersamaan dengan agregasi dan verifikasi bukti.

Sistem Tumpukan OP yang ada bergantung pada "jendela bukti penipuan 7 hari," yang menyebabkan keterlambatan transaksi jika terjadi perselisihan. OP Succinct mempersingkat waktu finalitas transaksi dengan menggunakan bukti ZK, menghilangkan kebutuhan akan jendela bukti penipuan yang diperpanjang.

OP Succinct dapat secara signifikan mengurangi biaya transaksi.

1. Tinjauan Terbaru: Pembaruan OP Mainnet dan Hubungan Antara OP Stack dan OP Labs

Sumber Gambar: Blockscout

1.1 Perkembangan Kunci pada OP Mainnet

Pada 30 Maret 2024, OP Labs mengumumkan peluncuran “proof of faults” pada testnet OP Sepolia, yang secara resmi diluncurkan pada OP Mainnet pada 11 Juni 2024. Ini menandai langkah pertama menuju desentralisasi, memungkinkan pengguna untuk menarik ETH dan token ERC-20 dari OP Mainnet tanpa perlu pihak ketiga yang dipercayai. Mekanisme ini memungkinkan pengguna untuk menantang dan mencabut penarikan yang tidak valid (termasuk Base, Metal, Mode, dan Zora).

Untuk memastikan keamanan dan kepercayaan aset pengguna, Optimism menggunakan bukti kesalahan untuk memverifikasi keakuratan dan validitas transaksi on-chain serta mencegah tindakan jahat. Prinsip utamanya meliputi:

• Ketersediaan Data: Bukti kesalahan memastikan bahwa semua data di Layer-2 dapat diakses dan dapat diverifikasi oleh Layer-1.
• Periode Tantangan: Dalam periode tantangan tertentu, siapa pun dapat mempermasalahkan data di Layer-2.

Jika ditemukan ketidaksesuaian antara data Layer-2 dan Layer-1, pihak yang bersengketa dapat mengajukan tantangan. Operator Layer-2 harus mengajukan bukti untuk menanggapi tantangan dan memverifikasi kebenaran data. Finalitas: Jika tidak ada tantangan yang valid terjadi dalam periode tantangan atau operator Layer-2 berhasil menanggapi tantangan, transaksi tersebut dianggap final dan valid.

1,2 Hubungan dan Perbedaan Antara Tumpukan OP dan Laboratorium OP

OP Labs adalah tim atau organisasi yang mengembangkan solusi Optimism, sedangkan OP Stack adalah kerangka teknis yang digunakan untuk membangun dan memperluas jaringan Layer 2 Ethereum. Hubungan antara OP Labs dan OP Stack dapat dilihat sebagai hubungan antara pengembang dan alat pengembangan mereka.

• OP Labs: OP Labs adalah kontributor inti untuk proyek Optimism, yang bertanggung jawab untuk mengembangkan dan memelihara solusi Optimism Layer 2. Ini adalah tim atau organisasi yang didedikasikan untuk membuat dan meningkatkan alat teknis yang terkait dengan penskalaan Ethereum, seperti Optimistic Rollups. Tujuan utama OP Labs adalah untuk mengurangi beban pada mainnet Ethereum, menurunkan biaya transaksi, dan meningkatkan kecepatan transaksi. OP Labs juga berkolaborasi dengan proyek lain, seperti Succinct Labs, untuk memajukan teknologi penskalaan Ethereum seperti OP Succinct, yang berfokus pada pengoptimalan bukti tanpa pengetahuan.

OP Labs adalah tim atau organisasi utama yang bertanggung jawab dalam mengembangkan dan memelihara jaringan Optimism. Tujuan mereka adalah menciptakan solusi skalabilitas yang efisien untuk Ethereum, dengan fokus pada mengurangi biaya transaksi dan meningkatkan kecepatan transaksi. Mereka tidak hanya mengembangkan Optimistic Rollups tetapi juga mendorong teknologi baru terkait bukti pengetahuan nol, seperti OP Succinct dalam kemitraan dengan Succinct Labs.

• OP Stack: OP Stack adalah arsitektur modular atau tumpukan teknis yang digunakan untuk membangun dan mengukur jaringan Ethereum Layer 2. Ini terdiri dari beberapa komponen yang dapat disesuaikan, memungkinkan pengembang untuk membangun rantai Layer 2 mereka sendiri sesuai dengan persyaratan tertentu. Ini menyediakan pendekatan standar bagi pengembang untuk dengan cepat mengatur jaringan ekspansi Layer 2 yang disesuaikan dengan kondisi tertentu.

OP Stack, yang dikembangkan oleh OP Labs, menawarkan kerangka kerja modular yang menyediakan infrastruktur dasar untuk membangun jaringan Layer 2. Pengembang dapat menggunakan OP Stack untuk dengan cepat membuat berbagai jaringan ekspansi. Desain modular memungkinkan pengguna untuk fleksibel memilih mekanisme verifikasi yang berbeda (misalnya, Optimistic Rollups atau ZK Rollups) untuk memenuhi kebutuhan proyek-proyek yang beragam.

Pada intinya, OP Labs dapat dilihat sebagai pengembang dari OP Stack, dan OP Stack adalah alat teknis yang disediakan oleh OP Labs untuk membantu pengembang membangun dan memperluas jaringan Layer 2 Ethereum.

Sebelum memulai OP Succinct, penting untuk memperkenalkan empat komponen utama dari setiap tumpukan OP:

• op-geth: Mengumpulkan transaksi dari pengguna dan menghasilkan serta mengeksekusi blok berdasarkan transaksi tersebut.
• op-batcher: Memaketkan transaksi pengguna dan mengirimkannya ke Layer 1.
• op-node: Membaca data batch dari Layer 1 dan menggerakkan op-geth untuk transisi status dalam mode bukan sequencer.
• op-proposer: Secara berkala menerbitkan akar output ke Layer 1, menangkap keadaan Layer 2 dan memfasilitasi penarikan.

2. Succinct Labs bekerja sama dengan OP Labs untuk memperkenalkan ZK Elements ke dalam OP Stack

Sumber Gambar: Blog Ringkas

2.1 Komponen Arsitektur Singkat OP

Mengembangkan komponen-komponen dari tumpukan OP yang diuraikan di bagian 1.2, OP Succinct adalah peningkatan ringan ke tumpukan OP yang memungkinkan rantai menggunakan blok yang terverifikasi ZK sambil menjaga komponen lainnya (op-geth, op-batcher, dan op-node) tetap tidak berubah. OP Succinct terdiri dari empat komponen utama berikut:

• Program Rentang: Sebuah program yang memproses blok batch, ditulis dalam Rust dan dirancang untuk berjalan di dalam zkVM.
• Program Agregasi: Mengumpulkan bukti dari Program Range untuk mengurangi biaya verifikasi on-chain, juga ditulis dalam Rust dan dirancang untuk berjalan di zkVM.
• OP Succinct L2 Output Oracle: Kontrak pintar Solidity yang berisi array output state L2, masing-masing mengikat keadaan dari rantai L2. Kontrak ini ada dalam sistem Optimism asli tetapi telah dimodifikasi untuk menggunakan verifikasi bukti sebagai mekanisme otentikasi.
• OP Succinct Proposer: Mengamati pengumpulan transaksi yang dipublikasikan di L1 dan mengelola pembangkitan bukti untuk program Range dan Agregasi.

2.2 Bagaimana OP Succinct Cocok dalam Narasi Skalabilitas Ethereum?

Membangun Rollups zkEVM telah menantang karena memerlukan keahlian kriptografi yang luas. Ketika OP Labs mengembangkan OP Stack modular, mereka mengantisipasi mendukung berbagai mekanisme bukti. Untuk tujuan ini, mereka membuka sumber pengembangan Kona (lihat tautan ekstensi 1) untuk mengimplementasikan STF dari OP Stack Rollups menggunakan Rust, akhirnya memungkinkan generasi bukti pengetahuan nol (ZKP) untuk OP Stack melalui Kona dan program SP1. Ini berarti bahwa, dalam teori, setiap rantai OP Stack dapat ditingkatkan untuk menggunakan ZKP.

Tujuan dari SP1 (Succinct Processor 1) adalah memungkinkan pengembang untuk secara mulus mengintegrasikan rollup zkEVM Tipe-1 menggunakan kode Rust standar. Dengan OP Succinct, proses meningkatkan rantai OP Stack apa pun yang sudah ada ke rollup zkEVM Tipe-1 dapat diselesaikan dalam waktu satu jam, menawarkan manfaat-manfaat berikut:

• Konfirmasi ZKP Cepat: Mengurangi keterlambatan bukti menjadi hanya beberapa menit, menggantikan jendela perselisihan bukti penipuan selama 7 hari.
• Efisiensi Biaya: Biaya transaksi rata-rata berkurang menjadi hanya beberapa sen.
• Beralih Stack OP ke ZK: Dengan menerapkan kontrak pintar dan meluncurkan layanan proposal OP Ringkas yang ringan, bukti dapat dihasilkan melalui panggilan API (termasuk pemrosesan kelompok/penyusun, op-node, pengindeks, dll.).
• Type-1 zkEVM: Semua alat dan kontrak pintar yang kompatibel dengan OP Stack Rollups juga kompatibel dengan OP Succinct Rollups.
• Skalabilitas yang Meningkat: OP Succinct rollup yang dapat disesuaikan dapat menambahkan precompile baru dan memodifikasi logika Rollup sesuai kebutuhan.

Menurut dokumentasi resmi GitHub, proses ini hanya memerlukan pemasangan Rust, Foundry, dan Docker untuk meningkatkan setiap rollup OP Stack yang ada menjadi rollup zkEVM Tipe-1. Proses yang disederhanakan melibatkan dua langkah:

• Menerapkan kontrak ZK L2OutputOracle.sol.
• Meluncurkan layanan proposal singkat OP (lihat tautan ekstensi GitHub 2 untuk langkah-langkah detail).

Sumber Gambar: Blog Ringkas - Memperbarui OP Stack Rollup ke Bukti ZK

2.3 Membangun zkEVM Tipe-1 Menggunakan SP1 Reth

Succinct percaya bahwa masa depan EVM Rollups terletak pada zkEVM yang ditulis dalam bahasa Rust, yang memungkinkan untuk pemeliharaan yang lebih baik. Saat ini, OP Rollups menghadapi tiga tantangan utama: jendela bukti penipuan 7 hari yang panjang, interoperabilitas kompleks, dan ketergantungan pada mekanisme data multi-grup dalam beberapa kasus daripada bukti penipuan. Mengembangkan zkEVM adalah upaya jangka panjang, sehingga SP1 dibuat untuk mengatasi tantangan ini.

SP1 adalah zkVM yang dapat disesuaikan sepenuhnya dan berkualitas tinggi yang 100% open-source. Ia dapat memverifikasi eksekusi dari program-program Rust (atau yang dikompilasi dengan LLVM) yang sembarang. Menurut data publik, OP Succinct Stack telah berhasil berjalan di OP Mainnet, OP Sepolia, dan Base chain, dengan biaya bukti transaksi berkisar antara $0.01 hingga $0.02 (lihat tautan ekstensi 3). Di masa depan, semua infrastruktur blockchain, termasuk Rollups, jembatan, dan koprosesor, kemungkinan akan ditulis dalam Rust (atau bahasa yang dikompilasi dengan LLVM lainnya) dan memanfaatkan ZKP.

Berdasarkan ringkasan dari blog Succinct dan konten GitHub sumber terbuka, keunggulan kinerja SP1 dibandingkan dengan zkVM lainnya berasal dari beberapa faktor kunci:

• Arsitektur yang Berpusat pada Prekompilasi: SP1 mendukung sistem prekompilasi yang fleksibel, secara signifikan mempercepat operasi seperti verifikasi tanda tangan secp256k1 dan ed25519, pengolahan hash sha256 dan keccak256, dan mengurangi hitungan siklus RISC-V sebesar 5-10x untuk banyak program. Tujuannya adalah memberikan performa yang sebanding dengan sirkuit ZK sambil menjaga fleksibilitas zkVM dan pengalaman pengembang yang sangat baik.
• Sepenuhnya Open-Source: SP1 adalah 100% open-source, memungkinkan tim seperti Argument dan Scroll untuk mengimplementasikan precompiles kustom, mengurangi hitungan siklus dan mempercepat waktu pembuatan bukti.
• Standar Industri: Sejak diluncurkan, gagasan precompile internal untuk zkVM telah menjadi standar industri, memengaruhi proyek-proyek seperti RISC0, Valida, Nexus, dan Jolt. SP1 adalah satu-satunya zkVM yang siap produksi, mendukung berbagai operasi kriptografi kritis.
• Baca/Tulis Memori yang Efisien: SP1 menggunakan metode bukti memori inovatif yang mencapai memori yang konsisten di beberapa bukti dengan satu tantangan, menghindari overhead memori Merkleized.
• Optimisasi Efisiensi Dasar: Memanfaatkan faktor blowup yang lebih rendah dan parameter pencarian generasi berikutnya (misalnya, turunan berbasis log seperti LogUp), bersama dengan variasi FRI di Plonky3, SP1 meningkatkan efisiensi penggunaan wilayah jejak.

Sumber Gambar: Blog Singkat — Lihat Penjelasan Lampiran di Tautan Ekstensi 4

3. Bisakah OP Succinct Menjadi Kartu Truf Gate Stack Lawan ZK Stack?

Kredit gambar: @jtguibas

Jika solusi skalabilitas Ethereum dianggap OP dalam jangka pendek dan ZK dalam jangka panjang, keberhasilan potensial OP Succinct dapat menandai tonggak penting dalam jalur pengembangan Ethereum. OP Succinct menyediakan jalur peningkatan untuk ETH Rollups untuk beralih dari verifikasi optimis ke bukti pengetahuan nol (ZKP). Pergeseran ini tidak hanya mengurangi biaya transaksi tetapi juga meningkatkan kecepatan transaksi sambil mempertahankan atribut keamanan dan privasi dari ZK Rollups, membuka kemungkinan baru untuk ekspansi lapisan aplikasi di masa depan.

Di antara empat solusi Layer 2 yang diakui, OP Stack saat ini tampaknya memiliki sedikit keunggulan dibandingkan ZK Stack dalam hal pengembangan ekosistem. Masa depan mungkin akan melihat efek Matthew yang lebih nyata, di mana inklusi OP Succinct dapat menyerap sebagian lalu lintas dan potensi ZK Stack. Jika OP Succinct terbukti berhasil, mungkin bahkan akan menjadi tantangan bagi Rollups berbasis zkEVM tradisional.

Namun, dari logika operasional yang disajikan sejauh ini, satu aspek kritis muncul: bagaimana para pengembang dapat memastikan bahwa risiko secara sistemik, yang disebabkan oleh kerentanan yang tidak diketahui saat memodifikasi fungsi transisi keadaan (STF) atau menambahkan prekompilasi baru, terdeteksi dengan tepat waktu? Ini adalah area yang memerlukan perhatian jangka panjang.

Disclaimer:

1. Artikel ini dicetak ulang dari [Modal YBB]. Semua hak cipta milik penulis asli [Ac-Core]. Jika ada keberatan terhadap cetakan ini, harap hubungi Gerbang Belajartim, dan mereka akan menanganinya dengan segera.
2. Penyangkalan Tanggung Jawab: Pandangan dan opini yang diungkapkan dalam artikel ini semata-mata merupakan pendapat penulis dan tidak merupakan saran investasi apa pun.
3. Penerjemahan artikel ke bahasa lain dilakukan oleh tim gate Learn. Kecuali disebutkan, menyalin, mendistribusikan, atau menjiplak artikel yang diterjemahkan dilarang.