GOAT Network Scales BitVM3 Using Label Forward Propagation
GOAT Network’s new paper, “Instantiating BitVM3 from Label Forward Propagation,” introduces a scalable implementation of BitVM3. It enables reusable garbled circuits via label-forward propagation, slashing off-chain data from hundreds of gigabytes to megabytes.
📜Paper
goat.network/blog
🔗
GOAT Network Brings BitVM3 into Practical Use, Pioneering Scalable Native ZK Verification on Bitcoin
Building on BitVM3’s RSA-encrypted Garbled Circuit scheme, GOAT Network introduces a novel Label Forward Propagation method that enables circuit homomorphism and sub-circuit reuse. This breakthrough achieves unlimited reusability of Garbled circuits, dramatically reducing the volume of off-chain data required for on-chain verification. It addresses two major bottlenecks in the original BitVM3 and Delbrag designs: the single-use constraint and the terabyte-scale data footprint, unlocking true scalability for native zero-knowledge computation on Bitcoin.