-
Notifications
You must be signed in to change notification settings - Fork 13
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Cannot register and deregister (or the other way) the same stake credential in the same transaction #512
Comments
Consider this work around. newtype DeltaDeposit = DeltaDeposit (Map DepositPurpose DeltaCoin) In a transaction with N certs, we let deltaDD = foldl' delta emptyDD certs |
|
Something strange going on here. There are 4 constructors in the DELEG signal.
But the spec only has 2 rules for DELEG Figure 22 page 25. why is that? Are we not showing some of the rules that already appear in earlier Eras? |
@WhatisRT - William's initial version uses the first suggestion above Does this solve the problem? If so, in the interests of time would it make sense to go with this and add a possible later refactoring as a separate issue in the backlog? |
We agreed to push this back a bit. When this issue is continued it makes sense to interleave this work with #467 to some degree. It is also probably a good idea to make an STS version of the deposit update functions. This should make the POV proof a bit easier. There are two options here:
|
This is because the deposits are updated in
UTXO
, so duringCERT
the deposits map is not being updated and only at most one of those certs will be valid.Here are some ways of fixing this:
Add atemporaryDeposits
field toCertState
, that is updated and properly but then discardedUTXO
, maybe duringupdateCertDeposits
The text was updated successfully, but these errors were encountered: