#可验证计算 - Wawancara Podcast CEO RiscZero Perkembangan AI yang pesat telah meningkatkan produktivitas, tetapi juga mengurangi biaya pemalsuan/penipuan. Lebih banyak RWA di rantai, tetapi apakah aset di rantai diverifikasi dan diaudit secara terprogram, jika tidak ada jaminan verifikasi, aset RWA ini menghadapi risiko besar, saya ingat bahwa ada gelombang audit zk aset CEX dalam 23-24 tahun, tetapi di masa depan, lebih banyak RWA di rantai, lebih banyak verifikasi aset dan audit pelacakan diperlukan. Di masa depan, verifiabilitas dan transparansi prosedural Internet akan menjadi fitur utama. Ada potensi besar bagi blockchain untuk dikombinasikan dengan AI/RWA, dan komputasi yang dapat diverifikasi adalah salah satu infrastruktur inti di sini. Dalam komputasi yang dapat diverifikasi, proyek zk @RiscZero dan @boundless_xyz mengimplementasikan komputasi yang dapat diverifikasi melalui RISC-V dan ZK VM. Perhatian dari tahun 2003 RiscZero telah berkembang dari zkvm ke zk L1 beton. Berikut adalah wawancara podcast @zeroknowledgefm dengan pendiri mereka untuk mempelajari lebih lanjut tentang tim dan pilihan teknis proyek, visi bisnis, dan banyak lagi. Wawancara ini dilakukan sebelum rilis @boundless_xyz, tetapi wawancara sebelumnya telah mengungkapkan rencana untuk L1. Bagaimana Anda mendengarkan dengan baik dalam bahasa Inggris? Dengarkan langsung aslinya: Ringkasan Wawancara: Teknologi inti Risc0 ZK VM dan RISC-V: Risc0 telah membangun VM ZK yang menjalankan kode RISC-V, yang mendukung program yang dikompilasi dalam C, C++, Rust, dan bahasa lainnya, mirip dengan mikrokontroler virtual, dengan properti pengetahuan nol (input dan program tersembunyi). RISC-V dipilih: Sangat cocok untuk implementasi di sirkuit ZK karena bersifat open source, bebas dari batasan kekayaan intelektual, sederhana dan efisien, dan memiliki pengujian kepatuhan dan dukungan model formal. Privasi dan ekstensibilitas: Mendukung bukti zero-knowledge tentang eksekusi program dan program itu sendiri, awalnya fokus pada ekstensibilitas untuk mendukung ekologi aplikasi yang kompleks, dan privasi (seperti identitas ZK) sebagai arah masa depan. Memori vs. non-deterministik: Memori direpresentasikan sebagai angka 32-bit, mengkodekan status awal melalui struktur Merkle; Permintaan data non-deterministik didukung, dan tamu (ZK VM) meminta data dari host dan memverifikasi untuk menjaga privasi. Teknologi untuk mengimplementasikan dan mempercepat penerapan STARK: Gunakan STARK untuk membuktikan struktur pengulangan, seperti langkah waktu prosesor, yang sesuai dengan model eksekusi waktu VM. Dukungan rekursif: Dalam pengembangan, validator Rust dapat dijalankan di VM ZK untuk memverifikasi bukti dan mengimplementasikan bukti inkremental (misalnya, dari blok genesis ke blok N+1). Akselerasi perangkat keras: saat ini hingga 30.000 siklus/detik pada M1 Pro, 1 juta siklus/detik untuk Logam/CUDA, dan sekitar 10 juta siklus/detik untuk GPU 3090. Sirkuit akselerator seperti SHA-256 didukung, dan domain terbatas dan akselerator analog bilangan bulat besar direncanakan akan ditambahkan di masa mendatang. Paralelisasi: Proses bukti dapat diparalelkan, cocok untuk akselerasi GPU, mengurangi latensi, dan mendukung komputasi skala besar (misalnya, eksekusi kompiler). Visi & Aplikasi Cloud 2.0: Tujuannya adalah untuk membangun cloud publik terdesentralisasi yang mendukung DeFi, game, NFT, dan aplikasi kompleks (seperti database SQL, media sosial), dan mencapai "biaya transaksi sangat rendah sehingga tidak diperlukan pengukuran". Blockchain L1: Kembangkan L1 dan gunakan ZK untuk mengoptimalkan mekanisme konsensus ("Proof of Transaction"), yang menggunakan jumlah perhitungan daripada jumlah transaksi untuk menentukan rantai terpanjang, mendukung miliaran transaksi per detik. Kasus penggunaan: Ini termasuk keamanan rantai pasokan (membuktikan bahwa biner berasal dari kode sumber yang diaudit), pelacakan aset fisik, dan banyak lagi. Ekologi dan Koneksi Ekologi Masa Depan: Direncanakan untuk berintegrasi dengan blockchain lain seperti Ethereum melalui jembatan atau validator untuk mendukung verifikasi bukti Risc0 atau menjalankan EVM di Ethereum. Peta jalan: Versi saat ini adalah open source, dan versi berikutnya (termasuk akselerasi rekursif dan GPU) akan segera menjadi open source. DevNet direncanakan akan diluncurkan pada akhir 2022 atau awal 2023, dengan pendaftaran beta dirilis melalui Twitter dan lainnya. Risc0 ada sebagai L1, apakah akan terhubung dengan jaringan atau kluster jaringan lain? Sesuatu seperti eth @VitalikButerin, @Polkadot @gavinwood, Cosmos? Brian mengatakan itu hampir pasti akan terhubung. Teknologi Risc0 dianggap sebagai alat yang dapat diterapkan secara luas. Meskipun memiliki visi L1 sendiri, ia juga ingin teknologi ini melayani ekosistem lain. Tantangan dan Refleksi tentang Kemudahan Pemrograman: Turunkan hambatan masuk bagi pengembang dengan bahasa dan rantai alat yang ada tanpa harus mempelajari bahasa atau sirkuit aritmatika baru. Prospek Akselerasi Perangkat Keras: Dalam jangka pendek, GPU dominan, karena matematika yang belum matang dan siklus pengembangan ASIC yang panjang. FPGA dan ASIC dapat digunakan di sirkuit SNARK tertentu. Persaingan & Pemosisian: Tidak seperti proyek ZK VM/EVM lainnya, Risc0 menekankan keserbagunaan dan penskalaan tingkat cloud, dengan mempertimbangkan ekosistem Ethereum dan jaringan lainnya. Risc0 memanfaatkan RISC-V dan STARK untuk membangun VM ZK guna memecahkan masalah skalabilitas sistem terdistribusi, dengan tujuan mendesentralisasi cloud publik dan mendukung komputasi skala besar yang menjaga privasi. Versi open-source saat ini tersedia, dukungan akselerasi dan rekursi GPU akan segera tersedia, dan direncanakan untuk membangun L1 dan berintegrasi dengan ekosistem lain, cocok untuk DeFi, keamanan rantai pasokan, dan skenario lainnya Wawancara lengkap: Gambar teks panjang