Apa perbedaan antara model "perhitungan off-chain dan verifikasi on-chain" dari Brevis?

Penulis: Blue Fox Notes; Sumber: X, @lanhubiji

Melihat Vitalik menyebutkan Brevis, tampaknya sangat memperhatikan perluasan L1. Dalam peta jalan Ethereum, ada konsep: “perhitungan di luar rantai, verifikasi di dalam rantai”, Eigenlayer, Succinct, dan Zksync memiliki pemikiran serupa, menunjukkan bahwa ada konsensus di industri bahwa untuk benar-benar memperluas L1 secara terdesentralisasi, kita dapat memanfaatkan keunggulan di luar rantai; Brevis juga menggunakan pola ini, lalu apa yang berbeda dari Brevis?

Apa itu model “perhitungan off-chain dan verifikasi on-chain”? Untuk memudahkan pemahaman bagi lebih banyak pengguna biasa, kita bisa menggunakan perumpamaan sederhana, “perhitungan off-chain dan verifikasi on-chain” dapat dipandang sebagai mengkonsolidasikan fakta-fakta off-chain (hasil perhitungan atau data) menjadi sebuah bukti atau ringkasan yang ringkas, kemudian diverifikasi di on-chain. Dalam beberapa hal, pemikirannya mirip dengan L2 Rollup di tingkat abstraksi, di mana L2 Rollup mengemas beberapa transaksi menjadi satu batch, yang kemudian diserahkan ke L1 untuk diverifikasi dan dieksekusi. Meskipun mekanisme spesifiknya berbeda, ini membantu memahami filosofi desain ZkVM Brevis: “konsolidasi dan verifikasi”. Melalui matematika, sejumlah besar pekerjaan perhitungan off-chain dikompresi menjadi informasi kecil, memungkinkan pemrosesan yang efisien di on-chain yang mahal dan memiliki throughput rendah, sehingga mengatasi masalah skalabilitas blockchain.

Mekanisme inti Brevis adalah melakukan perhitungan efisien di luar rantai, menghasilkan bukti ZK, kemudian menyelesaikan verifikasi di dalam rantai dengan biaya rendah dan cepat, tanpa perlu menjalankan kembali seluruh perhitungan kompleks. Ini bukan hal baru, tetapi perbedaan Brevis adalah:

Kombinasi antara Universalitas dan Optimasi Khusus

Tumpukan teknologi Brevis adalah desain modular, di mana Pico zkVM adalah mesin perhitungan yang dapat diverifikasi secara umum, mendukung generasi bukti ZK untuk perhitungan apa pun. Pengembang menulis kode dengan Rust tanpa memerlukan pengetahuan khusus ZK, platform secara otomatis menangani generasi bukti, mengurangi hambatan bagi pengembang untuk membangun aplikasi kriptografi yang kompleks (teknologi mengabstraksi kompleksitas ZK, memungkinkan pengembang membangun aplikasi seperti menulis kode biasa). Arsitektur modularnya mendukung penambahan koprosesor tertentu, selain penyelesaian umum, ia juga dapat mengoptimalkan perhitungan kompleks untuk skenario tertentu, mencapai peningkatan yang lebih terarah.

Ini memiliki prosesor protokol bawaan yang disebut ZK Data Coprocessor, dirancang untuk analisis data sejarah blockchain, dapat menyelesaikan masalah “amnesia” kontrak pintar (tidak dapat mengakses data sejarah dengan murah). Ini di

Pencarian dan analisis data di luar rantai, menyediakan hasil dan bukti, memastikan keberadaan data dan keakuratan perhitungan. Misalnya, pancakeswap dapat menggunakan Brevis hook untuk memberikan diskon biaya berdasarkan volume transaksi pengguna; uniswap menggunakan Brevis untuk pengembalian gas. Mereka mengimplementasikan fungsi kompleks melalui zK Data Coprocessor sambil menghemat biaya yang signifikan.

Menyediakan “Akselerator” untuk Ethereum L1

Pico Prism adalah salah satu teknologi kunci dari Brevis, yang memiliki terobosan dalam kluster GPU multi-server, mendukung “bukti waktu nyata” untuk Ethereum L1. “Bukti waktu nyata” ini dapat dipahami sebagai setiap blok Ethereum L1 (satu halaman catatan transaksi) dapat dikonfirmasi dengan benar dalam hitungan detik dengan “stempel” kriptografi, sehingga semua orang tidak perlu menghitung ulang untuk memverifikasi keandalan.

Menurut standar kerangka bukti waktu nyata Ethereum Foundation saat ini, untuk blok L1 saat ini dengan batas 45M gas, mencapai 99.6% cakupan (\u003c12 detik bukti), 96.8% cakupan waktu nyata (\u003c10 detik); waktu bukti rata-rata untuk blok 36M gas adalah 6.04 detik, untuk blok 45M gas adalah 6.9 detik; perangkat keras menggunakan 64 RTX 5090 GPU, biaya 128K dolar.

Data di atas terlihat sangat profesional, tetapi bagi pengguna biasa, data ini mungkin tidak berarti.

Untuk pemahaman yang sederhana, dapat disamakan bahwa Pico Prism adalah akselerator yang dipasang pada Ethereum L1. Sebelumnya, Ethereum memerlukan semua node untuk menghitung ulang setiap blok, tetapi dengan teknologi seperti Pico Prism, ini berarti bahwa ia dapat “mengonsentrasikan” (menghasilkan bukti dengan cepat, meringkas secara super), sehingga jaringan hanya memerlukan beberapa detik untuk memverifikasi, tanpa harus menghitung ulang di setiap node. Dengan kata lain, ini berarti Ethereum L1 akan menjadi lebih cepat, lebih murah, dan lebih efisien, serta dapat menangani implementasi yang lebih kompleks, tanpa mengorbankan desentralisasi dan keamanan. Jika Ethereum sebelumnya dapat disamakan dengan sepeda tua, maka dengan teknologi Pico Prism dari Brevis, Ethereum telah ditingkatkan menjadi mobil.

Efek percepatan ini dapat membuka lebih banyak skenario, seperti peminjaman DeFi yang didorong oleh AI secara real-time, permainan di blockchain, pemungutan suara anonim, dan lain-lain.

Skenario DeFi: Di masa lalu, kontrak pintar di Ethereum L1 hanya dapat melihat saldo untuk meminjam uang, tidak dapat menganalisis tingkat stabilitas pengguna berdasarkan data transaksi historis pengguna (karena analisis data historis yang besar tidak dapat dilakukan), dengan adanya akselerator ini, dapat mendukung analisis real-time data historis yang besar di L1 (bukti dalam beberapa detik), sehingga dapat membangun “robot peminjaman AI”. Kontrak akan menghasilkan skor kredit berdasarkan riwayat transaksi DeFi pengguna dan memberikan suku bunga yang dipersonalisasi. Selain itu, untuk skenario frekuensi tinggi, seperti pinjaman kilat, meminjam/berinvestasi/membayar kembali dilakukan dalam satu blok, AI mengoptimalkan jalur secara real-time, menghindari kerugian “slippage”. Mirip dengan Robinhood terdesentralisasi. Selain itu, juga dapat melakukan lelang frekuensi tinggi, yang dapat menyelesaikan ratusan hingga ribuan tawaran per menit.

Permainan di blockchain: Sebelumnya L1 ingin membangun permainan multipemain (seperti Axie Infinity di blockchain), konfirmasi blok setiap 12 detik, pemain mengalami lag, biaya meningkat; melalui Pico Prism mendukung permainan “simulasi waktu nyata”, server di luar blockchain menghitung kerusakan dan nilai lainnya, setiap putaran menyelesaikan dengan bukti ZK ke L1, mensimulasikan permainan “waktu nyata” untuk mewujudkan pengalaman bermain yang lebih baik.

Skenario pemungutan suara di blockchain anonim: Saat ini, pemungutan suara L1 bersifat transparan, mudah dilacak atau dimanipulasi, serta biaya statistik yang kompleks tinggi dan kecepatannya lambat. Dengan menggunakan Pico Prism untuk mewujudkan “perhitungan privasi pengetahuan nol”, aplikasi privasi frekuensi tinggi dapat dijalankan di L1, memungkinkan pemungutan suara anonim frekuensi tinggi untuk tata kelola DAO, dengan hasil yang diperoleh secara real-time.

Apa arti dari skenario di atas bagi Ethereum, dapat membuka lebih banyak DeFi dan aplikasi lainnya, membawa lebih banyak aset ke L1, membawa lebih banyak transaksi dan likuiditas, serta meningkatkan aktivitas.

Mengenai skenario apa yang dapat muncul di masa depan, masih perlu diuji dalam praktik konkret.

Langkah demi langkah

Menurut data publik, Brevis sedang dalam tahap penerapan bertahap, di mana telah dihasilkan 147,5 juta bukti ZK; pengguna independen mencapai lebih dari 190.000; mendukung 5 blockchain; lebih dari 20 mitra utama (seperti Metamask, Linea, dll.), saat ini telah diintegrasikan ke dalam aplikasi yang sudah berjalan, seperti melalui teknologi Brevis, Platform Incentra memberikan penghargaan tahunan; PancakeSwap menerapkan diskon berdasarkan volume transaksi dan data lainnya; Linea mendistribusikan 1 miliar token LINEA berdasarkan kontribusi pengguna, dll.