B^2 採用了混合式的驗證方案，在鏈下驗證 ZK 證明，鏈上通過 bitVM 的思路，挑戰 ZK 證明驗證痕跡。