penumbra
penumbra copied to clipboard
implement zk `UndelegateProof`
This is a placeholder ticket for implementing a zk UndelegateProof
.
Currently we do not have a transparent proof for undelegations, so part of this work is writing down what the integrity checks should be.