penumbra icon indicating copy to clipboard operation
penumbra copied to clipboard

zk: note commitment integrity proof gadget

Open redshiftzero opened this issue 2 years ago • 0 comments

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

redshiftzero avatar Jul 11 '22 16:07 redshiftzero