penumbra icon indicating copy to clipboard operation
penumbra copied to clipboard

Published 20 hours ago • verified publisher icon penumbra-zone

poseidon circuit implementation

Open redshiftzero opened this issue 2 years ago • 0 comments

This ticket is for adding support for computing hashes in circuit, probably via an extension trait on PlonkCircuit. A pre-req is #55 (which may end up changing the Poseidon parameters and/or implementation we're using). For proofs so far, we need:

  • Rate 1: for computing note commitments
  • Rate 3: for nullifier derivation
  • Rate 4: TCT proofs of inclusion

We won't need rate 2 because we won't have a binary NCT anymore.

Related upstream tickets:

  • https://github.com/EspressoSystems/jellyfish/issues/29
  • https://github.com/ZK-Garage/plonk/issues/104

redshiftzero avatar Apr 26 '22 23:04 redshiftzero