Ziren Advances Toward BitVM3 Mainnet
ZKM announced that Ziren, the universal proving toolstack used by GOAT Network's BitVM3 implementation, has completed a Veridise audit and is undergoing a second audit by Consensys Audits ahead of the planned BitVM3 mainnet launch.
The proofs at the center of GOAT BitVM3 are generated by Ziren. After completing a full audit by @VeridiseInc, Ziren is now under a second audit by @ConsensysAudits. GOAT BitVM3 mainnet soon.
— ZKM (@ProjectZKM) July 22, 2026