Deferred Binding for BitVM3
The GOAT Research team published an technical note introducing Deferred Binding, an extension to BABE that supports dynamic public inputs in BitVM3.
hackmd.io
🔗
Deferred Binding: Extending BABE for Dynamic Public Inputs in GOAT BitVM3
Groth16 is a widely-used zero-knowledge proof system. In standard BitVM2, verifying a Groth16 proof requires executing the full verifier inside a Bitcoin Disprove script — evaluating several elliptic-curve pairings over BN254. The resulting script is several hundred kilobytes and far exceeds Bitcoin's script-size limits.