Ist es schwer? Ja Unsere Soundness-Bugs sind verheerend? Ja Sind wir uns näher, als Sie vielleicht denken? Ja Von Tag 1 an, ja, am selben Tag, an dem wir unser Proof-System veröffentlicht haben, begannen @RiscZero den langen Prozess der formellen Verifizierung unseres zkVM. Vor kurzem haben wir "Picus" auf den Markt gebracht, das den Determinismus in unseren Schaltkreisen während der CI mathematisch beweist! Dies ist die Ursache für 96% der Soundness-Bugs in ZK-Systemen (Per ZK-Security). Diese Anstrengung und einige mehr, an denen wir arbeiten, zeigen, dass wir schneller zu einem nachweislich soliden RISC-V zkVM kommen können, als die meisten denken.