Fiamma Bridge Status
Most of the critical modules are complete and live on mainnet, including the core BitVM2 module and bridge contracts for Ethereum, Aptos, BNB Chain, Sei, and more. We continue to optimize the bridge to improve user experience, security, and trustlessness.
BitVM2
Fraud Proof Module
✅ Implemented
Off-chain computation is verified on-chain during disputes.
BitVM2
Covenant Emulation
✅ Implemented
Pre-signed transactions ensure malicious actors are punished permissionlessly.
BitVM2
Script Language
✅ Implemented
Allows arbitrary computation with Bitcoin Script.
BitVM2
Script Chunking
(< 400K)
✅ Implemented
Breaks computation scripts into smaller chunks.
BitVM2
Witness Generator
✅ Implemented
Generates input-output data for each script.
BitVM2
Transaction Graph
✅ Implemented
Pre-signed logic for handling both success and dispute paths.
BitVM2
Standard Bitcoin Transactions
✅ Implemented
Get rid of centralized trust to Bitcoin Miners
BitVM2
Multi-operators
✅ Implemented
The user could always redeem with one operator
BitVM2
Permissionless Challengers
✅ Implemented
Reduce the barrier to becoming a challenger, building the safest bridge
Zero-Knowledge Proofs (ZKPs)
Groth16 Verification
✅ Implemented
Widely adopted classic ZKP algorithm.
Bitcoin LC
Bitcoin ZK Light Client
✅ Implemented
Validates Bitcoin blocks.
Bitcoin LC
Reusable Bitcoin Light Client
✅ Implemented
Detect the malicious operator
ZK Inclusion Proofs
PEG-IN Inclusion Proof
✅ Implemented
Ensures user PEG-IN transactions are included in a Bitcoin block.
ZK Inclusion Proofs
PEG-OUT Inclusion Proof
✅ Implemented
Ensures operator PEG-OUT transactions are included in a Bitcoin block.
Fungibility
Anyone Can PEG-OUT
✅ Implemented
Any holder of FIABTC can execute PEG-OUT.
Fungibility
Any Amount Can Be withdrawn
✅ Implemented
Users can PEG-OUT any amount of FIABTC.
Other Features
Amount Checks
✅ Implemented
Ensures consistency across Burn, PEG-OUT, and Take transactions.
Other Features
Replay Attack Prevention
✅ Implemented
Blocks users or operators from using duplicate transactions to steal BTC.
Unhappy Path
Post witness on Destination chain
✅Implemented
Reduce on-chain cost to < $100
Unhappy Path
Slashable for challenger
✅Implemented
Slashing malicious challengers
Other Features
Forced PEG-IN Module
🔄 Future Iteration
Users can mint FIABTC themselves if the Minter faces liveness issues.
Other Features
Forced PEG-OUT Module
🔄 Future Iteration
Allows users to reclaim locked assets even if operators become inactive.
Limitation Resolved in v0.2.0
Users can PEG-OUT any amounts because we introduced the Fungibility Provider Module in v0.2.0.
Last updated