Type Alias JointLookupValue

pub type JointLookupValue<F> = JointLookup<F, F>;

A concrete value or representation of a lookup.

Aliased Type

pub struct JointLookupValue<F> {
    pub table_id: F,
    pub entry: Vec<F>,
}

Fields

table_id: F

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<F>

Implementations

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

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

Evaluate the combined value of a joint-lookup.

Trait Implementations

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<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.