From cdbf2fb3d133f0f5e0ed48848de20d8a05d3fc15 Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Sat, 21 Oct 2023 10:40:39 +0000 Subject: [PATCH] deploy: 44a54a157de22d94dfeabbd825e602e5262167e5 --- docs/chiquito/ast/query/enum.Queriable.html | 4 ++-- docs/chiquito/ast/type.ASTExpr.html | 2 +- docs/chiquito/frontend/dsl/cb/struct.Constraint.html | 2 +- docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html | 2 +- docs/chiquito/poly/enum.Expr.html | 4 ++-- docs/chiquito/poly/trait.ToExpr.html | 2 +- docs/chiquito/poly/trait.ToField.html | 2 +- docs/chiquito/wit_gen/struct.StepInstance.html | 4 ++-- docs/implementors/core/clone/trait.Clone.js | 2 +- docs/implementors/core/cmp/trait.Eq.js | 2 +- docs/implementors/core/cmp/trait.PartialEq.js | 2 +- docs/implementors/core/convert/trait.From.js | 2 +- docs/implementors/core/default/trait.Default.js | 2 +- docs/implementors/core/fmt/trait.Debug.js | 2 +- docs/implementors/core/hash/trait.Hash.js | 2 +- docs/implementors/core/marker/trait.Copy.js | 2 +- docs/implementors/core/marker/trait.StructuralEq.js | 2 +- docs/implementors/core/marker/trait.StructuralPartialEq.js | 2 +- docs/implementors/core/ops/arith/trait.Add.js | 2 +- docs/implementors/core/ops/arith/trait.Mul.js | 2 +- docs/implementors/core/ops/arith/trait.Neg.js | 2 +- docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js | 2 +- docs/implementors/serde/de/trait.Deserialize.js | 2 +- docs/search-index.js | 2 +- 24 files changed, 27 insertions(+), 27 deletions(-) diff --git a/docs/chiquito/ast/query/enum.Queriable.html b/docs/chiquito/ast/query/enum.Queriable.html index cdec6e50..c34239b6 100644 --- a/docs/chiquito/ast/query/enum.Queriable.html +++ b/docs/chiquito/ast/query/enum.Queriable.html @@ -18,10 +18,10 @@ with arbitrary rotation. Must be called on a shared signal and used within a transition constraint. Returns a new Queriable shared signal with positive or negative rotation.

-
source

pub fn uuid(&self) -> u128

source

pub fn annotation(&self) -> String

Trait Implementations§

source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self::Output

Performs the + operation. Read more
source§

impl<F: Clone> Clone for Queriable<F>

source§

fn clone(&self) -> Queriable<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Queriable<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Queriable<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<Queriable<Fr>, D::Error>where +

source

pub fn uuid(&self) -> u128

source

pub fn annotation(&self) -> String

Trait Implementations§

source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self::Output

Performs the + operation. Read more
source§

impl<F: Clone> Clone for Queriable<F>

source§

fn clone(&self) -> Queriable<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Queriable<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Queriable<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<Queriable<Fr>, D::Error>where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Hash> Hash for Queriable<F>

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self::Output

Performs the * operation. Read more
source§

impl<F: Clone> Neg for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>

source§

fn eq(&self, other: &Queriable<F>) -> bool

This method tests for self and other values to be equal, and is used + Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self::Output

Performs the * operation. Read more
source§

impl<F: Clone> Neg for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>

source§

fn eq(&self, other: &Queriable<F>) -> bool

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

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

impl<F: Clone, RHS: Into<ASTExpr<F>>> Sub<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self::Output

Performs the - operation. Read more
source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

fn expr(&self) -> ASTExpr<F>

source§

impl<F: Copy> Copy for Queriable<F>

source§

impl<F: Eq> Eq for Queriable<F>

source§

impl<F> StructuralEq for Queriable<F>

source§

impl<F> StructuralPartialEq for Queriable<F>

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Queriable<F>where F: RefUnwindSafe,

§

impl<F> Send for Queriable<F>where diff --git a/docs/chiquito/ast/type.ASTExpr.html b/docs/chiquito/ast/type.ASTExpr.html index e03540b8..b33b4cbb 100644 --- a/docs/chiquito/ast/type.ASTExpr.html +++ b/docs/chiquito/ast/type.ASTExpr.html @@ -1 +1 @@ -ASTExpr in chiquito::ast - Rust

Type Definition chiquito::ast::ASTExpr

source · 
pub type ASTExpr<F> = Expr<F, Queriable<F>>;

Trait Implementations§

source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
\ No newline at end of file +ASTExpr in chiquito::ast - Rust

Type Definition chiquito::ast::ASTExpr

source · 
pub type ASTExpr<F> = Expr<F, Queriable<F>>;

Trait Implementations§

source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
\ No newline at end of file diff --git a/docs/chiquito/frontend/dsl/cb/struct.Constraint.html b/docs/chiquito/frontend/dsl/cb/struct.Constraint.html index 2ac2d932..188a8675 100644 --- a/docs/chiquito/frontend/dsl/cb/struct.Constraint.html +++ b/docs/chiquito/frontend/dsl/cb/struct.Constraint.html @@ -3,7 +3,7 @@ pub expr: ASTExpr<F>, pub typing: Typing, }
Expand description

Represents a constraint with an associated annotation and expression.

-

Fields§

§annotation: String§expr: ASTExpr<F>§typing: Typing

Trait Implementations§

source§

impl<F: Clone> Clone for Constraint<F>

source§

fn clone(&self) -> Constraint<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Constraint<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<bool> for Constraint<F>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>

source§

fn from(v: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u32> for Constraint<F>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u64> for Constraint<F>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u8> for Constraint<F>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<usize> for Constraint<F>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Constraint<F>where +

Fields§

§annotation: String§expr: ASTExpr<F>§typing: Typing

Trait Implementations§

source§

impl<F: Clone> Clone for Constraint<F>

source§

fn clone(&self) -> Constraint<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Constraint<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<bool> for Constraint<F>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>

source§

fn from(v: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u32> for Constraint<F>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u64> for Constraint<F>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u8> for Constraint<F>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<usize> for Constraint<F>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Constraint<F>where F: RefUnwindSafe,

§

impl<F> Send for Constraint<F>where F: Send,

§

impl<F> Sync for Constraint<F>where F: Sync,

§

impl<F> Unpin for Constraint<F>where diff --git a/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html b/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html index 46131695..a6cbfb3b 100644 --- a/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html +++ b/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html @@ -1,7 +1,7 @@ StepTypeDefInput in chiquito::frontend::dsl - Rust

Enum chiquito::frontend::dsl::StepTypeDefInput

source · 
pub enum StepTypeDefInput {
     Handler(StepTypeHandler),
     String(&'static str),
-}

Variants§

§

Handler(StepTypeHandler)

§

String(&'static str)

Trait Implementations§

source§

impl From<&'static str> for StepTypeDefInput

source§

fn from(s: &'static str) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere +}

Variants§

§

Handler(StepTypeHandler)

§

String(&'static str)

Trait Implementations§

source§

impl From<&'static str> for StepTypeDefInput

source§

fn from(s: &'static str) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Conv for T

§

fn conv<T>(self) -> Twhere diff --git a/docs/chiquito/poly/enum.Expr.html b/docs/chiquito/poly/enum.Expr.html index 1c82053c..0a7cc5c3 100644 --- a/docs/chiquito/poly/enum.Expr.html +++ b/docs/chiquito/poly/enum.Expr.html @@ -6,8 +6,8 @@ Pow(Box<Expr<F, V>>, u32), Query(V), Halo2Expr(Expression<F>), -}

Variants§

§

Const(F)

§

Sum(Vec<Expr<F, V>>)

§

Mul(Vec<Expr<F, V>>)

§

Neg(Box<Expr<F, V>>)

§

Pow(Box<Expr<F, V>>, u32)

§

Query(V)

§

Halo2Expr(Expression<F>)

Implementations§

source§

impl<F: Clone> Expr<F, (Column, i32, String)>

source

pub fn rotate(&self, rot: i32) -> PolyExpr<F>

Trait Implementations§

source§

impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self

Performs the + operation. Read more
source§

impl<F: Clone, V: Clone> Clone for Expr<F, V>

source§

fn clone(&self) -> Expr<F, V>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F: Debug, V: Debug> Debug for Expr<F, V>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>

source§

fn deserialize<D>(deserializer: D) -> Result<Expr<Fr, Queriable<Fr>>, D::Error>where - D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F, V> From<Expression<F>> for Expr<F, V>

source§

fn from(value: Expression<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<bool> for Expr<F, V>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u32> for Expr<F, V>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u64> for Expr<F, V>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u8> for Expr<F, V>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<usize> for Expr<F, V>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.
source§

impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self

Performs the * operation. Read more
source§

impl<F, V> Neg for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self

Performs the unary - operation. Read more
source§

impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self

Performs the - operation. Read more
source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

source§

fn expr(&self) -> Expr<F, V>

Auto Trait Implementations§

§

impl<F, V> RefUnwindSafe for Expr<F, V>where +}

Variants§

§

Const(F)

§

Sum(Vec<Expr<F, V>>)

§

Mul(Vec<Expr<F, V>>)

§

Neg(Box<Expr<F, V>>)

§

Pow(Box<Expr<F, V>>, u32)

§

Query(V)

§

Halo2Expr(Expression<F>)

Implementations§

source§

impl<F: Clone> Expr<F, (Column, i32, String)>

source

pub fn rotate(&self, rot: i32) -> PolyExpr<F>

Trait Implementations§

source§

impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self

Performs the + operation. Read more
source§

impl<F: Clone, V: Clone> Clone for Expr<F, V>

source§

fn clone(&self) -> Expr<F, V>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F: Debug, V: Debug> Debug for Expr<F, V>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>

source§

fn deserialize<D>(deserializer: D) -> Result<Expr<Fr, Queriable<Fr>>, D::Error>where + D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F, V> From<Expression<F>> for Expr<F, V>

source§

fn from(value: Expression<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<bool> for Expr<F, V>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u32> for Expr<F, V>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u64> for Expr<F, V>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u8> for Expr<F, V>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<usize> for Expr<F, V>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.
source§

impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self

Performs the * operation. Read more
source§

impl<F, V> Neg for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self

Performs the unary - operation. Read more
source§

impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self

Performs the - operation. Read more
source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

source§

fn expr(&self) -> Expr<F, V>

Auto Trait Implementations§

§

impl<F, V> RefUnwindSafe for Expr<F, V>where F: RefUnwindSafe, V: RefUnwindSafe,

§

impl<F, V> Send for Expr<F, V>where F: Send, diff --git a/docs/chiquito/poly/trait.ToExpr.html b/docs/chiquito/poly/trait.ToExpr.html index c3913c1d..54023e8e 100644 --- a/docs/chiquito/poly/trait.ToExpr.html +++ b/docs/chiquito/poly/trait.ToExpr.html @@ -1,4 +1,4 @@ ToExpr in chiquito::poly - Rust

Trait chiquito::poly::ToExpr

source · 
pub trait ToExpr<F, V> {
     // Required method
     fn expr(&self) -> Expr<F, V>;
-}

Required Methods§

source

fn expr(&self) -> Expr<F, V>

Implementations on Foreign Types§

source§

impl<F: From<u64>, V> ToExpr<F, V> for u8

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: Field + From<u64>, V> ToExpr<F, V> for i32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u64

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for bool

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for usize

source§

fn expr(&self) -> Expr<F, V>

Implementors§

source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

\ No newline at end of file +}

Required Methods§

source

fn expr(&self) -> Expr<F, V>

Implementations on Foreign Types§

source§

impl<F: Field + From<u64>, V> ToExpr<F, V> for i32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u64

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for bool

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u8

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for usize

source§

fn expr(&self) -> Expr<F, V>

Implementors§

source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

\ No newline at end of file diff --git a/docs/chiquito/poly/trait.ToField.html b/docs/chiquito/poly/trait.ToField.html index 6c0ddd90..79aef1ee 100644 --- a/docs/chiquito/poly/trait.ToField.html +++ b/docs/chiquito/poly/trait.ToField.html @@ -1,4 +1,4 @@ ToField in chiquito::poly - Rust

Trait chiquito::poly::ToField

source · 
pub trait ToField<F> {
     // Required method
     fn field(&self) -> F;
-}

Required Methods§

source

fn field(&self) -> F

Implementations on Foreign Types§

source§

impl<F: From<u64>> ToField<F> for usize

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for bool

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u64

source§

fn field(&self) -> F

source§

impl<F: Field + From<u64>> ToField<F> for i32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u8

source§

fn field(&self) -> F

Implementors§

\ No newline at end of file +}

Required Methods§

source

fn field(&self) -> F

Implementations on Foreign Types§

source§

impl<F: Field + From<u64>> ToField<F> for i32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for bool

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u64

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u8

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for usize

source§

fn field(&self) -> F

Implementors§

\ No newline at end of file diff --git a/docs/chiquito/wit_gen/struct.StepInstance.html b/docs/chiquito/wit_gen/struct.StepInstance.html index 1e5ff745..e73106ad 100644 --- a/docs/chiquito/wit_gen/struct.StepInstance.html +++ b/docs/chiquito/wit_gen/struct.StepInstance.html @@ -5,8 +5,8 @@ values to witness columns in a circuit.

Fields§

§step_type_uuid: StepTypeUUID§assignments: HashMap<Queriable<F>, F>

Implementations§

source§

impl<F> StepInstance<F>

source

pub fn new(step_type_uuid: StepTypeUUID) -> StepInstance<F>

source§

impl<F: Eq + Hash> StepInstance<F>

source

pub fn assign(&mut self, lhs: Queriable<F>, rhs: F)

Takes a Queriable object representing the witness column (lhs) and the value (rhs) to be assigned.

-

Trait Implementations§

source§

impl<F: Clone> Clone for StepInstance<F>

source§

fn clone(&self) -> StepInstance<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F: Debug> Debug for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<F: Default> Default for StepInstance<F>

source§

fn default() -> StepInstance<F>

Returns the “default value” for a type. Read more
source§

impl<'de> Deserialize<'de> for StepInstance<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<StepInstance<Fr>, D::Error>where - D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> Display for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for StepInstance<F>where +

Trait Implementations§

source§

impl<F: Clone> Clone for StepInstance<F>

source§

fn clone(&self) -> StepInstance<F>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<F: Debug> Debug for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more
source§

impl<F: Default> Default for StepInstance<F>

source§

fn default() -> StepInstance<F>

Returns the “default value” for a type. Read more
source§

impl<'de> Deserialize<'de> for StepInstance<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<StepInstance<Fr>, D::Error>where + D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> Display for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for StepInstance<F>where F: RefUnwindSafe,

§

impl<F> Send for StepInstance<F>where F: Send,

§

impl<F> Sync for StepInstance<F>where F: Sync,

§

impl<F> Unpin for StepInstance<F>where diff --git a/docs/implementors/core/clone/trait.Clone.js b/docs/implementors/core/clone/trait.Clone.js index 3026a2be..d9b25642 100644 --- a/docs/implementors/core/clone/trait.Clone.js +++ b/docs/implementors/core/clone/trait.Clone.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl Clone for StepTypeHandler"],["impl Clone for Column"],["impl<F: Clone> Clone for StepInstance<F>"],["impl Clone for StepPlacement"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl Clone for LookupTable"],["impl<F: Clone> Clone for Circuit<F>"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for ExposeOffset"],["impl Clone for TwoStepsSelectorBuilder"],["impl Clone for ColumnType"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for SignalPlacement"],["impl Clone for InternalSignal"],["impl Clone for SingleRowCellManager"],["impl<F: Clone> Clone for Assignments<F>"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl Clone for SimpleStepSelectorBuilder"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl Clone for MaxWidthCellManager"],["impl<F: Clone> Clone for Lookup<F>"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl Clone for Placement"],["impl Clone for SharedSignal"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl Clone for FixedSignal"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl<F: Clone> Clone for StepSelector<F>"],["impl Clone for ForwardSignal"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl Clone for Typing"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl<F: Clone> Clone for Queriable<F>"]] +"chiquito":[["impl Clone for TwoStepsSelectorBuilder"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl Clone for StepPlacement"],["impl Clone for Column"],["impl Clone for MaxWidthCellManager"],["impl Clone for SharedSignal"],["impl<F: Clone> Clone for Circuit<F>"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl<F: Clone> Clone for Queriable<F>"],["impl Clone for FixedSignal"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for Placement"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl Clone for StepTypeHandler"],["impl Clone for LookupTable"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl Clone for SingleRowCellManager"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl Clone for InternalSignal"],["impl Clone for ForwardSignal"],["impl Clone for SignalPlacement"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for ColumnType"],["impl<F: Clone> Clone for Assignments<F>"],["impl Clone for ExposeOffset"],["impl<F: Clone> Clone for StepInstance<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone> Clone for Lookup<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl Clone for SimpleStepSelectorBuilder"],["impl Clone for Typing"],["impl<F: Clone> Clone for LookupTableStore<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/cmp/trait.Eq.js b/docs/implementors/core/cmp/trait.Eq.js index 8c37cc6a..58b48140 100644 --- a/docs/implementors/core/cmp/trait.Eq.js +++ b/docs/implementors/core/cmp/trait.Eq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Eq for ForwardSignal"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for Typing"],["impl Eq for InternalSignal"],["impl<F> Eq for StepType<F>"],["impl Eq for StepTypeHandler"],["impl Eq for Column"],["impl Eq for SharedSignal"],["impl Eq for FixedSignal"],["impl<F: Eq> Eq for Queriable<F>"]] +"chiquito":[["impl<F> Eq for StepType<F>"],["impl Eq for SharedSignal"],["impl<F: Eq> Eq for Queriable<F>"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for StepTypeHandler"],["impl Eq for Typing"],["impl Eq for Column"],["impl Eq for FixedSignal"],["impl Eq for ForwardSignal"],["impl Eq for InternalSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/cmp/trait.PartialEq.js b/docs/implementors/core/cmp/trait.PartialEq.js index c695bb6b..921977d9 100644 --- a/docs/implementors/core/cmp/trait.PartialEq.js +++ b/docs/implementors/core/cmp/trait.PartialEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<InternalSignal> for InternalSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<Typing> for Typing"],["impl PartialEq<Column> for Column"],["impl PartialEq<ForwardSignal> for ForwardSignal"]] +"chiquito":[["impl PartialEq<SharedSignal> for SharedSignal"],["impl PartialEq<InternalSignal> for InternalSignal"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<Typing> for Typing"],["impl PartialEq<Column> for Column"],["impl<F> PartialEq<StepType<F>> for StepType<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/convert/trait.From.js b/docs/implementors/core/convert/trait.From.js index d286c7b6..ef56b5b5 100644 --- a/docs/implementors/core/convert/trait.From.js +++ b/docs/implementors/core/convert/trait.From.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"]] +"chiquito":[["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/default/trait.Default.js b/docs/implementors/core/default/trait.Default.js index 1cf4b556..5e7fe673 100644 --- a/docs/implementors/core/default/trait.Default.js +++ b/docs/implementors/core/default/trait.Default.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl Default for MaxWidthCellManager"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F: Default> Default for TraceWitness<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Default> Default for StepInstance<F>"],["impl<F> Default for MappingContext<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F> Default for LookupTableStore<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl Default for SingleRowCellManager"],["impl<F: Default> Default for Circuit<F>"],["impl<F> Default for Lookup<F>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl<F> Default for StepSelector<F>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F> Default for Assignments<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl<F> Default for LookupTableRegistry<F>"],["impl Default for SimpleStepSelectorBuilder"],["impl Default for Placement"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"]] +"chiquito":[["impl<F> Default for Assignments<F>"],["impl Default for SingleRowCellManager"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F: Default> Default for Circuit<F>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F> Default for MappingContext<F>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F: Default> Default for StepInstance<F>"],["impl<F: Default> Default for TraceWitness<F>"],["impl Default for Placement"],["impl Default for MaxWidthCellManager"],["impl Default for TwoStepsSelectorBuilder"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F> Default for StepSelector<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F> Default for Lookup<F>"],["impl<F> Default for LookupTableStore<F>"],["impl Default for SimpleStepSelectorBuilder"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/fmt/trait.Debug.js b/docs/implementors/core/fmt/trait.Debug.js index dc7418e4..eeac3df4 100644 --- a/docs/implementors/core/fmt/trait.Debug.js +++ b/docs/implementors/core/fmt/trait.Debug.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Debug for InternalSignal"],["impl Debug for MaxWidthCellManager"],["impl Debug for Placement"],["impl Debug for SimpleStepSelectorBuilder"],["impl<F: Debug> Debug for Poly<F>"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl Debug for SingleRowCellManager"],["impl Debug for ExposeOffset"],["impl Debug for TwoStepsSelectorBuilder"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl Debug for StepTypeHandler"],["impl Debug for LookupTable"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for StepInstance<F>"],["impl Debug for Typing"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F: Debug> Debug for Assignments<F>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl Debug for ColumnType"],["impl<F> Debug for Queriable<F>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for SignalPlacement"],["impl<F: Debug> Debug for Circuit<F>"],["impl Debug for ForwardSignal"],["impl Debug for StepPlacement"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug> Debug for StepType<F>"],["impl<F> Debug for Constraint<F>"],["impl Debug for Column"],["impl Debug for SharedSignal"]] +"chiquito":[["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl Debug for TwoStepsSelectorBuilder"],["impl Debug for Column"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug> Debug for StepInstance<F>"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl Debug for MaxWidthCellManager"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl Debug for InternalSignal"],["impl Debug for SharedSignal"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F> Debug for Constraint<F>"],["impl Debug for Placement"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl Debug for FixedSignal"],["impl Debug for SingleRowCellManager"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug> Debug for Poly<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl Debug for StepTypeHandler"],["impl Debug for ForwardSignal"],["impl Debug for ColumnType"],["impl Debug for SimpleStepSelectorBuilder"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F> Debug for Queriable<F>"],["impl Debug for LookupTable"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for ExposeOffset"],["impl Debug for SignalPlacement"],["impl Debug for Typing"],["impl Debug for StepPlacement"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F: Debug> Debug for Assignments<F>"],["impl<F: Debug> Debug for StepType<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/hash/trait.Hash.js b/docs/implementors/core/hash/trait.Hash.js index fdf43b6f..c089418c 100644 --- a/docs/implementors/core/hash/trait.Hash.js +++ b/docs/implementors/core/hash/trait.Hash.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Hash for FixedSignal"],["impl<F> Hash for StepType<F>"],["impl Hash for StepTypeHandler"],["impl Hash for ForwardSignal"],["impl Hash for InternalSignal"],["impl Hash for SharedSignal"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"],["impl<F: Hash> Hash for Queriable<F>"],["impl Hash for ColumnType"],["impl Hash for Column"]] +"chiquito":[["impl Hash for ForwardSignal"],["impl Hash for FixedSignal"],["impl Hash for ColumnType"],["impl Hash for InternalSignal"],["impl<F: Hash> Hash for Queriable<F>"],["impl Hash for StepTypeHandler"],["impl Hash for SharedSignal"],["impl<F> Hash for StepType<F>"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"],["impl Hash for Column"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.Copy.js b/docs/implementors/core/marker/trait.Copy.js index d6516608..a4539ebd 100644 --- a/docs/implementors/core/marker/trait.Copy.js +++ b/docs/implementors/core/marker/trait.Copy.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Copy for InternalSignal"],["impl Copy for FixedSignal"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for StepTypeHandler"],["impl Copy for LookupTable"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for ExposeOffset"],["impl Copy for SharedSignal"],["impl Copy for ForwardSignal"]] +"chiquito":[["impl Copy for ExposeOffset"],["impl Copy for SharedSignal"],["impl Copy for FixedSignal"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for InternalSignal"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for StepTypeHandler"],["impl Copy for LookupTable"],["impl Copy for ForwardSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.StructuralEq.js b/docs/implementors/core/marker/trait.StructuralEq.js index 4f6b4fbe..6988a410 100644 --- a/docs/implementors/core/marker/trait.StructuralEq.js +++ b/docs/implementors/core/marker/trait.StructuralEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl StructuralEq for ForwardSignal"],["impl StructuralEq for SharedSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for Typing"],["impl StructuralEq for InternalSignal"],["impl StructuralEq for StepTypeHandler"],["impl StructuralEq for FixedSignal"],["impl<F> StructuralEq for Queriable<F>"]] +"chiquito":[["impl StructuralEq for ForwardSignal"],["impl StructuralEq for FixedSignal"],["impl StructuralEq for InternalSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for SharedSignal"],["impl<F> StructuralEq for Queriable<F>"],["impl StructuralEq for Typing"],["impl StructuralEq for StepTypeHandler"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.StructuralPartialEq.js b/docs/implementors/core/marker/trait.StructuralPartialEq.js index 7e497d4c..a76b57c2 100644 --- a/docs/implementors/core/marker/trait.StructuralPartialEq.js +++ b/docs/implementors/core/marker/trait.StructuralPartialEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl StructuralPartialEq for Typing"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for StepTypeHandler"],["impl StructuralPartialEq for InternalSignal"]] +"chiquito":[["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for SharedSignal"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for StepTypeHandler"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for InternalSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Add.js b/docs/implementors/core/ops/arith/trait.Add.js index c54ea1db..cc469c3e 100644 --- a/docs/implementors/core/ops/arith/trait.Add.js +++ b/docs/implementors/core/ops/arith/trait.Add.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>"],["impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>"]] +"chiquito":[["impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>"],["impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Mul.js b/docs/implementors/core/ops/arith/trait.Mul.js index f5c4c12f..bbbce8f1 100644 --- a/docs/implementors/core/ops/arith/trait.Mul.js +++ b/docs/implementors/core/ops/arith/trait.Mul.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>"],["impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>"]] +"chiquito":[["impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>"],["impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Neg.js b/docs/implementors/core/ops/arith/trait.Neg.js index f7956875..46a823a6 100644 --- a/docs/implementors/core/ops/arith/trait.Neg.js +++ b/docs/implementors/core/ops/arith/trait.Neg.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone> Neg for Queriable<F>"],["impl<F, V> Neg for Expr<F, V>"]] +"chiquito":[["impl<F, V> Neg for Expr<F, V>"],["impl<F: Clone> Neg for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js b/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js index 41f8ae4b..d91333c7 100644 --- a/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js +++ b/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"]] +"chiquito":[["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2SuperCircuit<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/serde/de/trait.Deserialize.js b/docs/implementors/serde/de/trait.Deserialize.js index 9d3a61cb..f6068657 100644 --- a/docs/implementors/serde/de/trait.Deserialize.js +++ b/docs/implementors/serde/de/trait.Deserialize.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for SharedSignal"]] +"chiquito":[["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for SharedSignal"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for FixedSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/search-index.js b/docs/search-index.js index 4be90107..feac2b79 100644 --- a/docs/search-index.js +++ b/docs/search-index.js @@ -1,5 +1,5 @@ var searchIndex = JSON.parse('{\ -"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLFMLLLLRFFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLL","n":["ast","field","frontend","plonkish","poly","stdlib","wit_gen","ASTExpr","Circuit","Constraint","ExposeOffset","First","FixedGen","FixedSignal","ForwardSignal","ImportedHalo2Advice","ImportedHalo2Column","ImportedHalo2Fixed","InternalSignal","Last","Lookup","SharedSignal","Step","StepType","StepTypeUUID","TransitionConstraint","add","add_constr","add_fixed","add_forward","add_halo2_advice","add_halo2_fixed","add_shared","add_signal","add_step_type","add_step_type_def","add_transition","annotation","annotation","annotation","annotations","annotations","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","column","constraints","default","default","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable","eq","eq","eq","eq","eq","eq","expose","exposed","expr","expr","exprs","first_step","fixed_assignments","fixed_signals","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","forward_signals","from","from","from","from","from","from","from","from","from","from","from","from","from","get_step_type","halo2_advice","halo2_fixed","hash","hash","hash","hash","hash","hash","id","init","init","init","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","into","into","into","last_step","lookups","name","new","new","new","new","new_with_id","new_with_id","new_with_id","new_with_id","new_with_phase","new_with_phase","num_steps","phase","phase","q_enable","query","set_fixed_assignments","set_trace","shared_signals","signals","step_types","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","trace","transition_constraints","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","uuid","uuid","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","Fixed","Forward","Halo2AdviceQuery","Halo2FixedQuery","Internal","Queriable","Shared","StepTypeNext","_unaccessible","add","annotation","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","eq","expr","fmt","from","hash","init","into","mul","neg","next","prev","rot","sub","to_owned","try_from","try_into","type_id","uuid","vzip","Field","ONE","ZERO","mi","dsl","python","CircuitContext","Handler","StepTypeContext","StepTypeDefInput","StepTypeHandler","StepTypeSetupContext","StepTypeWGHandler","String","add_lookup","annotation","annotation","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cb","circuit","clone","clone_into","constr","constr","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","drop","drop","drop","drop","drop","drop","eq","expose","fixed","fixed_gen","fmt","fmt","forward","forward_with_phase","from","from","from","from","from","from","from","from","from","hash","import_halo2_advice","import_halo2_fixed","init","init","init","init","init","init","internal","into","into","into","into","into","into","lb","new","new","new_table","new_with_id","next","pragma_disable_q_enable","pragma_first_step","pragma_last_step","pragma_num_steps","sc","setup","shared","shared_with_phase","step_type","step_type_def","to_owned","trace","transition","transition","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","wg","wg","AntiBooly","Boolean","Constraint","Typing","Unknown","and","annotate","annotation","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","eq","eq","expr","fmt","fmt","from","from","from","from","from","from","from","from","from","from","if_next_step","init","init","into","into","isz","lookup","next_step_must_be","next_step_must_not_be","not","or","rlc","select","table","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","typing","unless","vzip","vzip","when","xor","InPlaceLookupBuilder","LookupBuilder","LookupTable","LookupTableBuilder","LookupTableRegistry","LookupTableStore","add","add","add","apply","apply","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","enable","fmt","fmt","fmt","from","from","from","from","from","get","init","init","init","init","init","into","into","into","into","into","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","when","when","SuperCircuitContext","borrow","borrow_mut","compile","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","sub_circuit_with_ast","super_circuit","tables","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","chiquito_super_circuit_halo2_mock_prover","backend","compiler","ir","halo2","plaf","ChiquitoHalo2","ChiquitoHalo2Circuit","ChiquitoHalo2SuperCircuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","chiquito2Halo2","chiquitoSuperCircuit2Halo2","clone","clone","clone_into","clone_into","configure","configure","configure","configure_sub_circuit","configure_with_params","configure_with_params","debug","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","from","from","from","init","init","init","instance","instance","into","into","into","new","new","new","params","params","synthesize","synthesize","synthesize","to_halo2_advice","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","without_witnesses","without_witnesses","ChiquitoPlaf","ChiquitoPlafWitGen","borrow","borrow","borrow_mut","borrow_mut","chiquito2Plaf","clone","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","fmt","from","from","generate","get_plaf","init","init","into","into","new","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","CompilerConfig","borrow","borrow_mut","cell_manager","clone","clone_into","compile","compile_phase1","compile_phase2","config","deref","deref_mut","drop","from","init","into","step_selector","to_owned","try_from","try_into","type_id","vzip","CellManager","MaxWidthCellManager","Placement","SignalPlacement","SingleRowCellManager","StepPlacement","base_height","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","column","columns","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","find_internal_signal_placement","first_step_height","fixed","fmt","fmt","fmt","fmt","fmt","forward","from","from","from","from","from","from","get_fixed_placement","get_forward_placement","get_shared_placement","init","init","init","init","init","into","into","into","into","into","new","new","place","place","place","rotation","same_height","shared","step_height","steps","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","SelectorAssignment","SimpleStepSelectorBuilder","StepSelector","StepSelectorBuilder","TwoStepsSelectorBuilder","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","columns","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","get_selector_assignment","halo2_column","hint_one","init","init","init","into","into","into","next_expr","select","selector_assignment","selector_expr","selector_expr_not","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","unselect","vzip","vzip","vzip","Advice","Circuit","Column","ColumnType","Fixed","Halo2Advice","Halo2Fixed","Poly","PolyExpr","PolyLookup","advice","annotation","annotation","annotation","assignments","ast_id","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","columns","ctype","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","exposed","expr","exprs","fixed","fixed_assignments","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","halo2_advice","halo2_fixed","hash","hash","id","init","init","init","init","init","into","into","into","into","into","lookups","new_halo2_advice","new_halo2_fixed","phase","polys","query","query","rotate","sc","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","AssignmentGenerator","Assignments","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","empty","fmt","fmt","from","from","generate","generate_with_witness","init","init","into","into","new","to_owned","to_owned","to_string","try_from","try_from","try_into","try_into","type_id","type_id","uuid","vzip","vzip","Queriable","Mapping","MappingContext","MappingGenerator","SuperAssignments","SuperCircuit","add_sub_circuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","clone","clone_into","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","from","from","from","generate","get_mapping","get_sub_circuits","get_super_assignments","init","init","init","into","into","into","map","map_with_witness","new","set_mapping","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Const","Expr","Halo2Expr","Mul","Neg","Pow","Query","Sum","ToExpr","ToField","add","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","expr","expr","field","fmt","from","from","from","from","from","from","from","from","init","into","mul","neg","rotate","sub","to_owned","try_from","try_into","type_id","vzip","IsZero","borrow","borrow_mut","deref","deref_mut","drop","from","init","into","is_zero","setup","try_from","try_into","type_id","vzip","wg","FixedAssignment","FixedGenContext","StepInstance","Trace","TraceContext","TraceGenerator","TraceWitness","Witness","add","assign","assign","assignments","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","drop","drop","drop","drop","drop","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","generate","get_assignments","get_witness","init","init","init","init","init","into","into","into","into","into","new","new","new","new","padding","step_instances","step_type_uuid","to_owned","to_owned","to_owned","to_string","to_string","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip"],"q":[[0,"chiquito"],[7,"chiquito::ast"],[288,"chiquito::ast::query"],[326,"chiquito::field"],[330,"chiquito::frontend"],[332,"chiquito::frontend::dsl"],[461,"chiquito::frontend::dsl::cb"],[526,"chiquito::frontend::dsl::lb"],[620,"chiquito::frontend::dsl::sc"],[640,"chiquito::frontend::python"],[644,"chiquito::plonkish"],[647,"chiquito::plonkish::backend"],[649,"chiquito::plonkish::backend::halo2"],[721,"chiquito::plonkish::backend::plaf"],[755,"chiquito::plonkish::compiler"],[777,"chiquito::plonkish::compiler::cell_manager"],[887,"chiquito::plonkish::compiler::step_selector"],[956,"chiquito::plonkish::ir"],[1076,"chiquito::plonkish::ir::assignments"],[1120,"chiquito::plonkish::ir::query"],[1121,"chiquito::plonkish::ir::sc"],[1177,"chiquito::poly"],[1219,"chiquito::stdlib"],[1235,"chiquito::wit_gen"]],"d":["","","","","","","","","Circuit","Condition","","","","","ForwardSignal","","","","","","","","","Step","","TransitionCondition","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Calls U::from(self).","","","Call next function on a Querible forward signal to build …","Call prev function on a Querible shared signal to build …","Call rot function on a Querible shared signal to build …","","","","","","","","","The one element of the field, the multiplicative identity.","The zero element of the field, the additive identity.","Computes the multiplicative inverse of this element, …","","","A generic structure designed to handle the context of a …","","A generic structure designed to handle the context of a …","","","","","","Adds a lookup to the step type.","","","","","","","","","","","","","","","","Creates a Circuit instance by providing a name and a …","","","DEPRECATED","Adds a constraint to the step type. Involves internal …","","","","","","","","","","","","","","","","","","","","","Exposes the first step instance value of a forward signal …","","Executes the fixed generation function provided by the …","","","Adds a forward signal to the circuit with a name string …","Adds a forward signal to the circuit with a name string …","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","Imports a halo2 advice column with a name string into the …","Imports a halo2 fixed column with a name string into the …","","","","","","","Adds an internal signal to the step type with the given …","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","Enforce the type of the first step by adding a constraint …","Enforce the type of the last step by adding a constraint …","","","Define step constraints.","Adds a shared signal to the circuit with a name string and …","Adds a shared signal to the circuit with a name string and …","Adds a new step type with the specified name to the …","Defines a step type using the provided StepTypeHandler and …","","Sets the trace function that builds the witness. The trace …","DEPRECATED","Adds a transition constraint to the step type. It’s the …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Represents a constraint with an associated annotation and …","","","Takes an iterator of input constraints and returns a new …","Takes a string annotation and an expression, and returns a …","","","","","","","","","","","","","","","","Takes two constraints and returns a new constraint …","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Takes a StepTypeHandler and a constraint, and returns a …","","","Calls U::from(self).","Calls U::from(self).","Takes a constraint and returns a new constraint …","Creates a new empty LookupBuilder object and returns it. …","Takes a StepTypeHandler and returns a new constraint that …","Takes a StepTypeHandler and returns a new constraint that …","Takes a constraint and returns a new constraint …","Takes an iterator of input constraints and returns a new …","Computes the randomized linear combination of the given …","Takes a selector constraint and two other constraints, and …","","","","","","","","","","","Takes a selector constraint and a when_false constraint, …","","","Takes a selector constraint and a when_true constraint, …","Takes two expressions and returns a new expression …","A helper struct for building lookup tables.","","","","","","Adds a source column-lookup column pair to the lookup …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","Adds a selector column specific to the lookup table. …","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","Parses JSON into ast::Circuit and compile. Generates a …","Runs MockProver for a single circuit given JSON of …","Compile a ChiquitoHalo2SuperCircuit object from a list of …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","A struct that can be used a fixed column generation …","A struct that represents a witness generation context. It …","","","","","","","Takes a Queriable object representing the fixed column …","Takes a Queriable object representing the witness column …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,0,0,0,0,0,0,0,0,24,0,0,0,0,0,0,0,24,0,0,24,0,0,0,3,6,7,7,7,7,7,6,7,7,6,22,23,3,6,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,26,6,7,3,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,6,7,22,23,3,11,18,9,24,19,26,3,3,6,11,18,9,19,26,7,7,22,23,3,7,7,7,6,7,22,23,11,18,9,24,19,26,7,6,5,5,7,22,23,3,11,18,9,24,19,26,7,7,7,6,11,18,9,19,26,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,6,6,6,9,19,26,11,18,9,19,11,18,7,11,18,7,0,7,7,7,6,7,7,22,23,3,11,18,9,24,19,26,7,6,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,11,18,9,19,26,6,7,22,23,3,11,18,9,24,19,26,32,32,32,32,32,0,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,0,48,48,48,0,0,0,49,0,0,0,0,0,49,44,50,20,49,46,44,50,47,20,49,46,44,50,47,20,0,0,20,20,46,44,49,46,44,50,47,20,49,46,44,50,47,20,20,49,46,44,50,47,20,20,47,47,47,47,20,47,47,49,49,49,46,44,50,47,20,20,20,47,47,49,46,44,50,47,20,46,49,46,44,50,47,20,0,46,50,47,20,20,47,47,47,47,0,46,47,47,47,47,20,47,46,44,49,46,44,50,47,20,49,46,44,50,47,20,49,46,44,50,47,20,50,20,49,46,44,50,47,20,46,50,58,58,0,0,58,0,0,35,35,58,35,58,35,58,35,58,35,58,35,58,35,58,0,58,35,35,58,35,35,35,35,35,35,35,35,35,58,0,35,58,35,58,0,0,0,0,0,0,0,0,0,35,58,35,58,35,58,35,58,35,0,35,58,0,0,0,0,0,0,0,0,61,52,51,63,53,61,63,52,51,53,61,63,52,51,53,45,61,63,52,51,53,52,51,53,61,52,51,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,61,52,51,53,61,63,52,51,53,51,61,63,52,51,53,61,63,52,51,53,52,51,53,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,52,61,63,52,51,53,63,53,0,64,64,64,64,64,64,64,64,64,64,64,64,64,0,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,74,75,77,74,75,77,0,0,74,75,74,75,74,75,77,74,75,77,74,74,75,77,74,75,77,74,75,77,74,75,77,74,77,74,75,77,74,75,77,75,77,74,75,77,74,75,77,75,77,74,75,77,0,74,75,74,75,77,74,75,77,74,75,77,74,75,77,75,77,0,0,86,85,86,85,0,85,85,86,85,86,85,86,85,85,86,85,86,85,86,85,86,85,85,85,86,85,86,85,86,85,86,85,0,68,68,0,68,68,0,0,0,0,68,68,68,68,68,68,0,68,68,68,68,68,0,0,0,0,0,0,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,91,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,91,91,91,89,90,91,92,93,91,89,89,90,91,92,93,91,91,91,89,90,91,92,93,89,90,91,92,93,89,93,66,92,93,89,91,91,91,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,0,0,0,0,0,96,94,95,96,94,95,67,94,95,96,94,95,96,94,95,96,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,95,95,96,94,95,96,94,95,96,96,96,96,96,96,94,95,96,94,95,96,94,95,96,94,95,96,96,94,95,99,0,0,0,99,99,99,0,0,0,83,83,100,101,0,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,83,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,100,101,83,73,73,99,83,100,101,73,99,83,100,101,83,83,99,83,73,73,99,83,100,101,73,99,83,100,101,73,83,83,83,73,0,83,98,0,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,99,83,100,101,0,0,69,78,69,78,69,78,69,78,69,78,69,78,78,69,78,78,69,78,69,78,78,69,78,69,69,69,78,69,78,69,69,78,78,69,78,69,78,69,78,69,69,78,0,0,0,0,0,0,65,65,105,104,65,105,104,104,104,65,105,104,65,105,104,65,105,104,65,105,104,65,105,104,104,65,65,105,65,105,104,65,105,104,105,105,104,65,104,65,105,104,65,105,104,65,105,104,65,105,104,107,0,107,107,107,107,107,107,0,0,107,107,107,107,107,107,107,107,107,115,107,116,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,109,109,109,109,109,109,109,109,109,109,109,109,109,109,109,0,0,0,0,0,0,0,0,112,113,111,111,103,113,111,102,112,103,113,111,102,112,103,111,102,103,111,102,103,111,102,103,113,111,102,112,103,113,111,102,112,111,102,103,113,111,102,112,111,111,102,102,112,103,113,111,102,112,103,113,112,103,113,111,102,112,103,113,111,102,112,103,113,111,112,112,102,111,103,111,102,111,102,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112],"f":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]],[5,[[0,[1,2]]]]]],[[6,4,5]],[[7,[8,[4]]],9],[[7,[8,[4]],10],11],[[7,12,[14,[13]]],15],[[7,12,[14,[16]]],17],[[7,[8,[4]],10],18],[[6,[8,[4]]],19],[[7,20,[8,[4]]]],[[7,6],21],[[6,4,5]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[7,[2,2]]],[[7,[2,2]]]],[[[22,[2]]],[[22,[2]]]],[[[23,[2]]],[[23,[2]]]],[[[3,[2]]],[[3,[2]]]],[11,11],[18,18],[9,9],[24,24],[19,19],[[[26,[[0,[2,25]]]]],[[26,[[0,[2,25]]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],7],[[],3],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[6,[28]]]]]],[27,[[29,[[7,[28]]]]]],[27,[[29,[[22,[28]]]]]],[27,[[29,[[23,[28]]]]]],[27,[[29,[[3,[28]]]]]],[27,[[29,[11]]]],[27,[[29,[18]]]],[27,[[29,[9]]]],[27,[[29,[24]]]],[27,[[29,[19]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]]]],0,[[6,6],30],[[11,11],30],[[18,18],30],[[9,9],30],[[19,19],30],[[[26,[[0,[31,25]]]],[26,[[0,[31,25]]]]],30],[[7,32,24]],0,0,0,0,0,0,0,[[[6,[1]],33],34],[[[7,[1,1]],33],34],[[[22,[1]],33],34],[[[23,[1]],33],34],[[11,33],34],[[18,33],34],[[9,33],34],[[24,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[32,5],[35,5],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[7,36],[[37,[6]]]],0,0,[[6,38]],[[11,38]],[[18,38]],[[9,38]],[[19,38]],[[[26,[[0,[39,25]]]],38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,[[36,4],6],[4,9],[4,19],[[[14,[25]],4],[[26,[25]]]],[[36,10,4],11],[[36,10,4],18],[[36,4],9],[[36,4],19],[[10,4],11],[[10,4],18],0,[11,10],[18,10],0,0,[[7,40]],[[7,41]],0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[6,21],[11,36],[18,36],[9,36],[19,36],[[[26,[25]]],36],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,[[[32,[2]],[8,[[5,[2]]]]]],[32,4],[[]],[[]],[[[32,[2]]],[[32,[2]]]],[[]],[10],[10],[27,[[29,[[32,[28]]]]]],[10],[[[32,[31]],[32,[31]]],30],[[[32,[2]]],[[5,[2]]]],[[32,33],34],[[]],[[[32,[39]],38]],[[],10],[[]],[[[32,[2]],[8,[[5,[2]]]]]],[[[32,[2]]]],[32,32],[32,32],[[32,43],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],42],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[44,[[0,[1,2]]]],[45,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,41],7],[20,20],[[]],[[46,[8,[35]]]],[[44,[8,[35]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[20]]]],[10],[10],[10],[10],[10],[10],[[20,20],30],[[47,32,24]],[[47,12],32],[[[47,[[0,[48,39]]]],41]],[[[47,[1,1]],33],34],[[20,33],34],[[47,12],32],[[47,12,10],32],[12,49],[20,49],[[]],[[]],[[]],[[]],[[]],[[]],[[[50,[41]]],20],[[20,38]],[[47,12,[14,[13]]],32],[[47,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[46,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,51],46],[[36,12,41],[[50,[41]]]],[[47,52],53],[[36,4],20],[20,32],[47],[[47,[8,[20]]]],[[47,[8,[20]]]],[[47,10]],0,[[46,41]],[[47,12],32],[[47,12,10],32],[[47,12],20],[[47,[8,[49]],54],[[50,[41]]]],[[]],[[47,41]],[[46,[8,[35]]]],[[44,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[[50,[41]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[46,41],[[50,[41]]]],0,0,0,0,0,0,[55,[[35,[[57,[56]]]]]],[[4,[8,[5]],58],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[58,58],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[58,58],30],0,[[35,33],34],[[58,33],34],[59,[[35,[[0,[[57,[56]],1]]]]]],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[30,[[35,[[0,[[57,[56]],1]]]]]],[60,[[35,[[0,[[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[32,35],[10,[[35,[[0,[[57,[56]],1]]]]]],[[]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[61,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[[35,[[57,[56]]]]]]],[[35,[[57,[56]]]]]],[[[0,[55,2]]],[[35,[[0,[[57,[56]],1]]]]]],[[[0,[[8,[[5,[[57,[56]]]]]],2]]],[[5,[[57,[56]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[],[[52,[62]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],0,[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],0,0,0,0,0,0,[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[52,[8,[5]]],52],[[51,52]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[44,3],[[61,44],3],[[[63,[[0,[2,1]]]],[44,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[52,[2]]],[[52,[2]]]],[51,51],[53,53],[[]],[[]],[[]],[[],61],[[],52],[[],51],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[[52,[1]],33],34],[[[51,[1]],33],34],[[53,33],34],[[]],[[]],[[]],[[]],[[]],[[[51,[2]],36],[[52,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[52,36],[[]],[[]],[[]],[[]],[[]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],0,[[]],[[]],[[[64,[[0,[48,39]]]]],[[65,[[0,[48,39]]]]]],[[],64],[10],[10],[10],[[]],[[],10],[[]],[[[64,[[0,[48,39]]]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],[7,[[0,[48,39]]]]],[[69,[[0,[48,39]]]]]],[[12,41],[[65,[[0,[48,39]]]]]],0,[[],29],[[],29],[[],42],[[]],0,[12,36],[[12,36,10]],[[[70,[36]],[71,[36,12]],10]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[65,[[0,[72,[57,[56]],39]]]]],[[70,[[74,[[0,[72,[57,[56]],39]]]]]]]],[[[74,[[0,[2,72,[57,[56]]]]]]],[[74,[[0,[2,72,[57,[56]]]]]]]],[[[75,[[0,[2,72,[57,[56]]]]]]],[[75,[[0,[2,72,[57,[56]]]]]]]],[[]],[[]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],0,[[],[[74,[[0,[62,72,[57,[56]]]]]]]],[[],[[75,[[0,[62,72,[57,[56]]]]]]]],[[],[[77,[[0,[62,72,[57,[56]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[74,[[0,[1,72,[57,[56]]]]]],33],34],[[[77,[[0,[1,72,[57,[56]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[75,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[70,[[74,[[0,[72,[57,[56]],39]]]]]],[80,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],[[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]]],[[[75,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[77,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[76,[72]],83],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[[75,[[0,[72,[57,[56]],39]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[73,[84]],59,30]],[[[85,[[0,[2,84]]]]],[[85,[[0,[2,84]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[85,[[0,[1,84]]]],33],34],[[]],[[]],[[86,[79,[[78,[[0,[84,39]]]]]]],87],[[[85,[84]],59],88],[[],10],[[],10],[[]],[[]],[[[73,[84]],30],[[85,[84]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[]],[[]],0,[[]],[[]],0,[[[68,[[0,[2,66]],[0,[2,67]]]]],[[68,[[0,[2,66]],[0,[2,67]]]]]],[[]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[0,[[0,[48,2]]]]]],[[66,67],[[68,[66,67]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],42],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[89,89],[90,90],[91,91],[92,92],[93,93],[[]],[[]],[[]],[[]],[[]],0,0,[[],91],[[],92],[[],93],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[91,21,19],89],[91,59],0,[[89,33],34],[[90,33],34],[[91,33],34],[[92,33],34],[[93,33],34],0,[[]],[[],89],[[]],[[]],[[]],[[]],[[91,9],[[79,[89]]]],[[91,11],[[79,[89]]]],[[91,18],[[79,[89]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[83,43],89],[[10,30],93],0,0,0,0,[91,30],0,[[91,21],59],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[48]]]],[[94,[0,[48]]]],[[95,[0,[48]]]],[[[96,[2]]],[[96,[2]]]],[94,94],[95,95],[[]],[[]],[[]],0,[[],96],[[],94],[[],95],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[96,[1]],33],34],[[94,33],34],[[95,33],34],[[]],[[]],[[]],[[[96,[2]],21],[[70,[[97,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[96,[2]],21,59],[[98,[2]]]],[[[96,[2]],21,[98,[2]]],[[98,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[[96,[2]],21],[[98,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],83],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[2]]],[[73,[2]]]],[99,99],[83,83],[[[100,[2]]],[[100,[2]]]],[[[101,[2]]],[[101,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[73,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[83,83],30],0,0,0,[[[8,[4]]],83],0,[[[73,[1]],33],34],[[99,33],34],[[83,33],34],[[[100,[1]],33],34],[[[101,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[99,38]],[[83,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],83],[[[8,[4]],17],83],0,0,0,[[83,43,[8,[4]]],98],[[[98,[2]],43],[[98,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[83,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[[[78,[2]]],[[78,[2]]]],[[]],[[]],[[],[[69,[2]]]],[[],78],[10],[78],[10],[10],[78],[10],[10],[10],[36,[[69,[48]]]],[[[78,[1]],33],34],[[[78,[1]],33],34],[[]],[[]],[[[69,[48]]],[[78,[48]]]],[[[69,[48]],[102,[48]]],[[78,[48]]]],[[],10],[[],10],[[]],[[]],[[[70,[83]],91,[96,[48]],[103,[48]],10,36],[[69,[48]]]],[[]],[[]],[[],4],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[[69,[48]]],36],[[]],[[]],0,0,0,0,0,0,[[65,73]],[[]],[[]],[[]],[[]],[[]],[[]],[104,104],[[]],[[],65],[[],105],[[],104],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[104,[48]]],[[80,[48]]]],[65,104],[[[65,[2]]],[[70,[[73,[2]]]]]],[[[105,[48]]],[[80,[48]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[105,[48]],[69,[48]]]],[[[105,[48]],[69,[48]],[102,[48]]]],[[[37,[[106,[48]]]]],[[104,[48]]]],[[[65,[48]],41]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[107,[8,[107]]],107],[[]],[[]],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[10],[10],[27,[[29,[[107,[28,[32,[28]]]]]]]],[10],[[],107],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[[[107,[1,1]],33],34],[10,[[107,[[57,[56]]]]]],[108,107],[60,[[107,[[57,[56]]]]]],[30,[[107,[[57,[56]]]]]],[43,[[107,[[0,[48,[57,[56]]]]]]]],[59,[[107,[[57,[56]]]]]],[56,[[107,[[57,[56]]]]]],[[]],[[],10],[[]],[[107,[8,[107]]],107],[107,107],[[[107,[2]],43],[[98,[2]]]],[[107,[8,[107]]],107],[[]],[[],29],[[],29],[[],42],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[109,[[0,[48,[57,[56]]]]]]],[[35,[[0,[48,[57,[56]]]]]]]],[[[46,[[0,[48,[57,[56]]]]]],[8,[[35,[[0,[48,[57,[56]]]]]]]],[32,[[0,[48,[57,[56]]]]]]],[[109,[[0,[48,[57,[56]]]]]]]],[[],29],[[],29],[[],42],[[]],[[[109,[[0,[48,110,39]]]],[111,[[0,[48,110,39]]]],[0,[48,110,39]]]],0,0,0,0,0,0,0,0,[[112,[50,[41]]]],[[[113,[[0,[48,39]]]],10,[32,[[0,[48,39]]]],[0,[48,39]]]],[[[111,[[0,[110,39]]]],[32,[[0,[110,39]]]],[0,[110,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[103,103],[[[111,[2]]],[[111,[2]]]],[[[102,[2]]],[[102,[2]]]],[[]],[[]],[[]],[[],103],[[],[[111,[62]]]],[[],[[102,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[111,[28]]]]]],[27,[[29,[[102,[28]]]]]],[10],[10],[10],[10],[10],[[[111,[1]],33],34],[[[111,[1]],33],34],[[[102,[1]],33],34],[[[102,[1]],33],34],[[[112,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[103,[62]]],[[102,[62]]]],[[[113,[[0,[48,39]]]]],[[40,[[0,[48,39]]]]]],[[[112,[62]]],[[102,[62]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[114,[62]]]],10],[[103,[62]]]],[10,[[113,[[0,[48,39]]]]]],[21,111],[10,[[112,[62]]]],[[112,[50,[41]],41]],0,0,[[]],[[]],[[]],[[],4],[[],4],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]]],"c":[],"p":[[8,"Debug"],[8,"Clone"],[3,"Lookup"],[3,"String"],[6,"ASTExpr"],[3,"StepType"],[3,"Circuit"],[8,"Into"],[3,"FixedSignal"],[15,"usize"],[3,"ForwardSignal"],[15,"str"],[3,"Advice"],[3,"Column"],[6,"ImportedHalo2Advice"],[3,"Fixed"],[6,"ImportedHalo2Fixed"],[3,"SharedSignal"],[3,"InternalSignal"],[3,"StepTypeHandler"],[6,"StepTypeUUID"],[3,"Constraint"],[3,"TransitionConstraint"],[4,"ExposeOffset"],[8,"ColumnType"],[3,"ImportedHalo2Column"],[8,"Deserializer"],[3,"Fr"],[4,"Result"],[15,"bool"],[8,"PartialEq"],[4,"Queriable"],[3,"Formatter"],[6,"Result"],[3,"Constraint"],[15,"u128"],[3,"Rc"],[8,"Hasher"],[8,"Hash"],[6,"FixedAssignment"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[8,"Field"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u32"],[15,"u8"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[3,"SuperCircuit"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"AssignmentGenerator"],[3,"Vec"],[3,"HashMap"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[3,"Assignments"],[4,"Option"],[6,"SuperAssignments"],[8,"Layouter"],[4,"Error"],[3,"Column"],[8,"PrimeField"],[3,"ChiquitoPlaf"],[3,"ChiquitoPlafWitGen"],[3,"Witness"],[3,"Plaf"],[3,"SignalPlacement"],[3,"StepPlacement"],[3,"Placement"],[3,"SingleRowCellManager"],[3,"MaxWidthCellManager"],[3,"SimpleStepSelectorBuilder"],[3,"TwoStepsSelectorBuilder"],[3,"StepSelector"],[6,"SelectorAssignment"],[6,"PolyExpr"],[4,"ColumnType"],[3,"Poly"],[3,"PolyLookup"],[3,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ +"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLFMLLLLRFFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLL","n":["ast","field","frontend","plonkish","poly","stdlib","wit_gen","ASTExpr","Circuit","Constraint","ExposeOffset","First","FixedGen","FixedSignal","ForwardSignal","ImportedHalo2Advice","ImportedHalo2Column","ImportedHalo2Fixed","InternalSignal","Last","Lookup","SharedSignal","Step","StepType","StepTypeUUID","TransitionConstraint","add","add_constr","add_fixed","add_forward","add_halo2_advice","add_halo2_fixed","add_shared","add_signal","add_step_type","add_step_type_def","add_transition","annotation","annotation","annotation","annotations","annotations","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","column","constraints","default","default","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable","eq","eq","eq","eq","eq","eq","expose","exposed","expr","expr","exprs","first_step","fixed_assignments","fixed_signals","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","forward_signals","from","from","from","from","from","from","from","from","from","from","from","from","from","get_step_type","halo2_advice","halo2_fixed","hash","hash","hash","hash","hash","hash","id","init","init","init","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","into","into","into","last_step","lookups","name","new","new","new","new","new_with_id","new_with_id","new_with_id","new_with_id","new_with_phase","new_with_phase","num_steps","phase","phase","q_enable","query","set_fixed_assignments","set_trace","shared_signals","signals","step_types","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","trace","transition_constraints","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","uuid","uuid","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","Fixed","Forward","Halo2AdviceQuery","Halo2FixedQuery","Internal","Queriable","Shared","StepTypeNext","_unaccessible","add","annotation","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","eq","expr","fmt","from","hash","init","into","mul","neg","next","prev","rot","sub","to_owned","try_from","try_into","type_id","uuid","vzip","Field","ONE","ZERO","mi","dsl","python","CircuitContext","Handler","StepTypeContext","StepTypeDefInput","StepTypeHandler","StepTypeSetupContext","StepTypeWGHandler","String","add_lookup","annotation","annotation","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cb","circuit","clone","clone_into","constr","constr","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","drop","drop","drop","drop","drop","drop","eq","expose","fixed","fixed_gen","fmt","fmt","forward","forward_with_phase","from","from","from","from","from","from","from","from","from","hash","import_halo2_advice","import_halo2_fixed","init","init","init","init","init","init","internal","into","into","into","into","into","into","lb","new","new","new_table","new_with_id","next","pragma_disable_q_enable","pragma_first_step","pragma_last_step","pragma_num_steps","sc","setup","shared","shared_with_phase","step_type","step_type_def","to_owned","trace","transition","transition","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","wg","wg","AntiBooly","Boolean","Constraint","Typing","Unknown","and","annotate","annotation","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","eq","eq","expr","fmt","fmt","from","from","from","from","from","from","from","from","from","from","if_next_step","init","init","into","into","isz","lookup","next_step_must_be","next_step_must_not_be","not","or","rlc","select","table","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","typing","unless","vzip","vzip","when","xor","InPlaceLookupBuilder","LookupBuilder","LookupTable","LookupTableBuilder","LookupTableRegistry","LookupTableStore","add","add","add","apply","apply","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","enable","fmt","fmt","fmt","from","from","from","from","from","get","init","init","init","init","init","into","into","into","into","into","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","when","when","SuperCircuitContext","borrow","borrow_mut","compile","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","sub_circuit_with_ast","super_circuit","tables","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","chiquito_super_circuit_halo2_mock_prover","backend","compiler","ir","halo2","plaf","ChiquitoHalo2","ChiquitoHalo2Circuit","ChiquitoHalo2SuperCircuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","chiquito2Halo2","chiquitoSuperCircuit2Halo2","clone","clone","clone_into","clone_into","configure","configure","configure","configure_sub_circuit","configure_with_params","configure_with_params","debug","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","from","from","from","init","init","init","instance","instance","into","into","into","new","new","new","params","params","synthesize","synthesize","synthesize","to_halo2_advice","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","without_witnesses","without_witnesses","ChiquitoPlaf","ChiquitoPlafWitGen","borrow","borrow","borrow_mut","borrow_mut","chiquito2Plaf","clone","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","fmt","from","from","generate","get_plaf","init","init","into","into","new","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","CompilerConfig","borrow","borrow_mut","cell_manager","clone","clone_into","compile","compile_phase1","compile_phase2","config","deref","deref_mut","drop","from","init","into","step_selector","to_owned","try_from","try_into","type_id","vzip","CellManager","MaxWidthCellManager","Placement","SignalPlacement","SingleRowCellManager","StepPlacement","base_height","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","column","columns","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","find_internal_signal_placement","first_step_height","fixed","fmt","fmt","fmt","fmt","fmt","forward","from","from","from","from","from","from","get_fixed_placement","get_forward_placement","get_shared_placement","init","init","init","init","init","into","into","into","into","into","new","new","place","place","place","rotation","same_height","shared","step_height","steps","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","SelectorAssignment","SimpleStepSelectorBuilder","StepSelector","StepSelectorBuilder","TwoStepsSelectorBuilder","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","columns","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","get_selector_assignment","halo2_column","hint_one","init","init","init","into","into","into","next_expr","select","selector_assignment","selector_expr","selector_expr_not","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","unselect","vzip","vzip","vzip","Advice","Circuit","Column","ColumnType","Fixed","Halo2Advice","Halo2Fixed","Poly","PolyExpr","PolyLookup","advice","annotation","annotation","annotation","assignments","ast_id","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","columns","ctype","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","exposed","expr","exprs","fixed","fixed_assignments","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","halo2_advice","halo2_fixed","hash","hash","id","init","init","init","init","init","into","into","into","into","into","lookups","new_halo2_advice","new_halo2_fixed","phase","polys","query","query","rotate","sc","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","AssignmentGenerator","Assignments","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","empty","fmt","fmt","from","from","generate","generate_with_witness","init","init","into","into","new","to_owned","to_owned","to_string","try_from","try_from","try_into","try_into","type_id","type_id","uuid","vzip","vzip","Queriable","Mapping","MappingContext","MappingGenerator","SuperAssignments","SuperCircuit","add_sub_circuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","clone","clone_into","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","from","from","from","generate","get_mapping","get_sub_circuits","get_super_assignments","init","init","init","into","into","into","map","map_with_witness","new","set_mapping","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Const","Expr","Halo2Expr","Mul","Neg","Pow","Query","Sum","ToExpr","ToField","add","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","expr","expr","field","fmt","from","from","from","from","from","from","from","from","init","into","mul","neg","rotate","sub","to_owned","try_from","try_into","type_id","vzip","IsZero","borrow","borrow_mut","deref","deref_mut","drop","from","init","into","is_zero","setup","try_from","try_into","type_id","vzip","wg","FixedAssignment","FixedGenContext","StepInstance","Trace","TraceContext","TraceGenerator","TraceWitness","Witness","add","assign","assign","assignments","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","drop","drop","drop","drop","drop","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","generate","get_assignments","get_witness","init","init","init","init","init","into","into","into","into","into","new","new","new","new","padding","step_instances","step_type_uuid","to_owned","to_owned","to_owned","to_string","to_string","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip"],"q":[[0,"chiquito"],[7,"chiquito::ast"],[288,"chiquito::ast::query"],[326,"chiquito::field"],[330,"chiquito::frontend"],[332,"chiquito::frontend::dsl"],[461,"chiquito::frontend::dsl::cb"],[526,"chiquito::frontend::dsl::lb"],[620,"chiquito::frontend::dsl::sc"],[640,"chiquito::frontend::python"],[644,"chiquito::plonkish"],[647,"chiquito::plonkish::backend"],[649,"chiquito::plonkish::backend::halo2"],[721,"chiquito::plonkish::backend::plaf"],[755,"chiquito::plonkish::compiler"],[777,"chiquito::plonkish::compiler::cell_manager"],[887,"chiquito::plonkish::compiler::step_selector"],[956,"chiquito::plonkish::ir"],[1076,"chiquito::plonkish::ir::assignments"],[1120,"chiquito::plonkish::ir::query"],[1121,"chiquito::plonkish::ir::sc"],[1177,"chiquito::poly"],[1219,"chiquito::stdlib"],[1235,"chiquito::wit_gen"]],"d":["","","","","","","","","Circuit","Condition","","","","","ForwardSignal","","","","","","","","","Step","","TransitionCondition","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Calls U::from(self).","","","Call next function on a Querible forward signal to build …","Call prev function on a Querible shared signal to build …","Call rot function on a Querible shared signal to build …","","","","","","","","","The one element of the field, the multiplicative identity.","The zero element of the field, the additive identity.","Computes the multiplicative inverse of this element, …","","","A generic structure designed to handle the context of a …","","A generic structure designed to handle the context of a …","","","","","","Adds a lookup to the step type.","","","","","","","","","","","","","","","","Creates a Circuit instance by providing a name and a …","","","DEPRECATED","Adds a constraint to the step type. Involves internal …","","","","","","","","","","","","","","","","","","","","","Exposes the first step instance value of a forward signal …","","Executes the fixed generation function provided by the …","","","Adds a forward signal to the circuit with a name string …","Adds a forward signal to the circuit with a name string …","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","Imports a halo2 advice column with a name string into the …","Imports a halo2 fixed column with a name string into the …","","","","","","","Adds an internal signal to the step type with the given …","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","Enforce the type of the first step by adding a constraint …","Enforce the type of the last step by adding a constraint …","","","Define step constraints.","Adds a shared signal to the circuit with a name string and …","Adds a shared signal to the circuit with a name string and …","Adds a new step type with the specified name to the …","Defines a step type using the provided StepTypeHandler and …","","Sets the trace function that builds the witness. The trace …","DEPRECATED","Adds a transition constraint to the step type. It’s the …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Represents a constraint with an associated annotation and …","","","Takes an iterator of input constraints and returns a new …","Takes a string annotation and an expression, and returns a …","","","","","","","","","","","","","","","","Takes two constraints and returns a new constraint …","","","","","","","","Returns the argument unchanged.","","","","","","Returns the argument unchanged.","Takes a StepTypeHandler and a constraint, and returns a …","","","Calls U::from(self).","Calls U::from(self).","Takes a constraint and returns a new constraint …","Creates a new empty LookupBuilder object and returns it. …","Takes a StepTypeHandler and returns a new constraint that …","Takes a StepTypeHandler and returns a new constraint that …","Takes a constraint and returns a new constraint …","Takes an iterator of input constraints and returns a new …","Computes the randomized linear combination of the given …","Takes a selector constraint and two other constraints, and …","","","","","","","","","","","Takes a selector constraint and a when_false constraint, …","","","Takes a selector constraint and a when_true constraint, …","Takes two expressions and returns a new expression …","A helper struct for building lookup tables.","","","","","","Adds a source column-lookup column pair to the lookup …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","Adds a selector column specific to the lookup table. …","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","Parses JSON into ast::Circuit and compile. Generates a …","Runs MockProver for a single circuit given JSON of …","Compile a ChiquitoHalo2SuperCircuit object from a list of …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","","","","","Calls U::from(self).","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","A struct that can be used a fixed column generation …","A struct that represents a witness generation context. It …","","","","","","","Takes a Queriable object representing the fixed column …","Takes a Queriable object representing the witness column …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,0,0,0,0,0,0,0,0,24,0,0,0,0,0,0,0,24,0,0,24,0,0,0,3,6,7,7,7,7,7,6,7,7,6,22,23,3,6,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,26,6,7,3,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,6,7,22,23,3,11,18,9,24,19,26,3,3,6,11,18,9,19,26,7,7,22,23,3,7,7,7,6,7,22,23,11,18,9,24,19,26,7,6,5,5,7,22,23,3,11,18,9,24,19,26,7,7,7,6,11,18,9,19,26,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,6,6,6,9,19,26,11,18,9,19,11,18,7,11,18,7,0,7,7,7,6,7,7,22,23,3,11,18,9,24,19,26,7,6,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,11,18,9,19,26,6,7,22,23,3,11,18,9,24,19,26,32,32,32,32,32,0,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,0,48,48,48,0,0,0,49,0,0,0,0,0,49,44,50,20,49,46,44,50,47,20,49,46,44,50,47,20,0,0,20,20,46,44,49,46,44,50,47,20,49,46,44,50,47,20,20,49,46,44,50,47,20,20,47,47,47,47,20,47,47,49,49,49,46,44,50,47,20,20,20,47,47,49,46,44,50,47,20,46,49,46,44,50,47,20,0,46,50,47,20,20,47,47,47,47,0,46,47,47,47,47,20,47,46,44,49,46,44,50,47,20,49,46,44,50,47,20,49,46,44,50,47,20,50,20,49,46,44,50,47,20,46,50,58,58,0,0,58,0,0,35,35,58,35,58,35,58,35,58,35,58,35,58,35,58,0,58,35,35,58,35,35,35,35,35,35,35,35,35,58,0,35,58,35,58,0,0,0,0,0,0,0,0,0,35,58,35,58,35,58,35,58,35,0,35,58,0,0,0,0,0,0,0,0,61,52,51,63,53,61,63,52,51,53,61,63,52,51,53,45,61,63,52,51,53,52,51,53,61,52,51,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,61,52,51,53,61,63,52,51,53,51,61,63,52,51,53,61,63,52,51,53,52,51,53,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,52,61,63,52,51,53,63,53,0,64,64,64,64,64,64,64,64,64,64,64,64,64,0,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,74,75,77,74,75,77,0,0,74,75,74,75,74,75,77,74,75,77,74,74,75,77,74,75,77,74,75,77,74,75,77,74,77,74,75,77,74,75,77,75,77,74,75,77,74,75,77,75,77,74,75,77,0,74,75,74,75,77,74,75,77,74,75,77,74,75,77,75,77,0,0,86,85,86,85,0,85,85,86,85,86,85,86,85,85,86,85,86,85,86,85,86,85,85,85,86,85,86,85,86,85,86,85,0,68,68,0,68,68,0,0,0,0,68,68,68,68,68,68,0,68,68,68,68,68,0,0,0,0,0,0,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,91,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,91,91,91,89,90,91,92,93,91,89,89,90,91,92,93,91,91,91,89,90,91,92,93,89,90,91,92,93,89,93,66,92,93,89,91,91,91,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,0,0,0,0,0,96,94,95,96,94,95,67,94,95,96,94,95,96,94,95,96,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,95,95,96,94,95,96,94,95,96,96,96,96,96,96,94,95,96,94,95,96,94,95,96,94,95,96,96,94,95,99,0,0,0,99,99,99,0,0,0,83,83,100,101,0,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,83,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,100,101,83,73,73,99,83,100,101,73,99,83,100,101,83,83,99,83,73,73,99,83,100,101,73,99,83,100,101,73,83,83,83,73,0,83,98,0,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,99,83,100,101,0,0,69,78,69,78,69,78,69,78,69,78,69,78,78,69,78,78,69,78,69,78,78,69,78,69,69,69,78,69,78,69,69,78,78,69,78,69,78,69,78,69,69,78,0,0,0,0,0,0,65,65,105,104,65,105,104,104,104,65,105,104,65,105,104,65,105,104,65,105,104,65,105,104,104,65,65,105,65,105,104,65,105,104,105,105,104,65,104,65,105,104,65,105,104,65,105,104,65,105,104,107,0,107,107,107,107,107,107,0,0,107,107,107,107,107,107,107,107,107,115,107,116,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,109,109,109,109,109,109,109,109,109,109,109,109,109,109,109,0,0,0,0,0,0,0,0,112,113,111,111,103,113,111,102,112,103,113,111,102,112,103,111,102,103,111,102,103,111,102,103,113,111,102,112,103,113,111,102,112,111,102,103,113,111,102,112,111,111,102,102,112,103,113,111,102,112,103,113,112,103,113,111,102,112,103,113,111,102,112,103,113,111,112,112,102,111,103,111,102,111,102,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112],"f":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]],[5,[[0,[1,2]]]]]],[[6,4,5]],[[7,[8,[4]]],9],[[7,[8,[4]],10],11],[[7,12,[14,[13]]],15],[[7,12,[14,[16]]],17],[[7,[8,[4]],10],18],[[6,[8,[4]]],19],[[7,20,[8,[4]]]],[[7,6],21],[[6,4,5]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[7,[2,2]]],[[7,[2,2]]]],[[[22,[2]]],[[22,[2]]]],[[[23,[2]]],[[23,[2]]]],[[[3,[2]]],[[3,[2]]]],[11,11],[18,18],[9,9],[24,24],[19,19],[[[26,[[0,[2,25]]]]],[[26,[[0,[2,25]]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],7],[[],3],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[6,[28]]]]]],[27,[[29,[[7,[28]]]]]],[27,[[29,[[22,[28]]]]]],[27,[[29,[[23,[28]]]]]],[27,[[29,[[3,[28]]]]]],[27,[[29,[11]]]],[27,[[29,[18]]]],[27,[[29,[9]]]],[27,[[29,[24]]]],[27,[[29,[19]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]]]],0,[[6,6],30],[[11,11],30],[[18,18],30],[[9,9],30],[[19,19],30],[[[26,[[0,[31,25]]]],[26,[[0,[31,25]]]]],30],[[7,32,24]],0,0,0,0,0,0,0,[[[6,[1]],33],34],[[[7,[1,1]],33],34],[[[22,[1]],33],34],[[[23,[1]],33],34],[[11,33],34],[[18,33],34],[[9,33],34],[[24,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[32,5],[35,5],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[7,36],[[37,[6]]]],0,0,[[6,38]],[[11,38]],[[18,38]],[[9,38]],[[19,38]],[[[26,[[0,[39,25]]]],38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,[[36,4],6],[4,9],[4,19],[[[14,[25]],4],[[26,[25]]]],[[36,10,4],11],[[36,10,4],18],[[36,4],9],[[36,4],19],[[10,4],11],[[10,4],18],0,[11,10],[18,10],0,0,[[7,40]],[[7,41]],0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[6,21],[11,36],[18,36],[9,36],[19,36],[[[26,[25]]],36],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,[[[32,[2]],[8,[[5,[2]]]]]],[32,4],[[]],[[]],[[[32,[2]]],[[32,[2]]]],[[]],[10],[10],[27,[[29,[[32,[28]]]]]],[10],[[[32,[31]],[32,[31]]],30],[[[32,[2]]],[[5,[2]]]],[[32,33],34],[[]],[[[32,[39]],38]],[[],10],[[]],[[[32,[2]],[8,[[5,[2]]]]]],[[[32,[2]]]],[32,32],[32,32],[[32,43],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],42],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[44,[[0,[1,2]]]],[45,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,41],7],[20,20],[[]],[[46,[8,[35]]]],[[44,[8,[35]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[20]]]],[10],[10],[10],[10],[10],[10],[[20,20],30],[[47,32,24]],[[47,12],32],[[[47,[[0,[48,39]]]],41]],[[[47,[1,1]],33],34],[[20,33],34],[[47,12],32],[[47,12,10],32],[[]],[20,49],[12,49],[[]],[[]],[[]],[[]],[[]],[[[50,[41]]],20],[[20,38]],[[47,12,[14,[13]]],32],[[47,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[46,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,51],46],[[36,12,41],[[50,[41]]]],[[47,52],53],[[36,4],20],[20,32],[47],[[47,[8,[20]]]],[[47,[8,[20]]]],[[47,10]],0,[[46,41]],[[47,12],32],[[47,12,10],32],[[47,12],20],[[47,[8,[49]],54],[[50,[41]]]],[[]],[[47,41]],[[46,[8,[35]]]],[[44,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[[50,[41]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[46,41],[[50,[41]]]],0,0,0,0,0,0,[55,[[35,[[57,[56]]]]]],[[4,[8,[5]],58],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[58,58],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[58,58],30],0,[[35,33],34],[[58,33],34],[59,[[35,[[0,[[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[60,[[35,[[0,[[57,[56]],1]]]]]],[[]],[10,[[35,[[0,[[57,[56]],1]]]]]],[30,[[35,[[0,[[57,[56]],1]]]]]],[32,35],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[61,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[[35,[[57,[56]]]]]]],[[35,[[57,[56]]]]]],[[[0,[55,2]]],[[35,[[0,[[57,[56]],1]]]]]],[[[0,[[8,[[5,[[57,[56]]]]]],2]]],[[5,[[57,[56]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[],[[52,[62]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],0,[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],0,0,0,0,0,0,[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[52,[8,[5]]],52],[[51,52]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[44,3],[[61,44],3],[[[63,[[0,[2,1]]]],[44,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[52,[2]]],[[52,[2]]]],[51,51],[53,53],[[]],[[]],[[]],[[],61],[[],52],[[],51],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[[52,[1]],33],34],[[[51,[1]],33],34],[[53,33],34],[[]],[[]],[[]],[[]],[[]],[[[51,[2]],36],[[52,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[52,36],[[]],[[]],[[]],[[]],[[]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],0,[[]],[[]],[[[64,[[0,[48,39]]]]],[[65,[[0,[48,39]]]]]],[[],64],[10],[10],[10],[[]],[[],10],[[]],[[[64,[[0,[48,39]]]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],[7,[[0,[48,39]]]]],[[69,[[0,[48,39]]]]]],[[12,41],[[65,[[0,[48,39]]]]]],0,[[],29],[[],29],[[],42],[[]],0,[12,36],[[12,36,10]],[[[70,[36]],[71,[36,12]],10]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[65,[[0,[72,[57,[56]],39]]]]],[[70,[[74,[[0,[72,[57,[56]],39]]]]]]]],[[[74,[[0,[2,72,[57,[56]]]]]]],[[74,[[0,[2,72,[57,[56]]]]]]]],[[[75,[[0,[2,72,[57,[56]]]]]]],[[75,[[0,[2,72,[57,[56]]]]]]]],[[]],[[]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],0,[[],[[74,[[0,[62,72,[57,[56]]]]]]]],[[],[[75,[[0,[62,72,[57,[56]]]]]]]],[[],[[77,[[0,[62,72,[57,[56]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[74,[[0,[1,72,[57,[56]]]]]],33],34],[[[77,[[0,[1,72,[57,[56]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[75,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[70,[[74,[[0,[72,[57,[56]],39]]]]]],[80,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],[[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]]],[[[75,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[77,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[76,[72]],83],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[[75,[[0,[72,[57,[56]],39]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[73,[84]],60,30]],[[[85,[[0,[2,84]]]]],[[85,[[0,[2,84]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[85,[[0,[1,84]]]],33],34],[[]],[[]],[[86,[79,[[78,[[0,[84,39]]]]]]],87],[[[85,[84]],60],88],[[],10],[[],10],[[]],[[]],[[[73,[84]],30],[[85,[84]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[]],[[]],0,[[]],[[]],0,[[[68,[[0,[2,66]],[0,[2,67]]]]],[[68,[[0,[2,66]],[0,[2,67]]]]]],[[]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[0,[[0,[48,2]]]]]],[[66,67],[[68,[66,67]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],42],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[89,89],[90,90],[91,91],[92,92],[93,93],[[]],[[]],[[]],[[]],[[]],0,0,[[],91],[[],92],[[],93],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[91,21,19],89],[91,60],0,[[89,33],34],[[90,33],34],[[91,33],34],[[92,33],34],[[93,33],34],0,[[],89],[[]],[[]],[[]],[[]],[[]],[[91,9],[[79,[89]]]],[[91,11],[[79,[89]]]],[[91,18],[[79,[89]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[83,43],89],[[10,30],93],0,0,0,0,[91,30],0,[[91,21],60],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[48]]]],[[94,[0,[48]]]],[[95,[0,[48]]]],[[[96,[2]]],[[96,[2]]]],[94,94],[95,95],[[]],[[]],[[]],0,[[],96],[[],94],[[],95],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[96,[1]],33],34],[[94,33],34],[[95,33],34],[[]],[[]],[[]],[[[96,[2]],21],[[70,[[97,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[96,[2]],21,60],[[98,[2]]]],[[[96,[2]],21,[98,[2]]],[[98,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[[96,[2]],21],[[98,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],83],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[2]]],[[73,[2]]]],[99,99],[83,83],[[[100,[2]]],[[100,[2]]]],[[[101,[2]]],[[101,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[73,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[83,83],30],0,0,0,[[[8,[4]]],83],0,[[[73,[1]],33],34],[[99,33],34],[[83,33],34],[[[100,[1]],33],34],[[[101,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[99,38]],[[83,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],83],[[[8,[4]],17],83],0,0,0,[[83,43,[8,[4]]],98],[[[98,[2]],43],[[98,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[83,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[[[78,[2]]],[[78,[2]]]],[[]],[[]],[[],[[69,[2]]]],[[],78],[10],[78],[10],[10],[78],[10],[10],[10],[36,[[69,[48]]]],[[[78,[1]],33],34],[[[78,[1]],33],34],[[]],[[]],[[[69,[48]]],[[78,[48]]]],[[[69,[48]],[102,[48]]],[[78,[48]]]],[[],10],[[],10],[[]],[[]],[[[70,[83]],91,[96,[48]],[103,[48]],10,36],[[69,[48]]]],[[]],[[]],[[],4],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[[69,[48]]],36],[[]],[[]],0,0,0,0,0,0,[[65,73]],[[]],[[]],[[]],[[]],[[]],[[]],[104,104],[[]],[[],65],[[],105],[[],104],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[104,[48]]],[[80,[48]]]],[65,104],[[[65,[2]]],[[70,[[73,[2]]]]]],[[[105,[48]]],[[80,[48]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[105,[48]],[69,[48]]]],[[[105,[48]],[69,[48]],[102,[48]]]],[[[37,[[106,[48]]]]],[[104,[48]]]],[[[65,[48]],41]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[107,[8,[107]]],107],[[]],[[]],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[10],[10],[27,[[29,[[107,[28,[32,[28]]]]]]]],[10],[[],107],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[[[107,[1,1]],33],34],[108,107],[43,[[107,[[0,[48,[57,[56]]]]]]]],[[]],[59,[[107,[[57,[56]]]]]],[56,[[107,[[57,[56]]]]]],[10,[[107,[[57,[56]]]]]],[30,[[107,[[57,[56]]]]]],[60,[[107,[[57,[56]]]]]],[[],10],[[]],[[107,[8,[107]]],107],[107,107],[[[107,[2]],43],[[98,[2]]]],[[107,[8,[107]]],107],[[]],[[],29],[[],29],[[],42],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[109,[[0,[48,[57,[56]]]]]]],[[35,[[0,[48,[57,[56]]]]]]]],[[[46,[[0,[48,[57,[56]]]]]],[8,[[35,[[0,[48,[57,[56]]]]]]]],[32,[[0,[48,[57,[56]]]]]]],[[109,[[0,[48,[57,[56]]]]]]]],[[],29],[[],29],[[],42],[[]],[[[109,[[0,[48,110,39]]]],[111,[[0,[48,110,39]]]],[0,[48,110,39]]]],0,0,0,0,0,0,0,0,[[112,[50,[41]]]],[[[113,[[0,[48,39]]]],10,[32,[[0,[48,39]]]],[0,[48,39]]]],[[[111,[[0,[110,39]]]],[32,[[0,[110,39]]]],[0,[110,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[103,103],[[[111,[2]]],[[111,[2]]]],[[[102,[2]]],[[102,[2]]]],[[]],[[]],[[]],[[],103],[[],[[111,[62]]]],[[],[[102,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[111,[28]]]]]],[27,[[29,[[102,[28]]]]]],[10],[10],[10],[10],[10],[[[111,[1]],33],34],[[[111,[1]],33],34],[[[102,[1]],33],34],[[[102,[1]],33],34],[[[112,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[103,[62]]],[[102,[62]]]],[[[113,[[0,[48,39]]]]],[[40,[[0,[48,39]]]]]],[[[112,[62]]],[[102,[62]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[114,[62]]]],10],[[103,[62]]]],[10,[[113,[[0,[48,39]]]]]],[21,111],[10,[[112,[62]]]],[[112,[50,[41]],41]],0,0,[[]],[[]],[[]],[[],4],[[],4],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]]],"c":[],"p":[[8,"Debug"],[8,"Clone"],[3,"Lookup"],[3,"String"],[6,"ASTExpr"],[3,"StepType"],[3,"Circuit"],[8,"Into"],[3,"FixedSignal"],[15,"usize"],[3,"ForwardSignal"],[15,"str"],[3,"Advice"],[3,"Column"],[6,"ImportedHalo2Advice"],[3,"Fixed"],[6,"ImportedHalo2Fixed"],[3,"SharedSignal"],[3,"InternalSignal"],[3,"StepTypeHandler"],[6,"StepTypeUUID"],[3,"Constraint"],[3,"TransitionConstraint"],[4,"ExposeOffset"],[8,"ColumnType"],[3,"ImportedHalo2Column"],[8,"Deserializer"],[3,"Fr"],[4,"Result"],[15,"bool"],[8,"PartialEq"],[4,"Queriable"],[3,"Formatter"],[6,"Result"],[3,"Constraint"],[15,"u128"],[3,"Rc"],[8,"Hasher"],[8,"Hash"],[6,"FixedAssignment"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[8,"Field"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u8"],[15,"u32"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[3,"SuperCircuit"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"AssignmentGenerator"],[3,"Vec"],[3,"HashMap"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[3,"Assignments"],[4,"Option"],[6,"SuperAssignments"],[8,"Layouter"],[4,"Error"],[3,"Column"],[8,"PrimeField"],[3,"ChiquitoPlaf"],[3,"ChiquitoPlafWitGen"],[3,"Witness"],[3,"Plaf"],[3,"SignalPlacement"],[3,"StepPlacement"],[3,"Placement"],[3,"SingleRowCellManager"],[3,"MaxWidthCellManager"],[3,"SimpleStepSelectorBuilder"],[3,"TwoStepsSelectorBuilder"],[3,"StepSelector"],[6,"SelectorAssignment"],[6,"PolyExpr"],[4,"ColumnType"],[3,"Poly"],[3,"PolyLookup"],[3,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ }'); if (typeof window !== 'undefined' && window.initSearch) {window.initSearch(searchIndex)}; if (typeof exports !== 'undefined') {exports.searchIndex = searchIndex};