You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
7
+
8
+
### Abstract
9
+
10
+
Verifying succinct proofs on Bitcoin is essential for scaling Bitcoin and enabling trustless use of Bitcoin assets on other blockchains, but remains challenging due to limited scripting expressiveness and small block space. While BitVM2 and BitVM3 have made progress, they suffer from either high on-chain transaction fees or massive off-chain storage requirements, 42 GiB per garbled circuit.
11
+
12
+
BABE introduces a new proof verification protocol that preserves BitVM3's on-chain cost savings while reducing off-chain storage and setup costs by three orders of magnitude. The protocol achieves this by combining a witness encryption scheme for linear pairing relations with an efficient garbled circuit for scalar multiplication on elliptic curves, enabling practical Groth16 proof verification on Bitcoin.
# A Bitcoin-Charged Crypto Economy with Trustless Vaults
7
+
8
+
### Abstract
9
+
10
+
Bitcoin is by far the largest crypto asset by market capitalization, yet the vast majority of it remains idle. Today, less than 1% of all bitcoins are bridged to smart contract platforms, where most decentralized finance (DeFi) activity takes place. A key barrier to greater participation is that existing Bitcoin bridges are either centralized or rely on significant trust assumptions. In fact, due to the lack of covenants in the Bitcoin scripting language, there are no known ways to build trustless Bitcoin bridges.
11
+
12
+
We bypass this barrier by introducing a different primitive: trustless Bitcoin vaults. Bitcoin holders deposit their BTC into these on-chain vaults in a self-custodial fashion. The bitcoins in each vault are tied to a specific smart contract protocol on an external chain. These vaults are programmable, and withdrawals are permitted only when a zero-knowledge proof of a specific smart contract state is verified on the Bitcoin chain. Together with an appropriate Bitcoin scripting design of the vault, this eliminates the need for mutual trust among parties.
13
+
14
+
We demonstrate how this construction enables the use of native Bitcoin, without wrapping or bridging, as collateral in many DeFi applications, including lending, stablecoin issuance, and perpetual DEXs.
15
+
16
+
Leveraging recent advances in BitVM3, we present experimental results showing that these vaults can be operated with minimal on-chain overhead, an essential requirement for scaling trustless Bitcoin-backed DeFi. Bitcoin vaults built on top of the Babylon Bitcoin staking protocol further improve capital efficiency by allowing staked BTC to act as collateral in DeFi protocols. We conclude by discussing how trustless Bitcoin vaults significantly strengthen the existing Babylon ecosystem and the utility of BABY as the token for its decentralized governance.
0 commit comments