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

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

Melihat Vitalik menyebut Brevis, tampaknya sangat memperhatikan skala L1. Dalam peta jalan Ethereum, ada sebuah konsep: “komputasi off-chain dan verifikasi on-chain”, Eigenlayer, Succinct, dan Zksync memiliki pemikiran serupa, menunjukkan adanya konsensus industri. Untuk benar-benar memperluas L1 secara terdesentralisasi, kita dapat memanfaatkan keunggulan off-chain; Brevis juga menggunakan model ini, lalu, apa yang membedakan Brevis?

Apa itu model “perhitungan off-chain dan verifikasi on-chain”? Untuk memudahkan pemahaman lebih banyak pengguna biasa, bisa diibaratkan sebagai merangkum fakta off-chain (hasil perhitungan atau data) menjadi satu bukti atau ringkasan yang sederhana, kemudian diverifikasi di on-chain. Dalam pengertian tertentu, pemikirannya mirip dengan L2 Rollup pada tingkat abstraksi, di mana L2 Rollup mengemas beberapa transaksi menjadi satu batch, yang kemudian dikirimkan ke L1 untuk diverifikasi dan dieksekusi. Meskipun mekanisme spesifiknya berbeda, ini membantu memahami filosofi desain ZkVM Brevis: “merangkum dan memverifikasi”. Melalui matematika, banyak pekerjaan perhitungan off-chain dikompresi menjadi informasi kecil, sehingga memungkinkan pemrosesan yang efisien di on-chain yang mahal dan memiliki throughput rendah, sehingga menyelesaikan masalah skalabilitas blockchain.

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

Kombinasi antara Universalitas dan Optimasi Khusus

Tumpukan teknologi Brevis dirancang secara modular, di mana Pico zkVM merupakan mesin perhitungan yang dapat diverifikasi secara umum, mendukung generasi bukti ZK untuk setiap perhitungan. Pengembang menulis kode menggunakan Rust, tanpa perlu pengetahuan khusus ZK, platform secara otomatis menangani generasi bukti, menurunkan hambatan bagi pengembang untuk membangun aplikasi kriptografi yang kompleks (teknologi ini mengabstraksikan kompleksitas ZK, memungkinkan pengembang membangun aplikasi seolah-olah mereka 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 terfokus.

Ini memiliki prosesor pengolahan 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). Itu di

Mencari dan menganalisis data di luar rantai, menyediakan hasil dan bukti, memastikan keberadaan data dan kebenaran 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 banyak biaya.

Menyediakan “Akselerator” untuk Ethereum L1

Pico Prism adalah salah satu teknologi kunci dari Brevis, yang telah melakukan 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 kebenarannya dalam beberapa detik dengan “stempel” kriptografi, sehingga semua orang tidak perlu menghitung ulang untuk memverifikasi keandalannya.

Berdasarkan standar kerangka bukti waktu nyata Ethereum Foundation saat ini, untuk blok L1 saat ini dengan batas 45M gas, mencapai 99,6% tingkat cakupan (\u003c12 detik bukti), 96,8% tingkat cakupan waktu nyata (\u003c10 detik); rata-rata waktu bukti untuk blok 36M gas adalah 6,04 detik, blok 45M gas adalah 6,9 detik; perangkat keras terdiri dari 64 RTX 5090 GPU, dengan biaya 128K dolar.

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

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

Efek percepatan ini dapat membuka lebih banyak skenario, seperti peminjaman DeFi yang didorong oleh AI secara waktu nyata, permainan di blockchain, pemungutan suara anonim, dan sebagainya.

Skenario DeFi: Sebelumnya, kontrak pintar di Ethereum L1 hanya bisa 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 data historis yang besar secara real-time di L1 (bukti dalam hitungan detik), sehingga dapat membangun “robot pinjaman AI”. Kontrak berdasarkan riwayat transaksi DeFi pengguna, menghasilkan skor kredit, dan memberikan suku bunga yang dipersonalisasi. Selain itu, untuk skenario frekuensi tinggi, seperti pinjaman kilat, meminjam/berinvestasi/membayar kembali semua dilakukan dalam satu blok, AI mengoptimalkan jalur secara real-time, menghindari kerugian “slippage”. Mirip dengan Robinhood yang terdesentralisasi. Selain itu, juga dapat dilakukan lelang frekuensi tinggi, dengan ratusan hingga ribuan penawaran dapat diselesaikan dalam satu menit.

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

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

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

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

Melaksanakan Secara Bertahap

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