Trait kimchi::snarky::constraint_system::SnarkyCvar

pub trait SnarkyCvar: Clone {
    type Field;

    // Required method
    fn to_constant_and_terms(
        &self
    ) -> (Option<Self::Field>, Vec<(Self::Field, usize)>);
}

Required Associated Types

type Field

Required Methods

fn to_constant_and_terms( &self ) -> (Option<Self::Field>, Vec<(Self::Field, usize)>)

Implementors

impl<F> SnarkyCvar for FieldVar<F>where F: PrimeField,

type Field = F