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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.fiammalabs.io/our-product-suite/pragmatically-trustless-bitvm-bitcoin-bridge/bridge-test.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.