Ini hampir seperti Uber untuk bukti nol-pengetahuan: aplikasi adalah penumpang, penyedia adalah pengemudi, dan jaringan memastikan semua orang bermain dengan adil.
SP1 — zkVM
Sekarang, mari kita bicarakan tentang SP1. Ini adalah zkVM milik Succinct (mesin virtual zero-knowledge). Jika Anda belum pernah berurusan dengan salah satunya sebelumnya, bayangkan ini sebagai komputer prover yang dapat menjalankan kode normal (seperti program Rust) tetapi kemudian juga menghasilkan bukti yang membuktikan bahwa ia menjalankan kode itu dengan benar. Apa yang saya suka di sini adalah bahwa SP1 tidak terkunci di balik beberapa bahasa pemrograman khusus, Anda bisa menggunakan Rust dengan pustaka standar. Jika Anda seorang pengembang, itu adalah hal besar karena Anda tidak perlu mempelajari sistem asing. Mereka bahkan memiliki dukungan GPU untuk mempercepat pembuktian, jadi ini bukan hanya teori tetapi benar-benar praktis.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Ini hampir seperti Uber untuk bukti nol-pengetahuan: aplikasi adalah penumpang, penyedia adalah pengemudi, dan jaringan memastikan semua orang bermain dengan adil.
SP1 — zkVM
Sekarang, mari kita bicarakan tentang SP1. Ini adalah zkVM milik Succinct (mesin virtual zero-knowledge). Jika Anda belum pernah berurusan dengan salah satunya sebelumnya, bayangkan ini sebagai komputer prover yang dapat menjalankan kode normal (seperti program Rust) tetapi kemudian juga menghasilkan bukti yang membuktikan bahwa ia menjalankan kode itu dengan benar.
Apa yang saya suka di sini adalah bahwa SP1 tidak terkunci di balik beberapa bahasa pemrograman khusus, Anda bisa menggunakan Rust dengan pustaka standar. Jika Anda seorang pengembang, itu adalah hal besar karena Anda tidak perlu mempelajari sistem asing. Mereka bahkan memiliki dukungan GPU untuk mempercepat pembuktian, jadi ini bukan hanya teori tetapi benar-benar praktis.
$PRO
{future}(PROVEUSDT)