Support StakeValidators in TxConstraints & balancing

[t1lde]

We need support for StakeValidators to implement a delegated-to StakeValidator that is used with the withdrawing-zero case. Currently, the TxConstraints APIs don't have any support for transactions which use StakeValidators (only the staking addresses).

Possible Workaround by setting fields in UnattachedUnbalancedTx

It seems like we would be able to manually set the withdrawals, redeemers & scripts fields in the UnattachedUnbalancedTx, and Ogmios would handle the heavy-lifting in balancing afterwards? Is there anything else required to make StakeValidators work with balanceTx?

APIs needed for withdrawing-zero StakeValidator

• A MustWithdraw or similar constraint (+ ScriptLookups)
• extra (does Ogmios have what we need for this?)
• we can get away without support for Certificates, as we can submit the other necessary transactions once with cardano-cli

APIs needed for other uses of StakeValidator

• A MustUseCertificate, or similar constraint
  • Or more specific TxConstraint variants for De/Register & Delegate
• Querying for a rewards account balance

[t1lde]

An API Sketch: https://gist.github.com/t1lde/3a649bd4f54a582749c5f6edecd3236b

[t1lde]

our workaround so far (from @newton-migosi).

the withdrawal & register cases both fail currently - due to missing redeemers (logs attached). I think this just needs to copy more of what MustMintValue does.

registration is tricky, as it would seem that the balancing needs to account for the registration deposit in the total transaction balance.

[klntsky]

Thank you @t1lde ! This sketch as well ass as an example code would probably be enough for us to start working on it right away! Your help is highly appreciated

[klntsky]

A comment to keep track of functionality we want.

PubKey

• [x] mustRegisterStakePubKey :: forall i o. StakePubKeyHash -> TxConstraints i o
• [x] mustDelegateStakePubKey :: forall i o. StakePubKeyHash -> PoolPubKeyHash -> TxConstraints i o
• [x] mustWithdrawStakePubKey :: forall i o. StakePubKeyHash -> TxConstraints i o
• [x] mustDeregisterStakePubKey :: forall i o. StakePubKeyHash -> TxConstraints i o

Stake Scripts (Native, Plutus)

• [x] mustRegisterStakeScript :: forall i o. StakeValidatorHash -> TxConstraints i o

Plutus Stake Script

• [x] mustDeregisterStakePlutusScript :: forall i o. PlutusScriptStakeValidator -> Redeemer -> TxConstraints i o
• [x] mustDelegateStakePlutusScript :: forall i o . PlutusScriptStakeValidator -> Redeemer -> PoolPubKeyHash -> TxConstraints i o
• [ ] mustWithdrawStakePlutusScript :: forall i o. PlutusScriptStakeValidator -> Redeemer -> TxConstraints i o - blocked by Ogmios

Native Stake Script

Do we need these?

• [ ] ? mustDeregisterStakeNativeScript :: forall i o. NativeScriptStakeValidator -> TxConstraints i o
• [ ] ? mustDelegateStakeNativeScript :: forall i o . NaitveScriptStakeValidator -> PoolPubKeyHash -> TxConstraints i o
• [ ] ? mustWithdrawStakeNativeScript :: forall i o. NativeScriptStakeValidator -> TxConstraints i o - blocked by Ogmios

Pools

• [x] mustRegisterPool :: forall i o. PoolRegistrationParams -> TxConstraints i o
• [x] mustRetirePool :: forall i o. PoolPubKeyHash -> Epoch -> TxConstraints i o

[newton-migosi]

will we also get the accompanying query functions? something like cardano-cli query --stake-address-info which gets the current delegations and reward accounts by stake address

[klntsky]

@newton-migosi yes. I plan to implement delegationsAndRewards, poolIds and poolParameters queries from ogmios:

https://ogmios.dev/mini-protocols/local-state-query/