Enum kimchi::circuits::gate::GateType

#[repr(C)]
pub enum GateType {
    Zero,
    Generic,
    Poseidon,
    CompleteAdd,
    VarBaseMul,
    EndoMul,
    EndoMulScalar,
    Lookup,
    CairoClaim,
    CairoInstruction,
    CairoFlags,
    CairoTransition,
    RangeCheck0,
    RangeCheck1,
    ForeignFieldAdd,
    ForeignFieldMul,
    Xor16,
    Rot64,
}

The different types of gates the system supports. Note that all the gates are mutually exclusive: they cannot be used at the same time on single row. If we were ever to support this feature, we would have to make sure not to re-use powers of alpha across constraints.

Variants

Zero

Zero gate

Generic

Generic arithmetic gate

Poseidon

Poseidon permutation gate

CompleteAdd

Complete EC addition in Affine form

VarBaseMul

EC variable base scalar multiplication

EndoMul

EC variable base scalar multiplication with group endomorphim optimization

EndoMulScalar

Gate for computing the scalar corresponding to an endoscaling

Lookup

CairoClaim

Cairo

CairoInstruction

CairoFlags

CairoTransition

RangeCheck0

Range check

RangeCheck1

ForeignFieldAdd

ForeignFieldMul

Xor16

Rot64

Implementations

impl GateType

pub fn lookup_kinds() -> Vec<LookupPattern>

Which lookup-patterns should be applied on which rows.

Trait Implementations

impl Clone for GateType

fn clone(&self) -> GateType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GateType

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

Formats the value using the given formatter.

impl Default for GateType

fn default() -> GateType

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for GateType

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

Deserialize this value from the given Serde deserializer.

impl From<GateType> for JsValue

fn from(value: GateType) -> Self

Converts to this type from the input type.

impl<'from_value_lifetime> FromValue<'from_value_lifetime> for GateType

fn from_value(value: Value) -> Self

Convert from OCaml value

impl FromWasmAbi for GateType

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 Hash for GateType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoValue for GateType

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value

impl IntoWasmAbi for GateType

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 OCamlBinding for GateType

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment [Env], as well as an optional name (if you wish to rename the type in OCaml).

impl OCamlDesc for GateType

fn ocaml_desc(env: &Env, generics: &[&str]) -> String

describes the type in OCaml, given the current environment [Env] and the list of generic type parameters of the root type (the type that makes use of this type)

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.

impl OptionFromWasmAbi for GateType

fn is_none(val: &u32) -> 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 GateType

fn none() -> Self::Abi

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

impl Ord for GateType

fn cmp(&self, other: &GateType) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<GateType> for GateType

fn eq(&self, other: &GateType) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<GateType> for GateType

fn partial_cmp(&self, other: &GateType) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for GateType

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 GateType

type Error = JsValue

The type returned in the event of a conversion error.

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

Performs the conversion.

impl VectorFromWasmAbi for GateType

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

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

impl VectorIntoWasmAbi for GateType

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

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

impl WasmDescribe for GateType

fn describe()

impl WasmDescribeVector for GateType

fn describe_vector()

impl Copy for GateType

impl Eq for GateType

impl StructuralEq for GateType

impl StructuralPartialEq for GateType