Struct kimchi::circuits::lookup::lookups::JointLookup

pub struct JointLookup<SingleLookup, LookupTableID> {
    pub table_id: LookupTableID,
    pub entry: Vec<SingleLookup>,
}

A spec for checking that the given vector belongs to a vector-valued lookup table.

Fields

table_id: LookupTableID

The ID for the table associated with this lookup. Positive IDs are intended to be used for the fixed tables associated with individual gates, with negative IDs reserved for gates defined by the particular constraint system to avoid accidental collisions.

entry: Vec<SingleLookup>

Implementations

impl<F: Zero + One + Clone + Neg<Output = F> + From<u64>> JointLookup<F, F>

pub fn evaluate(&self, joint_combiner: &F, table_id_combiner: &F) -> F

Evaluate the combined value of a joint-lookup.

impl<F: Copy> JointLookup<SingleLookup<F>, LookupTableID>

pub fn reduce<K, G: Fn(LocalPosition) -> K>( &self, eval: &G ) -> JointLookupValue<K>where K: Zero + Mul<F, Output = K> + Neg<Output = K> + From<u64>,

Reduce linear combinations in the lookup entries to a single value, resolving local positions using the given function.

pub fn evaluate<K, G: Fn(LocalPosition) -> K>( &self, joint_combiner: &K, table_id_combiner: &K, eval: &G ) -> Kwhere K: Zero + One + Clone + Mul<F, Output = K> + Neg<Output = K> + From<u64>,

Evaluate the combined value of a joint-lookup, resolving local positions using the given function.

Trait Implementations

impl<SingleLookup: Clone, LookupTableID: Clone> Clone for JointLookup<SingleLookup, LookupTableID>

fn clone(&self) -> JointLookup<SingleLookup, LookupTableID>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<SingleLookup: Debug, LookupTableID: Debug> Debug for JointLookup<SingleLookup, LookupTableID>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, SingleLookup, LookupTableID> Deserialize<'de> for JointLookup<SingleLookup, LookupTableID>where SingleLookup: Deserialize<'de>, LookupTableID: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'de, F, G: DeserializeAs<'de, F>> DeserializeAs<'de, JointLookup<F, F>> for JointLookupValue<G>

fn deserialize_as<D>(deserializer: D) -> Result<JointLookupValue<F>, D::Error>where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SingleLookup, LookupTableID> Serialize for JointLookup<SingleLookup, LookupTableID>where SingleLookup: Serialize, LookupTableID: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<F, G> SerializeAs<JointLookup<F, F>> for JointLookupValue<G>where G: SerializeAs<F>,

fn serialize_as<S>( source: &JointLookupValue<F>, serializer: S ) -> Result<S::Ok, S::Error>where S: Serializer,

Serialize this value into the given Serde serializer.