Fiamma Bridge Status

Below is the current status of our Fiamma Bridge. Most of the critical modules for the bridge have been completed and are live on the alpha testnet, including the core BitVM2 module and bridge contracts on Ethereum testnet. However, future testnets will include further optimizations to enhance user experience, security, and trustlessness.

Category	Feature	Implementation Status	Details
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	✅ 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.
Zero-Knowledge Proofs (ZKPs)	Groth16 Verification	✅ Implemented	Widely adopted classic ZKP algorithm.
Zero-Knowledge Proofs (ZKPs)	Fflonk Verification	✅ Implemented	Compact, widely used ZKP algorithm.
(ZK) Light Clients	Bitcoin Light Client for Sidechains	✅ Implemented	Verifies Bitcoin block validity.
(ZK) Light Clients	Bitcoin ZK Light Client	✅ Implemented	Validates Bitcoin blocks.
(ZK) Light Clients	Sidechain ZK Light Client	🔄 Future Iteration	Validates sidechain blocks.
ZK Inclusion Proofs	PEG-IN Inclusion Proof	✅ Implemented	Ensures user PEG-IN transactions are included in a Bitcoin block.
ZK Inclusion Proofs	Burn Inclusion Proof	✅ Implemented	Confirms user Burn transactions are included in a sidechain block.
ZK Inclusion Proofs	PEG-OUT Inclusion Proof	✅ Implemented	Ensures operator PEG-OUT transactions are included in a Bitcoin block.
Aggregate Proofs	Burn Aggregate Proof	🔄 Future Iteration	Confirms that Burn transactions are included in valid sidechain blocks.
Aggregate Proofs	PEG-OUT Aggregate Proof	✅ Implemented	Confirms that operator PEG-OUT transactions are included in valid Bitcoin blocks.
Fungibility	Anyone Can PEG-OUT	✅ Implemented	Any holder of mamaBTC can execute PEG-OUT.
Fungibility	Any Amount Can Be PEGGED-OUT	✅ Implemented	Users can PEG-OUT any amount of mamaBTC.
Other Features	Forced PEG-IN Module	🔄 Future Iteration	Users can mint mamaBTC themselves if the Minter faces liveness issues.
Other Features	Amount Checks	🔄 Future Iteration	Ensures consistency across Burn, PEG-OUT, and Take transactions.
Other Features	Replay Attack Prevention	🔄 Future Iteration	Blocks users or operators from using duplicate transactions to steal BTC.
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

1. User can PEG-OUT any amounts because we introduced Withdrawal Liquidity Provider Module in v0.2.0.

Main Limitation at the moment

1. The operator role is not yet open for public application until the ZK Light Client for sidechain (Ethereum Holesky in our alpha testnet) is integrated. The ZK light Client for Bitcoin and ZK proof aggregation modules are implemented in v0.2.0.

These limitations will be resolved as the product iterates.