Struct kimchi::circuits::lookup::lookups::LookupInfo

pub struct LookupInfo {
    pub max_per_row: usize,
    pub max_joint_size: u32,
    pub features: LookupFeatures,
}

Describes the desired lookup configuration.

Fields

max_per_row: usize

The maximum length of an element of kinds. This can be computed from kinds.

max_joint_size: u32

The maximum joint size of any joint lookup in a constraint in kinds. This can be computed from kinds.

features: LookupFeatures

The features enabled for this lookup configuration

Implementations

impl LookupInfo

pub fn new( max_per_row: usize, max_joint_size: u32, features: LookupFeatures ) -> LookupInfo

impl LookupInfo

pub fn create(features: LookupFeatures) -> Self

Create the default lookup configuration.

pub fn create_from_gates<F: PrimeField>( gates: &[CircuitGate<F>], uses_runtime_tables: bool ) -> Option<Self>

pub fn selector_polynomials_and_tables<F: PrimeField>( &self, domain: &EvaluationDomains<F>, gates: &[CircuitGate<F>] ) -> (LookupSelectors<E<F, D<F>>>, Vec<LookupTable<F>>)

Each entry in kinds has a corresponding selector polynomial that controls whether that lookup kind should be enforced at a given row. This computes those selector polynomials.

pub fn by_row<F: PrimeField>( &self, gates: &[CircuitGate<F>] ) -> Vec<Vec<JointLookupSpec<F>>>

For each row in the circuit, which lookup-constraints should be enforced at that row.

Trait Implementations

impl Clone for LookupInfo

fn clone(&self) -> LookupInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LookupInfo

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LookupInfo

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

Deserialize this value from the given Serde deserializer.

impl From<LookupInfo> for JsValue

fn from(value: LookupInfo) -> Self

Converts to this type from the input type.

impl FromWasmAbi for LookupInfo

type Abi = u32

The wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for LookupInfo

type Abi = u32

The wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for LookupInfo

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = Ref<'static, LookupInfo>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for LookupInfo

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for LookupInfo

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for LookupInfo

type Abi = u32

The wasm ABI type references to Self are recovered from.

type Anchor = Ref<'static, LookupInfo>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for LookupInfo

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RefMut<'static, LookupInfo>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl Serialize for LookupInfo

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

Serialize this value into the given Serde serializer.

impl TryFromJsValue for LookupInfo

type Error = JsValue

The type returned in the event of a conversion error.

fn try_from_js_value(value: JsValue) -> Result<Self, Self::Error>

Performs the conversion.

impl VectorFromWasmAbi for LookupInfo

type Abi = <Box<[JsValue], Global> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[LookupInfo]>

impl VectorIntoWasmAbi for LookupInfo

type Abi = <Box<[JsValue], Global> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[LookupInfo]>) -> Self::Abi

impl WasmDescribe for LookupInfo

fn describe()

impl WasmDescribeVector for LookupInfo

fn describe_vector()

impl Copy for LookupInfo