penumbra
penumbra copied to clipboard
zk: note commitment integrity proof gadget
For both the SpendProof
and OutputProof
we'll need to check the integrity of note commitments in circuit.
Requires: Poseidon circuit implementation https://github.com/penumbra-zone/penumbra/issues/714