Saat ini salah satu tantangan inti industri adalah batasan kemampuan komputasi yang melekat. Untuk memastikan desentralisasi dan keamanan, semua node jaringan harus menjalankan perhitungan yang sama secara berulang, yang mengakibatkan biaya tinggi dan efisiensi rendah.

—————————————————————————

Untuk menyelesaikan kontradiksi ini, @brevis_zk memposisikan dirinya sebagai lapisan komputasi tak terbatas, bertujuan untuk menyediakan daya komputasi melalui metode komputasi yang dapat diverifikasi dengan "perhitungan di luar rantai, verifikasi di dalam rantai", sambil mempertahankan keamanan tanpa kepercayaan.

Inti dari Brevis adalah "perhitungan yang dapat diverifikasi", yang memisahkan proses perhitungan dari proses verifikasi. Tugas perhitungan yang berat dijalankan di luar rantai dan menghasilkan bukti ZK yang ringkas, sementara kontrak pintar di dalam rantai hanya perlu memverifikasi kebenaran bukti tersebut dengan biaya yang sangat rendah, tanpa perlu mengulang seluruh proses perhitungan.

Dalam proses implementasi, Brevis terutama mengadopsi arsitektur campuran yang unik, yang mencakup dua modul inti yaitu Pico zkVM dan zkCoprocessor.

Pico zkVM (Virtual Machine Nol Pengetahuan Umum)

Mesin komputasi yang umum, mampu menghasilkan bukti ZK untuk proses eksekusi program apa pun. Pengembang, bahkan yang tidak memahami kriptografi, dapat membangun lingkungan aplikasi ZK. Pico zkVM mengadopsi desain yang sangat modular, memungkinkan koneksi ke ko-prosesor eksternal untuk mempercepat tugas tertentu.

zkCoprocessor (ZK data kolaboratif)

Koprosesor yang dirancang khusus untuk skenario data blockchain. Kontrak pintar itu sendiri tidak dapat mengakses atau menghitung status historis secara langsung. zkCoprocessor membaca dan mengagregasi data historis (seperti transaksi pengguna, saldo, posisi, dll) di luar rantai, dan menghasilkan bukti untuk membuktikan keaslian data tersebut.

Arsitektur "zkVM umum + prosesor ko-prosesor khusus" menggabungkan fleksibilitas dan kinerja tinggi, memungkinkan @brevis_zk untuk menangani berbagai tugas mulai dari analisis data DeFi hingga verifikasi algoritma kompleks dengan efisien.

Dengan peningkatan kinerja Pico zkVM yang terus menerus dan perluasan skenario aplikasi zkCoprocessor, Brevis sedang dalam perjalanan dari yang dapat diskalakan menuju yang dapat diverifikasi.