Trait ark_crypto_primitives::crh::TwoToOneCRH

pub trait TwoToOneCRH {
    type Output: ToBytes + Clone + Eq + Debug + Hash + Default + CanonicalSerialize + CanonicalDeserialize;
    type Parameters: Clone + Default;

    const LEFT_INPUT_SIZE_BITS: usize;
    const RIGHT_INPUT_SIZE_BITS: usize;

    fn setup<R: Rng>(r: &mut R) -> Result<Self::Parameters, Error>;
    fn evaluate(
        parameters: &Self::Parameters, 
        left_input: &[u8], 
        right_input: &[u8]
    ) -> Result<Self::Output, Error>;
}

Associated Types

type Output: ToBytes + Clone + Eq + Debug + Hash + Default + CanonicalSerialize + CanonicalDeserialize

type Parameters: Clone + Default

Associated Constants

const LEFT_INPUT_SIZE_BITS: usize

The bit size of the left input.

const RIGHT_INPUT_SIZE_BITS: usize

The bit size of the right input.

Required methods

fn setup<R: Rng>(r: &mut R) -> Result<Self::Parameters, Error>

fn evaluate(
    parameters: &Self::Parameters,
    left_input: &[u8],
    right_input: &[u8]
) -> Result<Self::Output, Error>

Evaluates this CRH on the left and right inputs.

Panics

If left_input.len() != Self::LEFT_INPUT_SIZE_BITS, or if right_input.len() != Self::RIGHT_INPUT_SIZE_BITS, then this method panics.

Implementors

impl<C: ProjectiveCurve, I: InjectiveMap<C>, W: Window> TwoToOneCRH for PedersenCRHCompressor<C, I, W>

fn evaluate(
    parameters: &Self::Parameters,
    left_input: &[u8],
    right_input: &[u8]
) -> Result<Self::Output, Error>

A simple implementation method: just concat the left input and right input together

evaluate requires that left_input and right_input are of equal length.

const LEFT_INPUT_SIZE_BITS: usize

const RIGHT_INPUT_SIZE_BITS: usize

type Output = I::Output

type Parameters = Parameters<C>

fn setup<R: Rng>(r: &mut R) -> Result<Self::Parameters, Error>

impl<C: ProjectiveCurve, W: Window> TwoToOneCRH for ark_crypto_primitives::crh::pedersen::CRH<C, W>

fn evaluate(
    parameters: &Self::Parameters,
    left_input: &[u8],
    right_input: &[u8]
) -> Result<Self::Output, Error>

A simple implementation method: just concat the left input and right input together

evaluate requires that left_input and right_input are of equal length.

const LEFT_INPUT_SIZE_BITS: usize

const RIGHT_INPUT_SIZE_BITS: usize

type Output = C::Affine

type Parameters = Parameters<C>

fn setup<R: Rng>(r: &mut R) -> Result<Self::Parameters, Error>

impl<F: PrimeField, P: PoseidonRoundParams<F>> TwoToOneCRH for ark_crypto_primitives::crh::poseidon::CRH<F, P>

fn evaluate(
    parameters: &Self::Parameters,
    left_input: &[u8],
    right_input: &[u8]
) -> Result<Self::Output, Error>

A simple implementation of TwoToOneCRH by asserting left and right input has same length and chain them together.

const LEFT_INPUT_SIZE_BITS: usize

const RIGHT_INPUT_SIZE_BITS: usize

type Output = F

type Parameters = Poseidon<F, P>

fn setup<R: Rng>(rng: &mut R) -> Result<Self::Parameters, Error>