Budujemy oparty na grafie zkVM na systemie @ziskvm. Naszym celem jest przemyślenie architektury proverów od podstaw, aby odblokować lepszą wydajność, przenośność i bezpieczeństwo. 🧵

ZKP proving wkracza w erę „szybkości”. Prawie każdy prover teraz wspiera akcelerację GPU (CUDA, Metal itp.). Jednak architektura stojąca za odciążeniem sprzętowym ma znaczenie równie duże jak surowy sprzęt.

Dziś istnieją dwa główne podejścia: - Tryb HAL: te same wywołania funkcji, różne backendy sprzętowe. - Tryb grafu: zakoduj cały proces dowodzenia jako graf obliczeniowy, a następnie zoptymalizuj i skompiluj dla każdej platformy.

Podział jest jasny: - Systemy AI → Tryb Grafowy - Większość proverów ZKP → Tryb HAL (z powodów historycznych, priorytet CPU) HAL jest wygodny, ale ukrywa globalną strukturę obliczeń.

Tryb grafu sprawia, że cały prover jest jawny i możliwy do zbadania, co umożliwia głębszą optymalizację, wieloplatformowe wykonanie oraz silniejsze bezpieczeństwo i audytowalność. W nadchodzącym poście podzielimy się tym, jak ten projekt kształtuje nasz oparty na grafach zkVM i co to odblokowuje. ⚡️