Mentre i zkVM (macchine virtuali a conoscenza zero) consentono alle applicazioni ZK di saltare l'audit dei loro circuiti personalizzati tramite un ambiente di prova standardizzato, il zkVM stesso richiede un audit rigoroso per la sicurezza di solidità e completezza. In Ziren di @ProjectZKM, l'audit con @VeridiseInc ha affrontato questi rischi, fornendo sicurezza provata. Gli elementi chiave includevano: > Solidità dei vincoli: Verifica formale con strumenti come Picus di Veridise per garantire determinismo e applicazione precisa del modello di esecuzione MIPS, allineando i calcoli con le prove e risolvendo ambiguità nella memoria, nelle syscalls e nella generazione di tracce. > Test di fuzzing: Fuzzing estensivo e stress testing dei percorsi di esecuzione per confermare la stabilità contro programmi avversari o malformati. Questo rappresenta un traguardo significativo e rimaniamo impegnati a raggiungere una sicurezza dimostrabile per l'intero zkVM in futuro.