penumbra icon indicating copy to clipboard operation
penumbra copied to clipboard

Published 20 hours ago • verified publisher icon penumbra-zone

implement zk `OutputProof`

Open redshiftzero opened this issue 2 years ago • 0 comments

This ticket is for implementing a zk version of the OutputProof. It requires #711 such that OutputProofs can be generated in pcli and verified in pd.

Status so far:

  • #665 contains 3 of the 4 integrity checks. These need to be modified to take a decaf377::Element once https://github.com/penumbra-zone/decaf377/issues/22 is implemented.
  • the remaining integrity check (note commitment integrity check) requires #1091

Once all integrity checks are added, the corresponding transparent proof can be replaced.

redshiftzero avatar Apr 26 '22 23:04 redshiftzero