Struct 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) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.

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

where E: Environment,

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

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

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

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

where E: Environment,

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

fn count( case: &<Pedersen<E, NUM_BITS> as Metrics<dyn CommitUncompressed<Input = Boolean<E>, Output = Group<E>, Randomizer = Scalar<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>

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>

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<Input = Boolean<E>, Output = Field<E>, Randomizer = Scalar<E>>> for Pedersen<E, NUM_BITS>

where E: Environment,

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

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

Returns the mode of the output.

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

where E: Environment,

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

fn output_mode( parameters: &<Pedersen<E, NUM_BITS> as OutputMode<dyn CommitUncompressed<Input = Boolean<E>, Output = Group<E>, Randomizer = Scalar<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>

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>

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.