Vzhledem k tomu, že pokračujeme v rozšiřování pokrytí formálního ověřování na našich okruzích, identifikovali jsme a opravili další chybu. Tuto chybu identifikoval Picus z @VeridiseInc. Problém byl opraven a všichni partneři byli převedeni na verzi risc0-zkVM 2.2.0 nebo novější. RISC Zero je i nadále odhodlán poskytovat nejvyšší úroveň transparentnosti, proaktivního zabezpečení a integrity.