> For the complete documentation index, see [llms.txt](https://docs.fiammalabs.io/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.fiammalabs.io/our-product-suite/pragmatically-trustless-bitvm-bitcoin-bridge/bridge-test.md).

# 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.

<table><thead><tr><th width="128">Category</th><th width="168">Feature</th><th width="152">Implementation Status</th><th>Details</th></tr></thead><tbody><tr><td>BitVM2</td><td>Fraud Proof Module</td><td>✅ Implemented</td><td>Off-chain computation is verified on-chain during disputes.</td></tr><tr><td>BitVM2</td><td>Covenant Emulation</td><td>✅ Implemented</td><td>Pre-signed transactions ensure malicious actors are punished permissionlessly.</td></tr><tr><td>BitVM2</td><td>Script Language</td><td>✅ Implemented</td><td>Allows arbitrary computation with Bitcoin Script.</td></tr><tr><td>BitVM2</td><td><p>Script Chunking </p><p>(&#x3C; 400K)</p></td><td>✅ Implemented</td><td>Breaks computation scripts into smaller chunks.</td></tr><tr><td>BitVM2</td><td>Witness Generator</td><td>✅ Implemented</td><td>Generates input-output data for each script.</td></tr><tr><td>BitVM2</td><td>Transaction Graph</td><td>✅ Implemented</td><td>Pre-signed logic for handling both success and dispute paths.</td></tr><tr><td>BitVM2</td><td>Standard Bitcoin Transactions</td><td>✅ Implemented</td><td>Get rid of centralized trust to Bitcoin Miners</td></tr><tr><td>BitVM2</td><td>Multi-operators</td><td>✅ Implemented</td><td>The user could always redeem with one operator</td></tr><tr><td>BitVM2</td><td>Permissionless Challengers</td><td>✅ Implemented</td><td>Reduce the barrier to becoming a challenger, building the safest bridge</td></tr><tr><td>Zero-Knowledge Proofs (ZKPs)</td><td>Groth16 Verification</td><td>✅ Implemented</td><td>Widely adopted classic ZKP algorithm.</td></tr><tr><td>Bitcoin LC</td><td>Bitcoin ZK Light Client</td><td>✅ Implemented</td><td>Validates Bitcoin blocks.</td></tr><tr><td>Bitcoin LC</td><td>Reusable Bitcoin Light Client</td><td>✅ Implemented</td><td>Detect the malicious operator</td></tr><tr><td>ZK Inclusion Proofs</td><td>PEG-IN Inclusion Proof</td><td>✅ Implemented</td><td>Ensures user PEG-IN transactions are included in a Bitcoin block.</td></tr><tr><td>ZK Inclusion Proofs</td><td>PEG-OUT Inclusion Proof</td><td>✅ Implemented</td><td>Ensures operator PEG-OUT transactions are included in a Bitcoin block.</td></tr><tr><td>Fungibility</td><td>Anyone Can PEG-OUT</td><td>✅ Implemented</td><td>Any holder of FIABTC can execute PEG-OUT.</td></tr><tr><td>Fungibility</td><td>Any Amount Can Be withdrawn</td><td>✅ Implemented</td><td>Users can PEG-OUT any amount of FIABTC.</td></tr><tr><td>Other Features</td><td>Amount Checks</td><td>✅ Implemented</td><td>Ensures consistency across Burn, PEG-OUT, and Take transactions.</td></tr><tr><td>Other Features</td><td>Replay Attack Prevention</td><td>✅ Implemented</td><td>Blocks users or operators from using duplicate transactions to steal BTC.</td></tr><tr><td>Unhappy Path</td><td>Post witness on Destination chain</td><td>✅Implemented</td><td>Reduce on-chain cost to &#x3C; $100</td></tr><tr><td>Unhappy Path</td><td>Slashable for challenger</td><td>✅Implemented</td><td>Slashing malicious challengers</td></tr><tr><td>Other Features</td><td>Forced PEG-IN Module</td><td>🔄 Future Iteration</td><td>Users can mint FIABTC themselves if the Minter faces liveness issues.</td></tr><tr><td>Other Features</td><td>Forced PEG-OUT Module</td><td>🔄 Future Iteration</td><td>Allows users to reclaim locked assets even if operators become inactive.</td></tr></tbody></table>

### Limitation Resolved in v0.2.0

1. Users can PEG-OUT any amounts because we introduced the **Fungibility Provider Module in v0.2.0**.