BitVM2-GC with DV-Snark Shrinks Fraud-Proof Overhead
A new post by GOAT Network announces BitVM2-GC with DV-Snark, a milestone aimed at shrinking on-chain fraud-proof data by several orders of magnitude. By combining garbled circuits with a DV-Snark variant, the update advances BitVM2’s path toward Bitcoin-native security while keeping verification costs practical for real-world L2 operation.
goat.network/blog
🔗
GOAT Network Introduces BitVM2-GC with DV-Snark
By utilizing the zkVM(Ziren) to implement a verifiable garbled circuit scheme of DV-SNARK verifier, our BitVM2-GC cuts on-chain fraud-proof data by ~1000×, and achieve smallest off-chain storage among all known BitVM2 designs, and the GC proving time is less than 1 hour with a very low cost (less than $3.88).