penumbra icon indicating copy to clipboard operation
penumbra copied to clipboard

Published 20 hours ago • verified publisher icon penumbra-zone

spec: document invariants for actions without proofs

Open redshiftzero opened this issue 11 months ago • 1 comments

In #3867 we documented in the protocol spec the integrity invariants of each action containing a proof. We should do the same for each action that does not contain a proof, documenting what part of the system upholds that invariant (e.g. validation in ActionHandler, etc.).

Actions without proofs:

  • [ ] ValidatorDefinition
  • [ ] Delegate
  • [ ] Undelegate
  • [ ] IbcRelay
  • [ ] Ics20Withdrawal
  • [ ] PositionOpen
  • [ ] PositionClose
  • [ ] PositionWithdraw
  • [ ] PositionRewardClaim
  • [ ] ProposalSubmit
  • [ ] ProposalWithdraw
  • [ ] ValidatorVote
  • [ ] ProposalDepositClaim
  • [ ] CommunityPoolSpend
  • [ ] CommunityPoolOutput
  • [ ] CommunityPoolDeposit
  • [ ] ActionDutchAuctionSchedule
  • [ ] ActionDutchAuctionEnd
  • [ ] ActionDutchAuctionWithdraw

redshiftzero avatar Mar 11 '24 19:03 redshiftzero

Closely related to #4076, which documents the balance commitments on a per-action basis

redshiftzero avatar Mar 25 '24 20:03 redshiftzero