Fitur utama dari OP Succinct adalah mengintegrasikan ZKP ke dalam arsitektur modular OP Stack, mengubah OP Stack Rollups menjadi ZK Rollups yang diverifikasi sepenuhnya.
Jika solusi perluasan masa depan untuk Ethereum adalah mengubah semua Rollups menjadi ZK Rollups, maka OP Succinct bertujuan untuk menggunakan Rust dan SP1 untuk mendeploy zkEVM Jenis-1 (setara sepenuhnya dengan Ethereum) di OP Stack.
OP Succinct Proposer melaksanakan pembangkitan bukti secara paralel, serta agregasi dan verifikasi bukti.
Sistem OP Stack yang ada saat ini bergantung pada 'jendela anti-penipuan 7 hari', yang dapat menyebabkan keterlambatan transaksi jika terjadi perselisihan. OP Succinct mempersingkat waktu penyelesaian transaksi dengan menggunakan bukti ZK, sehingga tidak perlu memperpanjang jendela anti-penipuan.
OP Succinct dapat secara signifikan menurunkan Biaya Transaksi.
1、Tinjauan Baru-baru Ini: Pembaruan Mainnet OP dan Hubungan antara Tumpukan OP dan Laboratorium OP
Sumber gambar: Blockscout
1.1 Kemajuan Kunci OP Mainnet
Pada tanggal 30 Maret 2024, OP Labs mengumumkan peluncuran "Proof of Fault" di jaringan uji coba OP Sepolia, yang akan secara resmi diluncurkan di OP Mainnet pada tanggal 11 Juni 2024. Ini menandai langkah pertama dalam Desentralisasi, memungkinkan pengguna untuk menarik ETH dan Token ERC-20 dari OP Mainnet tanpa perlu pihak ketiga yang terpercaya. Mekanisme ini memungkinkan pengguna untuk menantang dan membatalkan penarikan yang tidak valid (termasuk Base, Metal, Mode, dan Zora).
Untuk memastikan keamanan dan kepercayaan aset pengguna, Optimism menggunakan proof of stake untuk memverifikasi keakuratan dan validitas transaksi on-chain, serta mencegah perilaku jahat. Prinsip kunci termasuk:
Ketersediaan Data: Bukti kegagalan memastikan bahwa semua data di lapisan 2 dapat diakses dan diverifikasi oleh lapisan 1.
Periode Tantangan: Selama periode tantangan tertentu, siapa pun dapat menentang data lapisan 2.
Jika terjadi ketidakcocokan antara data lapisan 2 dan lapisan 1, pihak yang bersengketa dapat menantang. Operator lapisan 2 harus menyediakan bukti untuk menyanggah tantangan dan memverifikasi kebenaran data.
Keterakhiran: Jika tidak ada tantangan yang efektif selama periode tantangan atau operator tingkat 2 berhasil membantah tantangan, transaksi akan akhirnya ditetapkan dan dianggap sah.
1.2 Hubungan dan Perbedaan antara Stack OP dan OP Labs
OP Labs adalah tim atau organisasi yang mengembangkan solusi Optimism, OP Stack adalah kerangka teknologi untuk membangun dan memperluas jaringan lapisan 2 ETH. Hubungan antara OP Labs dan OP Stack dapat dipahami sebagai hubungan antara pengembang dan alat pengembangan.
OP Labs: OP Labs adalah kontributor inti dari proyek Optimism, bertanggung jawab untuk mengembangkan dan menjaga solusi Optimism Layer 2. Ini adalah tim atau organisasi yang berdedikasi untuk membuat dan meningkatkan alat-alat teknologi terkait perluasan ETH (seperti Optimistic Rollups). Tujuan utama OP Labs adalah mengurangi beban ETH Mainnet, menurunkan Biaya Transaksi, dan meningkatkan kecepatan transaksi. OP Labs juga bekerja sama dengan proyek lain (seperti Succinct Labs) untuk mendorong teknologi perluasan ETH, seperti OP Succinct yang berfokus pada optimasi Zero-Knowledge Proof.
OP Labs adalah tim atau organisasi utama yang bertanggung jawab untuk pengembangan dan pemeliharaan jaringan Optimism. Tujuan mereka adalah untuk menciptakan solusi skalabilitas yang efisien untuk Ethereum, dengan fokus pada DropPencucian Uang dan peningkatan kecepatan transaksi. Mereka tidak hanya mengembangkan Optimistic Rollups, tetapi juga mendorong pengembangan teknologi baru yang terkait dengan Zero-Knowledge Proof, seperti OP Succinct yang dikembangkan bersama Succinct Labs.
OP Stack: OP Stack adalah arsitektur modular atau tumpukan teknologi yang digunakan untuk membangun dan memperluas jaringan lapisan kedua Ethereum (ETH). Ini terdiri dari beberapa komponen yang dapat disesuaikan, memungkinkan pengembang untuk membangun rantai lapisan kedua sesuai dengan kebutuhan mereka. Ini memberikan pengembang dengan cara standar untuk dengan cepat mengatur jaringan ekstensi lapisan kedua yang sesuai dengan kondisi tertentu.
OP Stack yang dikembangkan oleh Laboratorium OP menyediakan kerangka modular untuk menyediakan infrastruktur dasar untuk membangun jaringan layer-2. Pengembang dapat menggunakan OP Stack untuk dengan cepat membuat berbagai jaringan ekstensi. Desain modular memungkinkan pengguna untuk fleksibel memilih mekanisme verifikasi yang berbeda (misalnya Optimistic Rollups atau ZK Rollups) untuk memenuhi kebutuhan berbagai proyek.
Secara mendasar, OP Labs dapat dianggap sebagai pengembang dari OP Stack, sedangkan OP Stack adalah alat teknis yang disediakan oleh OP Labs untuk membantu pengembang membangun dan memperluas jaringan lapisan 2 ETH.
Sebelum mempelajari OP Succinct secara mendalam, penting untuk memperkenalkan empat komponen utama dari setiap tumpukan OP:
1、op-geth：mengumpulkan transaksi dari pengguna dan membuat dan menjalankan Blok berdasarkan transaksi ini.
2, op-batcher: memproses transaksi pengguna secara batch dan mengirimkannya ke lapisan 1.
op-node: Membaca data dalam jumlah besar dari lapisan 1 dan menggerakkan op-geth dalam mode non-sorter untuk mengubah status.
4、op-proposer: secara teratur mengeluarkan root output ke lapisan 1, menangkap status lapisan 2, dan mendorong penarikan.
2. Kerjasama Succinct Labs dan OP Labs Memperkenalkan Elemen ZK ke dalam OP Stack
Sumber gambar: Succinct Blog
2.1 Komponen Arsitektur OP yang Ringkas
OP Succinct dibangun di atas komponen OP Stack yang dijelaskan dalam bagian 1.2, ini adalah peningkatan ringan dari OP Stack yang memungkinkan penggunaan Blok yang diverifikasi ZK sambil tetap mempertahankan komponen lain (op-geth, op-batcher, dan op-node) tidak berubah. OP Succinct terdiri dari empat komponen utama berikut:
Program Range: program untuk memproses blok pemrosesan dalam jumlah besar, ditulis dalam Rust, dirancang untuk berjalan di dalam zkVM.
Program Agregasi: Menggabungkan bukti dari Program Range untuk memverifikasi biaya on-chain, juga ditulis dalam Rust, dirancang untuk berjalan di dalam zkVM.
OP Succinct L2 mengeluarkan Mesin Oracle: sebuah Kontrak Pintar Solidity, yang berisi array output status L2, setiap outputnya diserahkan ke status rantai L2. Kontrak ini berada di dalam sistem Optimism asli, tetapi telah dimodifikasi untuk menggunakan verifikasi bukti sebagai mekanisme otentikasi.
OP Succinct提议者：观察在 L1 上发布的交易批次并管理Range和聚合程序的证明生成。
2.2 OP Ringkas Bagaimana cara menggabungkan ekstensi narasi Ethereum?
Karena membutuhkan banyak pengetahuan khusus dalam kriptografi, membangun zkEVM Rollups selalu menjadi tantangan. Ketika OP Labs mengembangkan OP Stack modular, mereka mengharapkan untuk mendukung berbagai mekanisme bukti. Untuk ini, mereka membuka pengembangan Kona yang menggunakan Rust untuk mengimplementasikan STF OP Stack Rollups dan akhirnya menghasilkan Zero-Knowledge Proof (ZKP) untuk OP Stack melalui program Kona dan SP1. Ini berarti, secara teori, setiap rantai OP Stack dapat ditingkatkan untuk menggunakan ZKP.
Tujuan SP1 (Succinct Processor 1) adalah memungkinkan pengembang untuk mengintegrasikan rollup Type-1 zkEVM dengan kode Rust standar secara mulus. Dengan bantuan OP Succinct, proses peningkatan dari setiap OP Stack chain yang ada ke rollup Type-1 zkEVM dapat diselesaikan dalam waktu satu jam dan memiliki keunggulan berikut:
Konfirmasi ZKP cepat: mengurangi bukti latensi menjadi beberapa menit, menggantikan jendela sengketa anti-penipuan 7 hari.
Efisiensi Biaya: Biaya Transaksi Drop rata-rata turun menjadi hanya beberapa sen.
Beralih dari Stack OP ke ZK: Melalui implementasi Smart Contract, memulai layanan proposal OP Succinct yang ringan, dapat menghasilkan bukti dengan pemanggilan API (termasuk dalam pengolahan batch/urutan, op-node, pengindeks, dll).
Type-1 zkEVM: Semua alat dan Smart Contract yang kompatibel dengan OP Stack Rollups juga kompatibel dengan OP Succinct Rollups.
Meningkatkan skalabilitas: OP Succinct Rollup yang dapat disesuaikan memungkinkan penambahan prakompilasi baru dan modifikasi logika Rollup sesuai kebutuhan.
Berdasarkan dokumen resmi GitHub, proses ini hanya memerlukan instalasi Rust, Foundry, dan Docker, untuk mengupgrade stack rollup OP apa pun menjadi rollup zkEVM Type-1 yang ada. Proses yang disederhanakan melibatkan dua langkah:
Deploy kontrak ZK L2OutputOracle.sol.
Memulai layanan proposal OP Succinct (lihat langkah-langkah detail di tautan ekstensi GitHub2).
Sumber gambar: Blog Succinct - Mengupgrade OP Stack Rollup menjadi ZK Proofs
2.3 Menggunakan SP1 Reth untuk Membangun Type-1 zkEVM
Succinct meyakini bahwa masa depan EVM Rollups terletak pada penggunaan zkEVM yang ditulis dalam bahasa Rust, sehingga dapat lebih mudah dipelihara. Saat ini, OP Rollups menghadapi tiga tantangan utama: jendela anti-penipuan selama 7 hari yang panjang, kompleksitas interoperabilitas, dan dalam beberapa kasus bergantung pada mekanisme data ganda daripada bukti penipuan. Pengembangan zkEVM adalah pekerjaan jangka panjang, oleh karena itu SP1 dibuat untuk mengatasi tantangan-tantangan ini.
SP1 adalah sebuah zkVM yang high-performance dan sepenuhnya dapat disesuaikan, 100% Sumber Terbuka, yang dapat memverifikasi eksekusi program Rust (atau kompilasi LLVM) apa pun. Berdasarkan data publik, OP Succinct Stack telah berhasil berjalan di OP Mainnet, OP Sepolia, dan Base on-chain, dengan biaya bukti transaksi berkisar dari 0.01 dolar hingga 0.02 dolar (lihat tautan eksternal 3). Di masa depan, semua infrastruktur Blok, termasuk Rollups, jembatan, dan koprosesor, kemungkinan akan ditulis dengan Rust (atau bahasa kompilasi LLVM lainnya) dan memanfaatkan ZKP.
Menurut ringkasan dari blog Succinct dan konten GitHub Sumber Terbuka, keunggulan kinerja SP1 dibandingkan dengan zkVM lainnya berasal dari beberapa faktor kunci:
Struktur berbasis pra-kompilasi: SP1 mendukung sistem pra-kompilasi yang fleksibel, secara signifikan mempercepat verifikasi tanda tangan secp256k1 dan ed25519, operasi hash sha256 dan keccak256, dan mengurangi jumlah putaran siklus RISC-V untuk banyak program sebanyak 5-10 kali lipat. Ini bertujuan untuk memberikan kinerja yang sebanding dengan sirkuit ZK, sambil mempertahankan fleksibilitas zkVM dan pengalaman pengembang yang luar biasa.
Sepenuhnya Sumber Terbuka: SP1 adalah 100% Sumber Terbuka, memungkinkan tim Argument dan Scroll untuk mengimplementasikan pra-pengkodean khusus, mengurangi jumlah putaran dan mempercepat waktu pembuatan bukti.
Standar Industri: Sejak diluncurkan, ide praproses internal zkVM telah menjadi standar industri yang mempengaruhi proyek-proyek seperti RISC0, Valida, Nexus, dan Jolt. SP1 adalah satu-satunya yang tersedia untuk produksi di zkVM, mendukung berbagai operasi enkripsi kunci.
Baca-tulis memori yang efisien: SP1 menggunakan metode bukti memori inovatif, yang hanya memerlukan satu tantangan untuk mencapai konsistensi memori lintas banyak bukti, menghindari biaya memori Merkleized.
Optimalisasi Efisiensi Dasar: Dengan menggunakan faktor amplifikasi yang lebih rendah dan parameter pencarian generasi berikutnya (seperti turunan berbasis logaritma, seperti LogUp), serta variasi FRI di Plonky3, SP1 meningkatkan efisiensi penggunaan area pelacakan.
Sumber gambar: blog Succinct
3, Apakah OP Succinct bisa menjadi kartu truf dari OP Stack melawan ZK Stack?
Sumber gambar: @jtguibas
Jika solusi skala Ethereum untuk jangka pendek adalah OP dan jangka panjangnya adalah ZK, maka potensi kesuksesan OP Succinct bisa menjadi tonggak penting dalam pengembangan Ethereum. OP Succinct menyediakan jalur upgrade untuk Rollups ETH dari verifikasi optimis ke Zero-Knowledge Proof (ZKP). Perubahan ini tidak hanya menurunkan biaya transaksi, tetapi juga meningkatkan kecepatan transaksi, sambil mempertahankan keamanan dan privasi ZK Rollups, membuka kemungkinan baru untuk ekspansi Layer Aplikasi di masa depan.
Dalam empat solusi Layer 2 yang dikenal secara umum, saat ini OP Stack tampaknya lebih unggul dalam pembangunan ekosistem daripada ZK Stack, efek Matthew mungkin akan lebih jelas di masa depan, bergabungnya OP Succinct mungkin akan mengambil sebagian lalu lintas dan potensi ZK Stack, jika OP Succinct berhasil, bahkan mungkin menantang Rollups berbasis zkEVM tradisional.
Namun, dari logika operasional yang saat ini diajukan, muncul satu masalah kunci: bagaimana pengembang memastikan deteksi tepat waktu terhadap risiko sistem yang disebabkan oleh modifikasi fungsi transisi status (STF) atau penambahan kerentanan yang tidak diketahui pada waktu kompilasi baru? Ini adalah area yang layak untuk diikuti dalam jangka panjang.
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Evolusi OP Stack: OP Succinct Mengungkap Potensi ZK Rollup
Penulis: Peneliti YBB Capital Ac-Core
TLDR
1、Tinjauan Baru-baru Ini: Pembaruan Mainnet OP dan Hubungan antara Tumpukan OP dan Laboratorium OP
Sumber gambar: Blockscout
1.1 Kemajuan Kunci OP Mainnet
Pada tanggal 30 Maret 2024, OP Labs mengumumkan peluncuran "Proof of Fault" di jaringan uji coba OP Sepolia, yang akan secara resmi diluncurkan di OP Mainnet pada tanggal 11 Juni 2024. Ini menandai langkah pertama dalam Desentralisasi, memungkinkan pengguna untuk menarik ETH dan Token ERC-20 dari OP Mainnet tanpa perlu pihak ketiga yang terpercaya. Mekanisme ini memungkinkan pengguna untuk menantang dan membatalkan penarikan yang tidak valid (termasuk Base, Metal, Mode, dan Zora).
Untuk memastikan keamanan dan kepercayaan aset pengguna, Optimism menggunakan proof of stake untuk memverifikasi keakuratan dan validitas transaksi on-chain, serta mencegah perilaku jahat. Prinsip kunci termasuk:
Jika terjadi ketidakcocokan antara data lapisan 2 dan lapisan 1, pihak yang bersengketa dapat menantang. Operator lapisan 2 harus menyediakan bukti untuk menyanggah tantangan dan memverifikasi kebenaran data.
1.2 Hubungan dan Perbedaan antara Stack OP dan OP Labs
OP Labs adalah tim atau organisasi yang mengembangkan solusi Optimism, OP Stack adalah kerangka teknologi untuk membangun dan memperluas jaringan lapisan 2 ETH. Hubungan antara OP Labs dan OP Stack dapat dipahami sebagai hubungan antara pengembang dan alat pengembangan.
OP Labs adalah tim atau organisasi utama yang bertanggung jawab untuk pengembangan dan pemeliharaan jaringan Optimism. Tujuan mereka adalah untuk menciptakan solusi skalabilitas yang efisien untuk Ethereum, dengan fokus pada DropPencucian Uang dan peningkatan kecepatan transaksi. Mereka tidak hanya mengembangkan Optimistic Rollups, tetapi juga mendorong pengembangan teknologi baru yang terkait dengan Zero-Knowledge Proof, seperti OP Succinct yang dikembangkan bersama Succinct Labs.
OP Stack yang dikembangkan oleh Laboratorium OP menyediakan kerangka modular untuk menyediakan infrastruktur dasar untuk membangun jaringan layer-2. Pengembang dapat menggunakan OP Stack untuk dengan cepat membuat berbagai jaringan ekstensi. Desain modular memungkinkan pengguna untuk fleksibel memilih mekanisme verifikasi yang berbeda (misalnya Optimistic Rollups atau ZK Rollups) untuk memenuhi kebutuhan berbagai proyek.
Secara mendasar, OP Labs dapat dianggap sebagai pengembang dari OP Stack, sedangkan OP Stack adalah alat teknis yang disediakan oleh OP Labs untuk membantu pengembang membangun dan memperluas jaringan lapisan 2 ETH.
Sebelum mempelajari OP Succinct secara mendalam, penting untuk memperkenalkan empat komponen utama dari setiap tumpukan OP:
1、op-geth：mengumpulkan transaksi dari pengguna dan membuat dan menjalankan Blok berdasarkan transaksi ini.
2, op-batcher: memproses transaksi pengguna secara batch dan mengirimkannya ke lapisan 1.
4、op-proposer: secara teratur mengeluarkan root output ke lapisan 1, menangkap status lapisan 2, dan mendorong penarikan.
2. Kerjasama Succinct Labs dan OP Labs Memperkenalkan Elemen ZK ke dalam OP Stack
Sumber gambar: Succinct Blog
2.1 Komponen Arsitektur OP yang Ringkas
OP Succinct dibangun di atas komponen OP Stack yang dijelaskan dalam bagian 1.2, ini adalah peningkatan ringan dari OP Stack yang memungkinkan penggunaan Blok yang diverifikasi ZK sambil tetap mempertahankan komponen lain (op-geth, op-batcher, dan op-node) tidak berubah. OP Succinct terdiri dari empat komponen utama berikut:
2.2 OP Ringkas Bagaimana cara menggabungkan ekstensi narasi Ethereum?
Karena membutuhkan banyak pengetahuan khusus dalam kriptografi, membangun zkEVM Rollups selalu menjadi tantangan. Ketika OP Labs mengembangkan OP Stack modular, mereka mengharapkan untuk mendukung berbagai mekanisme bukti. Untuk ini, mereka membuka pengembangan Kona yang menggunakan Rust untuk mengimplementasikan STF OP Stack Rollups dan akhirnya menghasilkan Zero-Knowledge Proof (ZKP) untuk OP Stack melalui program Kona dan SP1. Ini berarti, secara teori, setiap rantai OP Stack dapat ditingkatkan untuk menggunakan ZKP.
Tujuan SP1 (Succinct Processor 1) adalah memungkinkan pengembang untuk mengintegrasikan rollup Type-1 zkEVM dengan kode Rust standar secara mulus. Dengan bantuan OP Succinct, proses peningkatan dari setiap OP Stack chain yang ada ke rollup Type-1 zkEVM dapat diselesaikan dalam waktu satu jam dan memiliki keunggulan berikut:
Berdasarkan dokumen resmi GitHub, proses ini hanya memerlukan instalasi Rust, Foundry, dan Docker, untuk mengupgrade stack rollup OP apa pun menjadi rollup zkEVM Type-1 yang ada. Proses yang disederhanakan melibatkan dua langkah:
Sumber gambar: Blog Succinct - Mengupgrade OP Stack Rollup menjadi ZK Proofs
2.3 Menggunakan SP1 Reth untuk Membangun Type-1 zkEVM
Succinct meyakini bahwa masa depan EVM Rollups terletak pada penggunaan zkEVM yang ditulis dalam bahasa Rust, sehingga dapat lebih mudah dipelihara. Saat ini, OP Rollups menghadapi tiga tantangan utama: jendela anti-penipuan selama 7 hari yang panjang, kompleksitas interoperabilitas, dan dalam beberapa kasus bergantung pada mekanisme data ganda daripada bukti penipuan. Pengembangan zkEVM adalah pekerjaan jangka panjang, oleh karena itu SP1 dibuat untuk mengatasi tantangan-tantangan ini.
SP1 adalah sebuah zkVM yang high-performance dan sepenuhnya dapat disesuaikan, 100% Sumber Terbuka, yang dapat memverifikasi eksekusi program Rust (atau kompilasi LLVM) apa pun. Berdasarkan data publik, OP Succinct Stack telah berhasil berjalan di OP Mainnet, OP Sepolia, dan Base on-chain, dengan biaya bukti transaksi berkisar dari 0.01 dolar hingga 0.02 dolar (lihat tautan eksternal 3). Di masa depan, semua infrastruktur Blok, termasuk Rollups, jembatan, dan koprosesor, kemungkinan akan ditulis dengan Rust (atau bahasa kompilasi LLVM lainnya) dan memanfaatkan ZKP.
Menurut ringkasan dari blog Succinct dan konten GitHub Sumber Terbuka, keunggulan kinerja SP1 dibandingkan dengan zkVM lainnya berasal dari beberapa faktor kunci:
Sumber gambar: blog Succinct
3, Apakah OP Succinct bisa menjadi kartu truf dari OP Stack melawan ZK Stack?
Sumber gambar: @jtguibas
Jika solusi skala Ethereum untuk jangka pendek adalah OP dan jangka panjangnya adalah ZK, maka potensi kesuksesan OP Succinct bisa menjadi tonggak penting dalam pengembangan Ethereum. OP Succinct menyediakan jalur upgrade untuk Rollups ETH dari verifikasi optimis ke Zero-Knowledge Proof (ZKP). Perubahan ini tidak hanya menurunkan biaya transaksi, tetapi juga meningkatkan kecepatan transaksi, sambil mempertahankan keamanan dan privasi ZK Rollups, membuka kemungkinan baru untuk ekspansi Layer Aplikasi di masa depan.
Dalam empat solusi Layer 2 yang dikenal secara umum, saat ini OP Stack tampaknya lebih unggul dalam pembangunan ekosistem daripada ZK Stack, efek Matthew mungkin akan lebih jelas di masa depan, bergabungnya OP Succinct mungkin akan mengambil sebagian lalu lintas dan potensi ZK Stack, jika OP Succinct berhasil, bahkan mungkin menantang Rollups berbasis zkEVM tradisional.
Namun, dari logika operasional yang saat ini diajukan, muncul satu masalah kunci: bagaimana pengembang memastikan deteksi tepat waktu terhadap risiko sistem yang disebabkan oleh modifikasi fungsi transisi status (STF) atau penambahan kerentanan yang tidak diketahui pada waktu kompilasi baru? Ini adalah area yang layak untuk diikuti dalam jangka panjang.