penumbra
penumbra copied to clipboard
spec: document privacy invariants
In #3867 we documented in the protocol spec the integrity invariants of each action containing a proof. We should do the same from a privacy standpoint:
- [ ] Spend
- [ ] Output
- [ ] Swap
- [ ] SwapClaim
- [ ] DelegatorVote
- [ ] UndelegateClaim