Ottimo lavoro! La solidità di zkVM è un argomento molto importante. La trasparenza su di esso è la strada da seguire.
RISC Zero
RISC Zero5 ago, 06:55
Mentre continuiamo ad estendere la copertura della verifica formale sui nostri circuiti, abbiamo identificato e risolto un altro bug. Questo bug è stato identificato da Picus di @VeridiseInc. Il problema è stato corretto e tutti i partner sono stati migrati alla versione 2.2.0 o successiva di risc0-zkVM. RISC Zero rimane impegnato a fornire il massimo livello di trasparenza, sicurezza proattiva e integrità.
1,53K