Went through the staking litepapers transaction model this week alongside everything else covered on Bitcoin staking so far because four transactions turns out to be the actual mechanical skeleton underneath every higher level explanation.

Staking transaction locks the BTC into the vault UTXO. Unbonding transaction is what a staker initiates voluntarily to exit the happy path taking a few days by design rather than being instant. Slashing transaction is what executes if the staker or their delegated finality provider double signs triggered by the extracted key rather than anyone's discretion. Unstaking transaction is the final step releasing funds once unbonding or the dispute window completes.

Four transactions two possible paths through them voluntary exit or forced penalty with staking and unstaking as the shared entry and exit points either way.

I actually think seeing it as four discrete transactions rather than stake then eventually unstake clarifies where the actual security guarantees live. The slashing transaction is the one doing the enforcement work the other three are closer to bookkeeping around it.

What I have not worked out is whether the unbonding periods exact length is a fixed protocol parameter or something that can vary per staker or per finality provider relationship.

#ShareYourThoughts
$ALLO $EUL
@BabylonLabs_io $BABY #baby