Struct Pedersen

pub struct Pedersen<E: Environment, const NUM_BITS: u8> { /* 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.

Implementations

impl<E: Environment, const NUM_BITS: u8> Pedersen<E, NUM_BITS>

pub fn setup(message: &str) -> Self

Initializes a new instance of Pedersen with the given setup message.

pub fn base_window(&self) -> &Arc<Vec<Group<E>>>

Returns the base window.

pub fn random_base_window(&self) -> &Arc<Vec<Group<E>>>

Returns the random base window.

Trait Implementations

impl<E: Clone + Environment, const NUM_BITS: u8> Clone for Pedersen<E, NUM_BITS>

fn clone(&self) -> Pedersen<E, NUM_BITS>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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

fn commit( &self, input: &[Self::Input], randomizer: &Self::Randomizer, ) -> Result<Self::Output>

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

type Input = bool

type Output = Field<E>

type Randomizer = Scalar<E>

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

fn commit_uncompressed( &self, input: &[Self::Input], randomizer: &Self::Randomizer, ) -> Result<Self::Output>

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

type Input = bool

type Output = Group<E>

type Randomizer = Scalar<E>

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

fn hash(&self, input: &[Self::Input]) -> Result<Self::Output>

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

type Input = bool

type Output = Field<E>

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

fn hash_uncompressed(&self, input: &[Self::Input]) -> Result<Self::Output>

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

type Input = bool

type Output = Group<E>