Etter hvert som vi fortsetter å utvide den formelle verifiseringsdekningen på kretsene våre, har vi identifisert og fikset en annen feil. Denne feilen ble identifisert av Picus fra @VeridiseInc. Problemet er rettet, og alle partnere er overført til 2.2.0 eller nyere av risc0-zkVM. RISC Zero er fortsatt forpliktet til å tilby det høyeste nivået av åpenhet, proaktiv sikkerhet og integritet.
9,49K