TL;DR

Fitur utama yang disediakan oleh ●OP Succinct adalah mengintegrasikan ZKP ke dalam arsitektur modular OP Stack untuk mengubah OP Stack Rollup menjadi ZK Rollup yang sepenuhnya diverifikasi;

Jika tujuan akhir perluasan Ethereum adalah mengubah setiap Rollup menjadi ZK Rollup, tujuan OP Succinct adalah menggabungkan Rust dan SP1 untuk menerapkan penyebaran OP Stack Type-1 zkEVM (sepenuhnya setara dengan Ethereum)

●OP Succinct Proposer utamanya menyelesaikan pembuatan bukti paralel dan agregasi serta verifikasi bukti.

Saat ini, sistem OP Stack bergantung pada “jendela anti-penipuan 7 hari”, yang akan memperpanjang verifikasi transaksi selama seminggu jika terjadi kontroversi. OP Succinct menggunakan bukti ZK untuk mempercepat waktu penyelesaian transaksi, menghilangkan kebutuhan untuk memperluas jendela anti-penipuan.

●OP Succinct dapat mengurangi Biaya Transaksi secara signifikan.

1. Tinjauan Terbaru: Perkembangan OP Mainnet dan OP Stack serta OP Labs

Sumber gambar: Blockscout

1.1 Poin-Poin Perkembangan Terbaru OP Mainnet

Pada 30 Maret 2024, OP Labs merilis ‘Proof of Failure’ di jaringan pengujian OP Sepoila, dan secara resmi merilis Proof of Failure di OP Mainnet pada 11 Juni 2024, untuk mendorong Desentralisasi ke tahap pertama. Ini memungkinkan pengguna untuk menarik ETH dan Token ERC-20 dari OP Mainnet, tanpa memerlukan pihak ketiga yang dapat dipercaya, sehingga pengguna dapat mempertanyakan dan menghapus penarikan yang tidak valid (termasuk Base, Metal, Mode, dan Zora).

Untuk memastikan keamanan dan kepercayaan aset pengguna, Optimism menggunakan bukti kesalahan untuk meningkatkan akurasi dan efektivitas transaksi on-chain serta mencegah perilaku jahat, prinsipnya termasuk:

● Ketersediaan data: Bukti kegagalan pertama-tama memastikan bahwa semua data di Layer-2 dapat diakses dan dapat diverifikasi oleh Layer-1;

● Periode Tantangan: Dalam periode tantangan yang ditentukan, siapa pun dapat mempertanyakan data di Layer-2.

Jika seseorang menemukan data Layer-2 tidak konsisten dengan data Layer-1, mereka dapat menantangnya. Bukti yang diajukan: Jika ada perselisihan, operator Layer-2 harus mengajukan bukti untuk membantah perselisihan tersebut, membuktikan kebenaran data mereka; Keputusan akhir: Jika tidak ada perselisihan yang valid selama periode penantangan, atau operator Layer-2 berhasil membantah perselisihan tersebut, transaksi akan akhirnya ditentukan dan dianggap 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 teknologi untuk membangun dan memperluas jaringan tingkat kedua ETH. Hubungan antara OP Labs dan OP Stack dapat dipahami sebagai hubungan antara pengembang dan alat pengembangan mereka.

● OP Labs:

OP Labs adalah kontributor inti proyek Optimism, bertanggung jawab untuk mengembangkan dan memelihara solusi lapisan kedua Optimism. Ini adalah tim atau organisasi yang fokus pada membangun dan meningkatkan alat teknologi terkait perluasan ETH, seperti Optimistic Rollups. Tujuan utama OP Labs adalah mengurangi beban ETH Mainnet melalui solusi perluasan lapisan kedua, serta meningkatkan kecepatan transaksi. OP Labs juga bekerja sama dengan proyek lain, seperti Succinct Labs, untuk lebih memajukan teknologi perluasan ETH, seperti OP Succinct, yang berfokus pada optimalisasi Zero-Knowledge Proof.

OP Labs adalah tim atau organisasi utama yang mengembangkan dan memelihara jaringan Optimism. Mereka bertujuan untuk membangun solusi skalabilitas Ethereum yang efisien, fokus pada DropPencucian Uang dan meningkatkan kecepatan transaksi. Mereka tidak hanya bertanggung jawab atas pengembangan Optimistic Rollups, tetapi juga aktif mendorong teknologi baru terkait Zero-Knowledge Proof, seperti kerjasama dengan Succinct Labs OP Succinc.

● Tumpukan OP:

OP Stack adalah arsitektur modular atau tumpukan teknologi yang digunakan untuk membangun dan memperluas jaringan Layer 2 Ethereum (ETH). Ini terdiri dari beberapa komponen yang dapat disesuaikan, yang memungkinkan pengembang membangun rantai Layer 2 mereka sendiri sesuai dengan kebutuhan spesifik. Ini menyediakan cara standar bagi pengembang untuk dengan cepat membangun jaringan ekstensi Layer 2 yang memenuhi syarat khusus.

OP Stack adalah kerangka modular yang dikembangkan oleh OP Labs. Kerangka ini menyediakan infrastruktur dasar untuk membangun jaringan tingkat kedua, di mana pengembang dapat dengan cepat membangun berbagai jaringan ekstensi menggunakan OP Stack. Dengan desain modular OP Stack, pengguna dapat memilih mekanisme validasi yang berbeda (seperti Optimistic Rollups atau ZK Rollups) sesuai dengan kebutuhan proyek yang berbeda.

OP Labs dapat dipahami sebagai pengembang OP Stack, di mana OP Stack adalah alat teknologi yang disediakan oleh OP Labs untuk membantu pengembang membangun dan memperluas jaringan lapis kedua Ethereum.

**Sebelum memahami OP Succinct, penting untuk memahami empat komponen utama dari setiap tumpukan OP:**1. op-geth: Mengambil transaksi dari pengguna dan menggunakan transaksi ini untuk menghasilkan Blok dan menjalankan Blok;2. op-batcher: Memproses transaksi pengguna secara batch dan mengirimkannya ke L1; 3. op-node: Membaca data batch dari L1 dan menggerakkan op-geth untuk melakukan perubahan status dalam mode non-sorter; 4. op-proposer: secara teratur mengirimkan root output ke L1 untuk menangkap status L2, sehingga memudahkan penanganan penarikan.

二、Succinct Labs dan OP Labs bekerja sama untuk menggabungkan elemen ZK ke dalam OP Stack

Sumber Gambar: Blog Succinct

2.1 Komponen Arsitektur Ringkas OP

Berdasarkan konten di akhir bagian 1.2 sebelumnya ‘Empat Bagian Utama Tumpukan OP’, OP Succinct adalah upgrade ringan dari OP Stack, memungkinkan rantai untuk menggunakan Blok yang diverifikasi ZK, sementara mempertahankan tiga komponen lainnya (op-geth, op-batcher, dan op-node) tidak berubah, OP Succinct terutama terdiri dari empat bagian berikut:

● Program Rentang: Ini adalah program yang menjalankan batch Blok, ditulis dalam Rust, dan dirancang untuk dieksekusi di zkVM;

● Program Agregasi: bukti program agregasi, memverifikasi biaya on-chain dengan Dropon-chain, program ini juga ditulis dengan Rust, dirancang untuk dieksekusi dalam zkVM;

● OP Succinct L2 Output Oracle.：Sebuah Smart Contract Solidity yang berisi array output status L2, di mana setiap output merupakan komitmen terhadap status rantai L2. Kontrak ini sudah ada dalam sistem asli Optimism, tetapi telah dimodifikasi untuk menggunakan proof of validation sebagai mekanisme otentikasi;

● OP Succinct Proposer: Memantau batch transaksi yang dipublikasikan di L1, dan mengendalikan bukti dari program rentang dan program agregasi.

2.2 OP Succinct menjelaskan tentang narasi peningkatan skala Ethereum?

zkEVM Rollup karena pengetahuan kriptografi yang mendalam, sangat sulit untuk dikonstruksi. Tim OP Labs mempertimbangkan dukungan berbagai mekanisme validitas dalam membangun tumpukan OP modular saat mengembangkan Kona (lihat tautan eksternal 1) menggunakan Rust untuk mengimplementasikan fungsi transisi status (STF) di bawah OP Stack Rollup, dan akhirnya menggunakan program Kona dan SP1 untuk menghasilkan Bukti Pengetahuan Nol (ZKP) OP Stack, yang secara teoritis dapat meningkatkan semua rantai OP Stack dan dapat menggunakan ZKP.

Tujuan SP1 (Succinct Processor 1) adalah untuk memungkinkan pengembang mengintegrasikan rollup Type-1 zkEVM dengan kode Rust standar secara mulus, dan menyelesaikannya hanya dengan OP Succinct, tanpa hambatan apa pun. 01928374656574839201 Dalam waktu 1 jam, OP Stack yang ada dapat ditingkatkan menjadi Type-1 zkEVM rollup tanpa gangguan dan memberikan kinerja tinggi yang dibutuhkan oleh aplikasi. Dengan ini, Anda akan mendapatkan keuntungan berikut:

● Konfirmasi ZKP yang cepat: memungkinkan bukti latensi dipersingkat menjadi beberapa puluh menit, untuk ‘menggantikan’ periode pertanyaan bukti penipuan yang berlangsung selama 7 hari;

● Menurunkan biaya dan meningkatkan efisiensi: Biaya rata-rata setiap transaksi bisa mencapai beberapa sen saja;

● Mengubah tumpukan OP menjadi ZK: Hanya perlu mendeploy satu Smart Contract dan memulai layanan proposal OP Succinct yang ringan (lihat di bawah) untuk menghasilkan bukti melalui panggilan API (termasuk prosesor batch/sorter, op-node, indexer, dan lainnya);

● zkEVM tipe-1: Semua alat dan Smart Contract yang kompatibel dengan OP Stack Rollup dapat digunakan dengan OP Succinct Rollup;

● Meningkatkan skalabilitas: Mengadopsi OP Succinct rollup yang dapat disesuaikan, dapat menambahkan prakompilasi baru dan mengubah logika Rollup.

Menurut GitHub resmi, prosesnya hanya memerlukan instalasi Rust, Foundry, dan Docker, sehingga Anda dapat mengupgrade stack rollup OP apa pun yang ada ke rollup zkEVM Tipe-1, dan prosesnya hanya disederhanakan menjadi dua langkah: 1. Deploy kontrak ZK L2OutputOracle.sol; 2. Mulai layanan proposal ringkas OP (lihat prosesnya di Tautan Ekstensi GitHub 2).

Upgrade OP Stack Rollup menjadi bukti ZK, sumber gambar: Blog Succinct

2.3 Menggunakan SP1 Reth untuk membangun Type-1 zkEVM

Succinct meyakini bahwa masa depan EVM Rollup adalah zkEVM yang dapat dipelihara yang ditulis dalam bahasa Rust, saat ini OP Rollup menghadapi tiga masalah utama: jendela bukti penipuan selama 7 hari yang terlalu panjang, kompleksitas interoperabilitas, dan dalam beberapa kasus bergantung pada mekanisme bukan bukti penipuan dari beberapa set data. Selain itu, pembuatan zkEVM adalah proses yang memerlukan waktu yang cukup lama, oleh karena itu SP1 dikembangkan untuk mengatasi masalah-masalah ini.

SP1 adalah zkVM yang sangat efisien dan sepenuhnya disesuaikan dengan Sumber Terbuka 100%, yang dapat memverifikasi eksekusi program Rust (atau bahasa kompilasi LVM) apa pun. Menurut data publik, OP Succinct Stack telah berjalan dengan sukses di OP Mainnet, OP Sepolia, dan Base on-chain, serta mencapai biaya bukti sebesar 0,01-0,02 dolar AS dalam transaksi Ethereum (lihat tautan eksternal 3). Harapannya adalah di masa depan semua infrastruktur Blockchain (termasuk Rollup, jembatan, coprocessor, dll.) akan ditulis dalam Rust (atau bahasa yang dikompilasi dengan LLVM lainnya) dan memanfaatkan ZKP.

Menurut ringkasan dari blog Succinct dan konten Sumber Terbuka di GitHub, perbedaan kinerja antara SP1 dan zkVM lainnya terutama disebabkan oleh beberapa faktor kunci:

1. Arsitektur Berbasis Pra-Kompilasi: SP1 mendukung sistem pra-kompilasi yang fleksibel, yang dapat secara signifikan meningkatkan kinerja berbagai operasi (seperti verifikasi tanda tangan secp256k1 dan ed25519, fungsi hash sha256 dan keccak256), mengurangi jumlah siklus RISC-V program-program tertentu sebesar 5-10 kali lipat. Tujuannya adalah memberikan kinerja yang sebanding dengan sirkuit ZK, sambil tetap menjaga fleksibilitas dan pengalaman pengembang yang baik dari zkVM;

2. Sumber Terbuka Penuh: SP1 adalah 100% Sumber Terbuka, memungkinkan tim seperti Argument dan Scroll untuk menerapkan pra-kompilasi kustom, mengurangi jumlah siklus secara signifikan, dan mempercepat waktu pembuatan bukti.

3. Standar Industri: Sejak diluncurkan, konsep prakompilasi internal zkVM telah menjadi standar industri, terintegrasi dalam proyek-proyek seperti RISC0, Valida, Nexus, dan Jolt. SP1 adalah satu-satunya zkVM siap produksi yang mendukung luas operasi enkripsi penting prakompilasi;

4. Efisiensi Baca-Tulis Memori Tinggi: SP1 menggunakan metode bukti memori inovatif dengan menggunakan tantangan tunggal untuk mencapai konsistensi memori yang berbeda, menghindari biaya yang ditimbulkan oleh penggabungan memori Merkle.

5. Optimalisasi Efisiensi Dasar: Menggunakan faktor ledakan yang lebih rendah dan parameter pencarian generasi baru (seperti LogUp berdasarkan turunan logaritma), serta varian FRI dalam Plonky3, meningkatkan efisiensi penggunaan area pelacakan.

Sumber gambar: Blog Singkat, lihat lampiran 4 untuk penjelasan lebih lanjut

三、OP Succinct dapat menjadi senjata rahasia untuk melawan ZK Stack di OP Stack?

Sumber gambar: @jtguibas

Jika skema perluasan ETH dilihat dari jangka pendek dengan OP dan jangka panjang dengan ZK, maka kita dapat menganggapnya sebagai sebuah tonggak penting dalam jalur pengembangan ETH. OP Succinct memberikan jalur peningkatan untuk ETH Rollups dari verifikasi optimis menjadi bukti Zero-Knowledge, yang tidak hanya mengurangi Biaya Transaksi, tetapi juga meningkatkan kecepatan transaksi, sambil mempertahankan keamanan dan anonimitas ZK rollups, membawa kemungkinan baru untuk ledakan Layer Aplikasi di masa depan.

Di antara empat raksasa Layer2 yang diakui publik, saat ini dari segi perkembangan ekosistem proyek, OP Stack sedikit unggul daripada ZK Stack, efek Mattheus di masa depan mungkin semakin terlihat, dengan bergabungnya OP Succinct, dalam beberapa hal juga menarik sejumlah lalu lintas dan potensi ZK Stack, jika OP Succinct dapat diwujudkan di masa depan, mungkin juga akan memberikan dampak tertentu pada Rollup zkEVM tradisional.

Namun berdasarkan konten yang saat ini diungkapkan secara publik, kita dapat dengan mudah melihat dari logika operasional OP Succinct bahwa bagaimana memastikan pengembang dapat segera menemukan risiko sistemik yang disebabkan oleh kerentanan yang tidak diketahui saat memodifikasi fungsi STF atau menambahkan fungsi pra-kompilasi baru, ini memerlukan kita untuk tetap berikuti dalam jangka panjang.