Trait kimchi::snarky::snarky_type::CircuitAndValue

pub trait CircuitAndValue<F>: SnarkyType<F>where
    F: PrimeField,{
    // Required methods
    fn to_value(fields: Vec<F>, aux: Self::Auxiliary) -> Self::OutOfCircuit;
    fn from_value(value: &Self::OutOfCircuit) -> (Vec<F>, Self::Auxiliary);
}

A trait to convert between a snarky type and its out-of-circuit equivalent.

Required Methods

fn to_value(fields: Vec<F>, aux: Self::Auxiliary) -> Self::OutOfCircuit

fn from_value(value: &Self::OutOfCircuit) -> (Vec<F>, Self::Auxiliary)

Implementors