我们的 BitVM2 实现通过了 @zellic_io 的全面审计！所有问题已解决，系统已加强。 比特币上的 SNARK 验证已准备好上线主网。 非常感谢所有 BitVM 联盟公司： Citrea, GOAT Network, BOB, Babylon, Bitlayer, Alpen, Fiamma。