RISC Zero (@risczero) 's Twitter Profile
RISC Zero

@risczero

Building high-performance ZK systems to power the next era of computing.

Building @boundless_xyz

ID: 1485768979935219712

linkhttps://linktr.ee/risczero calendar_today25-01-2022 00:20:29

2,2K Tweet

43,43K Takipçi

366 Takip Edilen

RISC Zero (@risczero) 's Twitter Profile Photo
RISC Zero
@risczero

a month ago

As we continue to extend the formal verification coverage on our circuits, we have identified and fixed another bug. This bug was identified by Picus from Veridise. The issue has been patched and all partners have been migrated over to 2.2.0 or later of risc0-zkVM. RISC