Computing on Bitcoin 66 #04 - ZeroSync’s BitVM2 Implementation Passes Full Zellic Audit

« Newsletters «Computing on Bitcoin #66

04
ZeroSync’s BitVM2 Implementation Passes Full Zellic Audit

A new post by ZeroSync announces that its BitVM2 implementation has completed a full audit by Zellic, with all issues resolved and the system reinforced. The update states that SNARK verification on Bitcoin is now ready for mainnet and acknowledges contributions from multiple BitVM Alliance teams.

Our BitVM2 implementation passed a comprehensive audit by @zellic_io! All findings addressed, system hardened.

SNARK verification on Bitcoin is ready for mainnet.

Huge thanks to all the BitVM Alliance companies:
Citrea, GOAT Network, BOB, Babylon, Bitlayer, Alpen, Fiamma.
— ZeroSync (@ZeroSync_) November 19, 2025

This content belongs to Newsletters » Computing on Bitcoin #66

░Subscribe To Our Newsletter