Je to těžké? Ano Naše chyby zdraví jsou zničující? Ano Jsme blíž, než si možná myslíte? Ano Od prvního dne, ano, ve stejný den, kdy jsme vydali náš důkazní systém, @RiscZero zahájili dlouhý proces formálního ověření našeho zkVM. Nedávno jsme spustili "Picus", který matematicky dokazuje determinismus v našich obvodech během CI! To je příčinou 96 % chyb v oblasti soundness v systémech ZK (podle ZK-Security). Toto úsilí a některé další, na kterých pracujeme, ukazují, že se můžeme dostat k prokazatelně zdravému RISC-V zkVM rychleji, než si většina myslí.