Bridge-In
User
Start your journey of BitVM2!
Bridge-Out & Prepare Proof
Operator
- When a user, such as Bob, wants to bridge out some BTC, the operator will use their own balance to pay Bob (this is referred to as a Bridge-Out transaction).
- The operator will generate a zkMIPS proof using the Bridge-Out transaction and broadcast it to Bitcoin through the Decentralized Sequencer.
- If you are the operator, which decision would you make?
KickOff
Operator
The operator pays Bob, broadcasts the KickOff transaction, and waits for the challenge during a 14-day period.
Logs
Take-1
Operator
If no challenge occurs by the end of the 2-week period, it indicates that the operator has behaved honestly. The operator can broadcast the timelocked Take-1 transaction and get the reimbursement successfully.
Challenge
Challenger
A challenge transaction is pushed, which will spend the output of the KickOff transaction by script path (indicating that the operator cannot proceed to Take-1).
Disprove
Challenger
If you, the challenger, reveal an error in one of the operator's committed Tapscripts, you issue the Disprove transaction, which executes the corresponding verification subscripts to check if this is a valid challenge. If the proof is disproved, the operator will lose the locked BTC and you can win the rewards.
Assert
Operator
The operator must disclose the zkMIPS verifier Tapscripts via an Assert transaction, or they cannot proceed to the Take-2 path.
Take-2
Operator
If no valid disprove occurs by the end of the 2-week disprove period, the operator gets reimbursement from the GOAT Federation in the Take-2 path and wins extra rewards.
