Struct snarkvm_circuit::Pedersen

pub struct Pedersen<E, const NUM_BITS: u8>where
    E: Environment,{ /* private fields */ }

Pedersen is a collision-resistant hash function that takes a variable-length input. The Pedersen hash function does not behave like a random oracle, see Poseidon for one.

Trait Implementations

impl<E, const NUM_BITS: u8> Commit for Pedersen<E, NUM_BITS>where E: Environment,

fn commit( &self, input: &[<Pedersen<E, NUM_BITS> as Commit>::Input], randomizer: &<Pedersen<E, NUM_BITS> as Commit>::Randomizer ) -> <Pedersen<E, NUM_BITS> as Commit>::Output

Returns the Pedersen commitment of the given input and randomizer as a field element.

type Input = Boolean<E>

type Output = Field<E>

type Randomizer = Scalar<E>

impl<E, const NUM_BITS: u8> CommitUncompressed for Pedersen<E, NUM_BITS>where E: Environment,

fn commit_uncompressed( &self, input: &[<Pedersen<E, NUM_BITS> as CommitUncompressed>::Input], randomizer: &<Pedersen<E, NUM_BITS> as CommitUncompressed>::Randomizer ) -> <Pedersen<E, NUM_BITS> as CommitUncompressed>::Output

Returns the Pedersen commitment of the given input and randomizer as an affine group element.

type Input = Boolean<E>

type Output = Group<E>

type Randomizer = Scalar<E>

impl<E, const NUM_BITS: u8> Hash for Pedersen<E, NUM_BITS>where E: Environment,

fn hash( &self, input: &[<Pedersen<E, NUM_BITS> as Hash>::Input] ) -> <Pedersen<E, NUM_BITS> as Hash>::Output

Returns the Pedersen hash of the given input as a field element.

type Input = Boolean<E>

type Output = Field<E>

impl<E, const NUM_BITS: u8> HashUncompressed for Pedersen<E, NUM_BITS>where E: Environment,

fn hash_uncompressed( &self, input: &[<Pedersen<E, NUM_BITS> as HashUncompressed>::Input] ) -> <Pedersen<E, NUM_BITS> as HashUncompressed>::Output

Returns the Pedersen hash of the given input as an affine group element.

type Input = Boolean<E>

type Output = Group<E>

impl<E, const NUM_BITS: u8> Inject for Pedersen<E, NUM_BITS>where E: Environment,

fn new( _mode: Mode, pedersen: <Pedersen<E, NUM_BITS> as Inject>::Primitive ) -> Pedersen<E, NUM_BITS>

Initializes a new instance of Pedersen with the given Pedersen variant.

type Primitive = Pedersen<<E as Environment>::Network, NUM_BITS>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<E, const NUM_BITS: u8> Metrics<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>>>>::Case ) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E, const NUM_BITS: u8> Metrics<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>>>::Case ) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E, const NUM_BITS: u8> Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>>>>::Case ) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E, const NUM_BITS: u8> Metrics<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>>>>::Case ) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E, const NUM_BITS: u8> OutputMode<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

fn output_mode( parameters: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>>>>::Case ) -> Mode

Returns the mode of the output.

impl<E, const NUM_BITS: u8> OutputMode<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

fn output_mode( parameters: &<Pedersen<E, NUM_BITS> as OutputMode<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>>>::Case ) -> Mode

Returns the mode of the output.

impl<E, const NUM_BITS: u8> OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>

fn output_mode( parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn Hash<Output = Field<E>, Input = Boolean<E>>>>::Case ) -> Mode

Returns the mode of the output.

impl<E, const NUM_BITS: u8> OutputMode<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>

fn output_mode( parameter: &<Pedersen<E, NUM_BITS> as OutputMode<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>>>>::Case ) -> Mode

Returns the mode of the output.