Kami membangun zkVM berbasis grafik di atas sistem @ziskvm. Tujuan kami: memikirkan kembali arsitektur pembuktian dari prinsip pertama untuk membuka kinerja, portabilitas, dan keamanan yang lebih baik. 🧵

Pembuktian ZKP memasuki era "speed-first". Hampir setiap pembuktian sekarang mendukung akselerasi GPU (CUDA, Logam, dll.). Tetapi arsitektur di balik pembongkaran perangkat keras sama pentingnya dengan perangkat keras mentah.

Ada dua pendekatan utama saat ini: - Mode HAL: panggilan fungsi yang sama, backend perangkat keras yang berbeda. - Mode Grafik: mengkodekan seluruh proses pembuktian sebagai grafik komputasi, lalu mengoptimalkan dan mengkompilasi per platform.

Perpecahannya jelas: - Sistem AI → Mode Grafik - Sebagian besar pemprobor ZKP → Mode HAL (untuk alasan historis, CPU-first) HAL nyaman, tetapi menyembunyikan struktur komputasi global.

Mode Grafik membuat seluruh pembuktian eksplisit dan dapat diperiksa, memungkinkan pengoptimalan yang lebih dalam, eksekusi lintas platform, dan keamanan & auditabilitas yang lebih kuat. Dalam posting mendatang, kami akan membagikan bagaimana desain ini membentuk zkVM berbasis grafik kami dan apa yang dibukanya. ⚡️