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	🔄 Future Iteration	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	🔄 Future Iteration	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	🔄 Future Iteration	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 PEG-OUT	🔄 Future Iteration	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.

Current Limitations

1. PEG-OUT amounts depend on operator liquidity until the Liquidity Provider Module is introduced.

2. The operator role is not yet open for public application until the ZK Light Client module is integrated.

These limitations will be resolved as the product iterates.