From fdfc7465f056ccb02c48806ff7f26f0d6b45664d Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Mon, 30 Oct 2023 21:04:56 +0000 Subject: [PATCH] deploy: 93e0fad13d0f92f7cf32a26b277be640d92461f1 --- docs/chiquito/all.html | 2 +- docs/chiquito/ast/query/enum.Queriable.html | 6 +- .../frontend/dsl/cb/struct.Constraint.html | 2 +- docs/chiquito/index.html | 2 +- .../cell_manager/struct.SignalPlacement.html | 2 +- .../compiler/step_selector/index.html | 2 +- .../compiler/step_selector/sidebar-items.js | 2 +- .../struct.LogNSelectorBuilder.html | 98 ++++++ .../trait.StepSelectorBuilder.html | 2 +- .../ir/assignments/struct.Assignments.html | 2 +- docs/chiquito/poly/enum.Expr.html | 2 +- docs/chiquito/poly/trait.ToExpr.html | 2 +- docs/chiquito/poly/trait.ToField.html | 2 +- .../chiquito/wit_gen/struct.StepInstance.html | 4 +- .../chiquito/wit_gen/struct.TraceWitness.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 +- .../core/default/trait.Default.js | 2 +- docs/implementors/core/fmt/trait.Debug.js | 2 +- docs/implementors/core/fmt/trait.Display.js | 2 +- docs/implementors/core/hash/trait.Hash.js | 2 +- docs/implementors/core/marker/trait.Copy.js | 2 +- docs/implementors/core/marker/trait.Freeze.js | 2 +- docs/implementors/core/marker/trait.Send.js | 2 +- .../core/marker/trait.StructuralEq.js | 2 +- .../core/marker/trait.StructuralPartialEq.js | 2 +- docs/implementors/core/marker/trait.Sync.js | 2 +- docs/implementors/core/marker/trait.Unpin.js | 2 +- docs/implementors/core/ops/arith/trait.Mul.js | 2 +- docs/implementors/core/ops/arith/trait.Neg.js | 2 +- .../panic/unwind_safe/trait.RefUnwindSafe.js | 2 +- .../panic/unwind_safe/trait.UnwindSafe.js | 2 +- .../serde/de/trait.Deserialize.js | 2 +- docs/search-index.js | 2 +- .../plonkish/compiler/step_selector.rs.html | 302 ++++++++++++++++++ 37 files changed, 439 insertions(+), 39 deletions(-) create mode 100644 docs/chiquito/plonkish/compiler/step_selector/struct.LogNSelectorBuilder.html diff --git a/docs/chiquito/all.html b/docs/chiquito/all.html index 34ab7693..565ab568 100644 --- a/docs/chiquito/all.html +++ b/docs/chiquito/all.html @@ -1 +1 @@ -List of all items in this crate

List of all items

Structs

Enums

Traits

Functions

Type Definitions

Constants

\ No newline at end of file +List of all items in this crate

List of all items

Structs

Enums

Traits

Functions

Type Definitions

Constants

\ No newline at end of file diff --git a/docs/chiquito/ast/query/enum.Queriable.html b/docs/chiquito/ast/query/enum.Queriable.html index 14afa7a9..2346f0c1 100644 --- a/docs/chiquito/ast/query/enum.Queriable.html +++ b/docs/chiquito/ast/query/enum.Queriable.html @@ -18,12 +18,12 @@ 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 +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 F: Send,

§

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

§

impl<F> Unpin for Queriable<F>where diff --git a/docs/chiquito/frontend/dsl/cb/struct.Constraint.html b/docs/chiquito/frontend/dsl/cb/struct.Constraint.html index ef14a3b7..e75c4100 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/index.html b/docs/chiquito/index.html index be10d68c..d539ef01 100644 --- a/docs/chiquito/index.html +++ b/docs/chiquito/index.html @@ -1 +1 @@ -chiquito - Rust

Crate chiquito

source ·

Modules

\ No newline at end of file +chiquito - Rust

Crate chiquito

source ·

Modules

\ No newline at end of file diff --git a/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html b/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html index e2c20ad9..3f72704f 100644 --- a/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html +++ b/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html @@ -1,7 +1,7 @@ SignalPlacement in chiquito::plonkish::compiler::cell_manager - Rust

Struct chiquito::plonkish::compiler::cell_manager::SignalPlacement

source · 
pub struct SignalPlacement {
     pub column: Column,
     pub rotation: i32,
-}

Fields§

§column: Column§rotation: i32

Implementations§

source§

impl SignalPlacement

source

pub fn new(column: Column, rotation: i32) -> Self

Trait Implementations§

source§

impl Clone for SignalPlacement

source§

fn clone(&self) -> SignalPlacement

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 Debug for SignalPlacement

source§

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

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

impl From<(Column, i32)> for SignalPlacement

source§

fn from((column, rotation): (Column, i32)) -> Self

Converts to this type from the input type.
source§

impl From<SignalPlacement> for (Column, i32)

source§

fn from(placement: SignalPlacement) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere +}

Fields§

§column: Column§rotation: i32

Implementations§

source§

impl SignalPlacement

source

pub fn new(column: Column, rotation: i32) -> Self

Trait Implementations§

source§

impl Clone for SignalPlacement

source§

fn clone(&self) -> SignalPlacement

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 Debug for SignalPlacement

source§

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

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

impl From<(Column, i32)> for SignalPlacement

source§

fn from((column, rotation): (Column, i32)) -> Self

Converts to this type from the input type.
source§

impl From<SignalPlacement> for (Column, i32)

source§

fn from(placement: SignalPlacement) -> 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/plonkish/compiler/step_selector/index.html b/docs/chiquito/plonkish/compiler/step_selector/index.html index 205b5b61..576f1c48 100644 --- a/docs/chiquito/plonkish/compiler/step_selector/index.html +++ b/docs/chiquito/plonkish/compiler/step_selector/index.html @@ -1 +1 @@ -chiquito::plonkish::compiler::step_selector - Rust

Module chiquito::plonkish::compiler::step_selector

source ·

Structs

Traits

Type Definitions

\ No newline at end of file +chiquito::plonkish::compiler::step_selector - Rust

Module chiquito::plonkish::compiler::step_selector

source ·

Structs

Traits

Type Definitions

\ No newline at end of file diff --git a/docs/chiquito/plonkish/compiler/step_selector/sidebar-items.js b/docs/chiquito/plonkish/compiler/step_selector/sidebar-items.js index b1989ce9..44a87c5b 100644 --- a/docs/chiquito/plonkish/compiler/step_selector/sidebar-items.js +++ b/docs/chiquito/plonkish/compiler/step_selector/sidebar-items.js @@ -1 +1 @@ -window.SIDEBAR_ITEMS = {"struct":["SimpleStepSelectorBuilder","StepSelector","TwoStepsSelectorBuilder"],"trait":["StepSelectorBuilder"],"type":["SelectorAssignment"]}; \ No newline at end of file +window.SIDEBAR_ITEMS = {"struct":["LogNSelectorBuilder","SimpleStepSelectorBuilder","StepSelector","TwoStepsSelectorBuilder"],"trait":["StepSelectorBuilder"],"type":["SelectorAssignment"]}; \ No newline at end of file diff --git a/docs/chiquito/plonkish/compiler/step_selector/struct.LogNSelectorBuilder.html b/docs/chiquito/plonkish/compiler/step_selector/struct.LogNSelectorBuilder.html new file mode 100644 index 00000000..dd0bdaf4 --- /dev/null +++ b/docs/chiquito/plonkish/compiler/step_selector/struct.LogNSelectorBuilder.html @@ -0,0 +1,98 @@ +LogNSelectorBuilder in chiquito::plonkish::compiler::step_selector - Rust

Struct chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder

source · 
pub struct LogNSelectorBuilder {}

Trait Implementations§

source§

impl Clone for LogNSelectorBuilder

source§

fn clone(&self) -> LogNSelectorBuilder

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 Debug for LogNSelectorBuilder

source§

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

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

impl Default for LogNSelectorBuilder

source§

fn default() -> LogNSelectorBuilder

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

impl StepSelectorBuilder for LogNSelectorBuilder

source§

fn build<F: Field>(&self, unit: &mut CompilationUnit<F>)

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 + Self: Into<T>,

Converts self into T using Into<T>. Read more
§

impl<T> FmtForward for T

§

fn fmt_binary(self) -> FmtBinary<Self>where + Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.
§

fn fmt_display(self) -> FmtDisplay<Self>where + Self: Display,

Causes self to use its Display implementation when +Debug-formatted.
§

fn fmt_lower_exp(self) -> FmtLowerExp<Self>where + Self: LowerExp,

Causes self to use its LowerExp implementation when +Debug-formatted.
§

fn fmt_lower_hex(self) -> FmtLowerHex<Self>where + Self: LowerHex,

Causes self to use its LowerHex implementation when +Debug-formatted.
§

fn fmt_octal(self) -> FmtOctal<Self>where + Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.
§

fn fmt_pointer(self) -> FmtPointer<Self>where + Self: Pointer,

Causes self to use its Pointer implementation when +Debug-formatted.
§

fn fmt_upper_exp(self) -> FmtUpperExp<Self>where + Self: UpperExp,

Causes self to use its UpperExp implementation when +Debug-formatted.
§

fn fmt_upper_hex(self) -> FmtUpperHex<Self>where + Self: UpperHex,

Causes self to use its UpperHex implementation when +Debug-formatted.
§

fn fmt_list(self) -> FmtList<Self>where + &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

+
§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an +Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an +Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere + U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

+

That is, this conversion is whatever the implementation of +From<T> for U chooses to do.

+
§

impl<T> Pipe for Twhere + T: ?Sized,

§

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere + Self: Sized,

Pipes by value. This is generally the method you want to use. Read more
§

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere + R: 'a,

Borrows self and passes that borrow into the pipe function. Read more
§

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere + R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more
§

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> Rwhere + Self: Borrow<B>, + B: 'a + ?Sized, + R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more
§

fn pipe_borrow_mut<'a, B, R>( + &'a mut self, + func: impl FnOnce(&'a mut B) -> R +) -> Rwhere + Self: BorrowMut<B>, + B: 'a + ?Sized, + R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe +function. Read more
§

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> Rwhere + Self: AsRef<U>, + U: 'a + ?Sized, + R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.
§

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> Rwhere + Self: AsMut<U>, + U: 'a + ?Sized, + R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe +function.
§

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> Rwhere + Self: Deref<Target = T>, + T: 'a + ?Sized, + R: 'a,

Borrows self, then passes self.deref() into the pipe function.
§

fn pipe_deref_mut<'a, T, R>( + &'a mut self, + func: impl FnOnce(&'a mut T) -> R +) -> Rwhere + Self: DerefMut<Target = T> + Deref, + T: 'a + ?Sized, + R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe +function.
§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
§

impl<T> Tap for T

§

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more
§

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more
§

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Selfwhere + Self: Borrow<B>, + B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more
§

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere + Self: BorrowMut<B>, + B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more
§

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Selfwhere + Self: AsRef<R>, + R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more
§

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere + Self: AsMut<R>, + R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more
§

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Selfwhere + Self: Deref<Target = T>, + T: ?Sized,

Immutable access to the Deref::Target of a value. Read more
§

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere + Self: DerefMut<Target = T> + Deref, + T: ?Sized,

Mutable access to the Deref::Target of a value. Read more
§

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.
§

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release +builds.
§

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Selfwhere + Self: Borrow<B>, + B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release +builds.
§

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Selfwhere + Self: BorrowMut<B>, + B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release +builds.
§

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Selfwhere + Self: AsRef<R>, + R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release +builds.
§

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Selfwhere + Self: AsMut<R>, + R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release +builds.
§

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Selfwhere + Self: Deref<Target = T>, + T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release +builds.
§

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Selfwhere + Self: DerefMut<Target = T> + Deref, + T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release +builds.
source§

impl<T> ToOwned for Twhere + T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<T> TryConv for T

§

fn try_conv<T>(self) -> Result<T, Self::Error>where + Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more
source§

impl<T, U> TryFrom<U> for Twhere + U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere + U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere + V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where + S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a +[WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a +[WithDispatch] wrapper. Read more
§

impl<T> Ungil for Twhere + T: Send,

\ No newline at end of file diff --git a/docs/chiquito/plonkish/compiler/step_selector/trait.StepSelectorBuilder.html b/docs/chiquito/plonkish/compiler/step_selector/trait.StepSelectorBuilder.html index d066abb3..953e3276 100644 --- a/docs/chiquito/plonkish/compiler/step_selector/trait.StepSelectorBuilder.html +++ b/docs/chiquito/plonkish/compiler/step_selector/trait.StepSelectorBuilder.html @@ -1,4 +1,4 @@ StepSelectorBuilder in chiquito::plonkish::compiler::step_selector - Rust

Trait chiquito::plonkish::compiler::step_selector::StepSelectorBuilder

source · 
pub trait StepSelectorBuilder: Clone {
     // Required method
     fn build<F: Field>(&self, unit: &mut CompilationUnit<F>);
-}

Required Methods§

source

fn build<F: Field>(&self, unit: &mut CompilationUnit<F>)

Implementors§

\ No newline at end of file +}

Required Methods§

source

fn build<F: Field>(&self, unit: &mut CompilationUnit<F>)

Implementors§

\ No newline at end of file diff --git a/docs/chiquito/plonkish/ir/assignments/struct.Assignments.html b/docs/chiquito/plonkish/ir/assignments/struct.Assignments.html index d69a38c4..b395559f 100644 --- a/docs/chiquito/plonkish/ir/assignments/struct.Assignments.html +++ b/docs/chiquito/plonkish/ir/assignments/struct.Assignments.html @@ -503,7 +503,7 @@
Examples

Unless you are in such a situation, higher-level and more foolproof APIs like get should be preferred.

Immutable raw entries have very limited use; you might instead want raw_entry_mut.

-

Trait Implementations§

source§

impl<F: Clone> Clone for Assignments<F>

source§

fn clone(&self) -> Assignments<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 Assignments<F>

source§

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

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

impl<F> Default for Assignments<F>

source§

fn default() -> Self

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

impl<F> Deref for Assignments<F>

§

type Target = HashMap<Column, Vec<F, Global>, RandomState>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl<F> DerefMut for Assignments<F>

source§

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.
source§

impl<F: Debug> Display for Assignments<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 Assignments<F>where +

Trait Implementations§

source§

impl<F: Clone> Clone for Assignments<F>

source§

fn clone(&self) -> Assignments<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 Assignments<F>

source§

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

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

impl<F> Default for Assignments<F>

source§

fn default() -> Self

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

impl<F> Deref for Assignments<F>

§

type Target = HashMap<Column, Vec<F, Global>, RandomState>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl<F> DerefMut for Assignments<F>

source§

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.
source§

impl<F: Debug> Display for Assignments<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 Assignments<F>where F: RefUnwindSafe,

§

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

§

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

§

impl<F> Unpin for Assignments<F>where diff --git a/docs/chiquito/poly/enum.Expr.html b/docs/chiquito/poly/enum.Expr.html index 0cb480b6..9256728f 100644 --- a/docs/chiquito/poly/enum.Expr.html +++ b/docs/chiquito/poly/enum.Expr.html @@ -7,7 +7,7 @@ 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 + 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 04a88ca6..adae17c9 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: 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 usize

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

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: 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 u64

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 usize

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: Field + From<u64>, V> ToExpr<F, V> for i32

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 12ccb977..cb2e2afd 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 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 usize

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 u64

source§

fn field(&self) -> F

source§

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

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: 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 usize

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 u32

source§

fn field(&self) -> F

source§

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

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 cfd49095..4ff346bd 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/chiquito/wit_gen/struct.TraceWitness.html b/docs/chiquito/wit_gen/struct.TraceWitness.html index 6e2047e9..1dbcc1e8 100644 --- a/docs/chiquito/wit_gen/struct.TraceWitness.html +++ b/docs/chiquito/wit_gen/struct.TraceWitness.html @@ -1,7 +1,7 @@ TraceWitness in chiquito::wit_gen - Rust

Struct chiquito::wit_gen::TraceWitness

source · 
pub struct TraceWitness<F> {
     pub step_instances: Witness<F>,
-}

Fields§

§step_instances: Witness<F>

Trait Implementations§

source§

impl<F: Clone> Clone for TraceWitness<F>

source§

fn clone(&self) -> TraceWitness<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 TraceWitness<F>

source§

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

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

impl<F: Default> Default for TraceWitness<F>

source§

fn default() -> TraceWitness<F>

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

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

source§

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

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

impl<F: Debug> Display for TraceWitness<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 TraceWitness<F>where +}

Fields§

§step_instances: Witness<F>

Trait Implementations§

source§

impl<F: Clone> Clone for TraceWitness<F>

source§

fn clone(&self) -> TraceWitness<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 TraceWitness<F>

source§

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

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

impl<F: Default> Default for TraceWitness<F>

source§

fn default() -> TraceWitness<F>

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

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

source§

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

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

impl<F: Debug> Display for TraceWitness<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 TraceWitness<F>where F: RefUnwindSafe,

§

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

§

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

§

impl<F> Unpin for TraceWitness<F>where diff --git a/docs/implementors/core/clone/trait.Clone.js b/docs/implementors/core/clone/trait.Clone.js index bd4c4c8c..0d653e56 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 Clone for StepPlacement"],["impl Clone for ForwardSignal"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl<F: Clone> Clone for Constraint<F>"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl Clone for SingleRowCellManager"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for Circuit<F>"],["impl Clone for Placement"],["impl Clone for MaxWidthCellManager"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl<F: Clone> Clone for StepInstance<F>"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl<F: Clone> Clone for Queriable<F>"],["impl Clone for TwoStepsSelectorBuilder"],["impl<F: Clone> Clone for Assignments<F>"],["impl Clone for SharedSignal"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for SignalPlacement"],["impl Clone for FixedSignal"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl Clone for ColumnType"],["impl Clone for SimpleStepSelectorBuilder"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl Clone for StepTypeHandler"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl Clone for Column"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl<F: Clone> Clone for Lookup<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for InternalSignal"],["impl Clone for ExposeOffset"],["impl Clone for LookupTable"],["impl Clone for Typing"]] +"chiquito":[["impl Clone for MaxWidthCellManager"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl Clone for Column"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F: Clone> Clone for StepInstance<F>"],["impl Clone for SingleRowCellManager"],["impl Clone for FixedSignal"],["impl<F> Clone for LookupTableRegistry<F>"],["impl Clone for LookupTable"],["impl<F: Clone> Clone for Assignments<F>"],["impl Clone for LogNSelectorBuilder"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl Clone for TwoStepsSelectorBuilder"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl Clone for StepPlacement"],["impl<F: Clone> Clone for Poly<F>"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl Clone for ColumnType"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone> Clone for Circuit<F>"],["impl Clone for Typing"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl Clone for SharedSignal"],["impl Clone for ExposeOffset"],["impl<F: Clone> Clone for Queriable<F>"],["impl Clone for ForwardSignal"],["impl Clone for Placement"],["impl<F: Clone> Clone for Lookup<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl Clone for InternalSignal"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl Clone for SimpleStepSelectorBuilder"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl Clone for StepTypeHandler"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl Clone for SignalPlacement"]] };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 b9ca0ed5..915ab354 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 StepTypeHandler"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl<F> Eq for StepType<F>"],["impl Eq for Typing"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for InternalSignal"],["impl Eq for SharedSignal"],["impl Eq for FixedSignal"],["impl Eq for Column"],["impl Eq for ForwardSignal"]] +"chiquito":[["impl Eq for Column"],["impl Eq for ForwardSignal"],["impl Eq for FixedSignal"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for StepTypeHandler"],["impl Eq for SharedSignal"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for InternalSignal"],["impl Eq for Typing"],["impl<F> Eq 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/cmp/trait.PartialEq.js b/docs/implementors/core/cmp/trait.PartialEq.js index 38d234ca..43f0253e 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 PartialEq<InternalSignal> for InternalSignal"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<Column> for Column"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<Typing> for Typing"]] +"chiquito":[["impl PartialEq<Column> for Column"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<Typing> for Typing"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<InternalSignal> for InternalSignal"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<SharedSignal> for SharedSignal"]] };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 3922c538..1b2e0678 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> From<Queriable<F>> for Constraint<F>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl From<(Column, i32)> for SignalPlacement"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"]] +"chiquito":[["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl From<StepTypeHandler> for StepTypeDefInput"]] };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 76216e54..e869a001 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 Default for TwoStepsSelectorBuilder"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F: Default> Default for StepInstance<F>"],["impl Default for SingleRowCellManager"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl Default for MaxWidthCellManager"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl Default for Placement"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl<F> Default for Lookup<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl Default for SimpleStepSelectorBuilder"],["impl<F> Default for Assignments<F>"],["impl<F: Default> Default for Circuit<F>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F> Default for MappingContext<F>"],["impl<F> Default for LookupTableStore<F>"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F: Default> Default for TraceWitness<F>"],["impl<F> Default for StepSelector<F>"]] +"chiquito":[["impl Default for MaxWidthCellManager"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl<F: Default> Default for StepInstance<F>"],["impl<F> Default for MappingContext<F>"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl Default for SingleRowCellManager"],["impl Default for SimpleStepSelectorBuilder"],["impl<F> Default for StepSelector<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl<F: Default> Default for TraceWitness<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F> Default for Lookup<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl Default for Placement"],["impl<F> Default for LookupTableStore<F>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl Default for LogNSelectorBuilder"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Default> Default for Circuit<F>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F> Default for Assignments<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl<F> Default for LookupTableRegistry<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/fmt/trait.Debug.js b/docs/implementors/core/fmt/trait.Debug.js index 26bfd19b..6edb6368 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<F: Debug> Debug for PolyLookup<F>"],["impl Debug for LookupTable"],["impl<F: Debug> Debug for StepInstance<F>"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug> Debug for Constraint<F>"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for Poly<F>"],["impl Debug for Typing"],["impl Debug for InternalSignal"],["impl<F: Debug> Debug for Assignments<F>"],["impl Debug for StepPlacement"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for SimpleStepSelectorBuilder"],["impl Debug for SharedSignal"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F: Debug> Debug for StepType<F>"],["impl Debug for MaxWidthCellManager"],["impl Debug for Placement"],["impl Debug for TwoStepsSelectorBuilder"],["impl Debug for SignalPlacement"],["impl Debug for Column"],["impl<F> Debug for Constraint<F>"],["impl<F> Debug for Queriable<F>"],["impl Debug for StepTypeHandler"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl Debug for SingleRowCellManager"],["impl Debug for ExposeOffset"],["impl Debug for ForwardSignal"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl Debug for ColumnType"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"]] +"chiquito":[["impl Debug for Typing"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for Column"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl Debug for SharedSignal"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for StepSelector<F>"],["impl Debug for LookupTable"],["impl Debug for SimpleStepSelectorBuilder"],["impl Debug for StepPlacement"],["impl<F> Debug for Queriable<F>"],["impl Debug for LogNSelectorBuilder"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F: Debug> Debug for Poly<F>"],["impl Debug for ForwardSignal"],["impl Debug for ColumnType"],["impl Debug for InternalSignal"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl<F: Debug> Debug for StepInstance<F>"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl Debug for TwoStepsSelectorBuilder"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl Debug for Placement"],["impl Debug for StepTypeHandler"],["impl<F: Debug> Debug for Assignments<F>"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug> Debug for StepType<F>"],["impl Debug for ExposeOffset"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F> Debug for Constraint<F>"],["impl Debug for SignalPlacement"],["impl Debug for SingleRowCellManager"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl Debug for MaxWidthCellManager"]] };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.Display.js b/docs/implementors/core/fmt/trait.Display.js index 515cf1a2..06f12728 100644 --- a/docs/implementors/core/fmt/trait.Display.js +++ b/docs/implementors/core/fmt/trait.Display.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Debug> Display for Assignments<F>"],["impl<F: Debug> Display for StepInstance<F>"],["impl<F: Debug> Display for TraceWitness<F>"]] +"chiquito":[["impl<F: Debug> Display for StepInstance<F>"],["impl<F: Debug> Display for TraceWitness<F>"],["impl<F: Debug> Display for Assignments<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 86252bf9..fe2ad5f8 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<F: Hash> Hash for Queriable<F>"],["impl Hash for FixedSignal"],["impl Hash for SharedSignal"],["impl Hash for ForwardSignal"],["impl Hash for ColumnType"],["impl Hash for InternalSignal"],["impl<F> Hash for StepType<F>"],["impl Hash for Column"],["impl Hash for StepTypeHandler"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"]] +"chiquito":[["impl Hash for SharedSignal"],["impl Hash for FixedSignal"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"],["impl Hash for ForwardSignal"],["impl<F: Hash> Hash for Queriable<F>"],["impl Hash for ColumnType"],["impl<F> Hash for StepType<F>"],["impl Hash for InternalSignal"],["impl Hash for Column"],["impl Hash 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.Copy.js b/docs/implementors/core/marker/trait.Copy.js index 98f033f3..cb8a959b 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<F: Copy> Copy for Queriable<F>"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for InternalSignal"],["impl Copy for ForwardSignal"],["impl Copy for FixedSignal"],["impl Copy for ExposeOffset"],["impl Copy for SharedSignal"],["impl Copy for LookupTable"],["impl Copy for StepTypeHandler"]] +"chiquito":[["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for SharedSignal"],["impl Copy for ExposeOffset"],["impl Copy for InternalSignal"],["impl Copy for LookupTable"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for StepTypeHandler"],["impl Copy for ForwardSignal"],["impl Copy 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/implementors/core/marker/trait.Freeze.js b/docs/implementors/core/marker/trait.Freeze.js index 7f27c8d0..45263a84 100644 --- a/docs/implementors/core/marker/trait.Freeze.js +++ b/docs/implementors/core/marker/trait.Freeze.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> Freeze for Queriable<F>",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> Freeze for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Freeze for StepType<F>",1,["chiquito::ast::StepType"]],["impl<F> Freeze for Constraint<F>where\n F: Freeze,",1,["chiquito::ast::Constraint"]],["impl<F> Freeze for TransitionConstraint<F>where\n F: Freeze,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Freeze for Lookup<F>where\n F: Freeze,",1,["chiquito::ast::Lookup"]],["impl Freeze for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Freeze for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Freeze for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Freeze for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Freeze for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Freeze for ImportedHalo2Column<CT>where\n CT: Freeze,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Freeze for Constraint<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Freeze for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Freeze for InPlaceLookupBuilder<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Freeze for LookupTableStore<F>",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Freeze for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Freeze for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Freeze for LookupTableBuilder<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> Freeze for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> Freeze for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Freeze for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Freeze for StepTypeContext<F>",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Freeze for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Freeze for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Freeze for StepTypeWGHandler<F, Args, D>",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Freeze for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Freeze for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Freeze for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Freeze for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Freeze for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Freeze for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Freeze for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Freeze for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Freeze for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Freeze for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Freeze for StepSelector<F>",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Freeze for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Freeze for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> Freeze for CompilerConfig<CM, SSB>where\n CM: Freeze,\n SSB: Freeze,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Freeze for Assignments<F>",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> Freeze for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> Freeze for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Freeze for MappingContext<F>",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> Freeze for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Freeze for Circuit<F>",1,["chiquito::plonkish::ir::Circuit"]],["impl Freeze for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Freeze for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Freeze for Poly<F>where\n F: Freeze,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Freeze for PolyLookup<F>",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Freeze for Expr<F, V>where\n F: Freeze,\n V: Freeze,",1,["chiquito::poly::Expr"]],["impl<F> Freeze for IsZero<F>where\n F: Freeze,",1,["chiquito::stdlib::IsZero"]],["impl<F> Freeze for StepInstance<F>",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Freeze for TraceWitness<F>",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Freeze for TraceContext<F>",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> Freeze for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Freeze for FixedGenContext<F>",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> Freeze for Queriable<F>",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> Freeze for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Freeze for StepType<F>",1,["chiquito::ast::StepType"]],["impl<F> Freeze for Constraint<F>where\n F: Freeze,",1,["chiquito::ast::Constraint"]],["impl<F> Freeze for TransitionConstraint<F>where\n F: Freeze,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Freeze for Lookup<F>where\n F: Freeze,",1,["chiquito::ast::Lookup"]],["impl Freeze for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Freeze for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Freeze for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Freeze for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Freeze for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Freeze for ImportedHalo2Column<CT>where\n CT: Freeze,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Freeze for Constraint<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Freeze for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Freeze for InPlaceLookupBuilder<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Freeze for LookupTableStore<F>",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Freeze for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Freeze for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Freeze for LookupTableBuilder<F>where\n F: Freeze,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> Freeze for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> Freeze for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Freeze for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Freeze for StepTypeContext<F>",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Freeze for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Freeze for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Freeze for StepTypeWGHandler<F, Args, D>",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Freeze for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Freeze for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Freeze for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Freeze for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Freeze for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Freeze for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Freeze for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Freeze for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Freeze for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Freeze for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Freeze for StepSelector<F>",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Freeze for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Freeze for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl Freeze for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> Freeze for CompilerConfig<CM, SSB>where\n CM: Freeze,\n SSB: Freeze,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Freeze for Assignments<F>",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> Freeze for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> Freeze for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Freeze for MappingContext<F>",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> Freeze for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Freeze for Circuit<F>",1,["chiquito::plonkish::ir::Circuit"]],["impl Freeze for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Freeze for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Freeze for Poly<F>where\n F: Freeze,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Freeze for PolyLookup<F>",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Freeze for Expr<F, V>where\n F: Freeze,\n V: Freeze,",1,["chiquito::poly::Expr"]],["impl<F> Freeze for IsZero<F>where\n F: Freeze,",1,["chiquito::stdlib::IsZero"]],["impl<F> Freeze for StepInstance<F>",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Freeze for TraceWitness<F>",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Freeze for TraceContext<F>",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> Freeze for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Freeze for FixedGenContext<F>",1,["chiquito::wit_gen::FixedGenContext"]]] };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.Send.js b/docs/implementors/core/marker/trait.Send.js index 1e640634..d508d64e 100644 --- a/docs/implementors/core/marker/trait.Send.js +++ b/docs/implementors/core/marker/trait.Send.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> Send for Queriable<F>where\n F: Send,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !Send for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Send for StepType<F>where\n F: Send,",1,["chiquito::ast::StepType"]],["impl<F> Send for Constraint<F>where\n F: Send,",1,["chiquito::ast::Constraint"]],["impl<F> Send for TransitionConstraint<F>where\n F: Send,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Send for Lookup<F>where\n F: Send,",1,["chiquito::ast::Lookup"]],["impl Send for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Send for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Send for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Send for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Send for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Send for ImportedHalo2Column<CT>where\n CT: Send,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Send for Constraint<F>where\n F: Send,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Send for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Send for InPlaceLookupBuilder<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Send for LookupTableStore<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Send for LookupTableRegistry<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Send for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Send for LookupTableBuilder<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !Send for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !Send for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Send for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Send for StepTypeContext<F>where\n F: Send,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Send for StepTypeSetupContext<'a, F>where\n F: Send,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Send for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Send for StepTypeWGHandler<F, Args, D>where\n Args: Send,\n D: Send,\n F: Send,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Send for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Send for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Send for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Send for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Send for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Send for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Send for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Send for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Send for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Send for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Send for StepSelector<F>where\n F: Send,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Send for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Send for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> Send for CompilerConfig<CM, SSB>where\n CM: Send,\n SSB: Send,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Send for Assignments<F>where\n F: Send,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !Send for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !Send for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Send for MappingContext<F>where\n F: Send,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !Send for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Send for Circuit<F>where\n F: Send,",1,["chiquito::plonkish::ir::Circuit"]],["impl Send for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Send for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Send for Poly<F>where\n F: Send,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Send for PolyLookup<F>where\n F: Send,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Send for Expr<F, V>where\n F: Send,\n V: Send,",1,["chiquito::poly::Expr"]],["impl<F> Send for IsZero<F>where\n F: Send,",1,["chiquito::stdlib::IsZero"]],["impl<F> Send for StepInstance<F>where\n F: Send,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Send for TraceWitness<F>where\n F: Send,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Send for TraceContext<F>where\n F: Send,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !Send for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Send for FixedGenContext<F>where\n F: Send,",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> Send for Queriable<F>where\n F: Send,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !Send for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Send for StepType<F>where\n F: Send,",1,["chiquito::ast::StepType"]],["impl<F> Send for Constraint<F>where\n F: Send,",1,["chiquito::ast::Constraint"]],["impl<F> Send for TransitionConstraint<F>where\n F: Send,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Send for Lookup<F>where\n F: Send,",1,["chiquito::ast::Lookup"]],["impl Send for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Send for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Send for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Send for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Send for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Send for ImportedHalo2Column<CT>where\n CT: Send,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Send for Constraint<F>where\n F: Send,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Send for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Send for InPlaceLookupBuilder<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Send for LookupTableStore<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Send for LookupTableRegistry<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Send for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Send for LookupTableBuilder<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !Send for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !Send for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Send for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Send for StepTypeContext<F>where\n F: Send,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Send for StepTypeSetupContext<'a, F>where\n F: Send,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Send for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Send for StepTypeWGHandler<F, Args, D>where\n Args: Send,\n D: Send,\n F: Send,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Send for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Send for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Send for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Send for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Send for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Send for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Send for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Send for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Send for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Send for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Send for StepSelector<F>where\n F: Send,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Send for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Send for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl Send for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> Send for CompilerConfig<CM, SSB>where\n CM: Send,\n SSB: Send,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Send for Assignments<F>where\n F: Send,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !Send for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !Send for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Send for MappingContext<F>where\n F: Send,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !Send for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Send for Circuit<F>where\n F: Send,",1,["chiquito::plonkish::ir::Circuit"]],["impl Send for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Send for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Send for Poly<F>where\n F: Send,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Send for PolyLookup<F>where\n F: Send,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Send for Expr<F, V>where\n F: Send,\n V: Send,",1,["chiquito::poly::Expr"]],["impl<F> Send for IsZero<F>where\n F: Send,",1,["chiquito::stdlib::IsZero"]],["impl<F> Send for StepInstance<F>where\n F: Send,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Send for TraceWitness<F>where\n F: Send,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Send for TraceContext<F>where\n F: Send,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !Send for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Send for FixedGenContext<F>where\n F: Send,",1,["chiquito::wit_gen::FixedGenContext"]]] };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 dcf9aac2..3e212e1f 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 SharedSignal"],["impl StructuralEq for InternalSignal"],["impl StructuralEq for Typing"],["impl StructuralEq for FixedSignal"],["impl StructuralEq for StepTypeHandler"],["impl StructuralEq for ForwardSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl<F> StructuralEq for Queriable<F>"]] +"chiquito":[["impl StructuralEq for Typing"],["impl StructuralEq for InternalSignal"],["impl<F> StructuralEq for Queriable<F>"],["impl StructuralEq for StepTypeHandler"],["impl StructuralEq for FixedSignal"],["impl StructuralEq for ForwardSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for SharedSignal"]] };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 3defc366..e3d6cfab 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<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for InternalSignal"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for StepTypeHandler"]] +"chiquito":[["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for InternalSignal"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for StepTypeHandler"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for SharedSignal"]] };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.Sync.js b/docs/implementors/core/marker/trait.Sync.js index 2e70d75b..7bb5d25c 100644 --- a/docs/implementors/core/marker/trait.Sync.js +++ b/docs/implementors/core/marker/trait.Sync.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> Sync for Queriable<F>where\n F: Sync,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !Sync for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Sync for StepType<F>where\n F: Sync,",1,["chiquito::ast::StepType"]],["impl<F> Sync for Constraint<F>where\n F: Sync,",1,["chiquito::ast::Constraint"]],["impl<F> Sync for TransitionConstraint<F>where\n F: Sync,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Sync for Lookup<F>where\n F: Sync,",1,["chiquito::ast::Lookup"]],["impl Sync for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Sync for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Sync for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Sync for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Sync for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Sync for ImportedHalo2Column<CT>where\n CT: Sync,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Sync for Constraint<F>where\n F: Sync,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Sync for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Sync for InPlaceLookupBuilder<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Sync for LookupTableStore<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Sync for LookupTableRegistry<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Sync for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Sync for LookupTableBuilder<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !Sync for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !Sync for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Sync for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Sync for StepTypeContext<F>where\n F: Send + Sync,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Sync for StepTypeSetupContext<'a, F>where\n F: Send + Sync,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Sync for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Sync for StepTypeWGHandler<F, Args, D>where\n Args: Sync,\n D: Sync,\n F: Sync,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Sync for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Sync for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Sync for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Sync for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Sync for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Sync for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Sync for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Sync for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Sync for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Sync for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Sync for StepSelector<F>where\n F: Sync,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Sync for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Sync for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> Sync for CompilerConfig<CM, SSB>where\n CM: Sync,\n SSB: Sync,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Sync for Assignments<F>where\n F: Sync,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !Sync for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !Sync for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Sync for MappingContext<F>where\n F: Sync,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !Sync for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Sync for Circuit<F>where\n F: Sync,",1,["chiquito::plonkish::ir::Circuit"]],["impl Sync for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Sync for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Sync for Poly<F>where\n F: Sync,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Sync for PolyLookup<F>where\n F: Sync,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Sync for Expr<F, V>where\n F: Sync,\n V: Sync,",1,["chiquito::poly::Expr"]],["impl<F> Sync for IsZero<F>where\n F: Sync,",1,["chiquito::stdlib::IsZero"]],["impl<F> Sync for StepInstance<F>where\n F: Sync,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Sync for TraceWitness<F>where\n F: Sync,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Sync for TraceContext<F>where\n F: Sync,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !Sync for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Sync for FixedGenContext<F>where\n F: Sync,",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> Sync for Queriable<F>where\n F: Sync,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !Sync for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> Sync for StepType<F>where\n F: Sync,",1,["chiquito::ast::StepType"]],["impl<F> Sync for Constraint<F>where\n F: Sync,",1,["chiquito::ast::Constraint"]],["impl<F> Sync for TransitionConstraint<F>where\n F: Sync,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Sync for Lookup<F>where\n F: Sync,",1,["chiquito::ast::Lookup"]],["impl Sync for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Sync for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Sync for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Sync for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Sync for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Sync for ImportedHalo2Column<CT>where\n CT: Sync,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Sync for Constraint<F>where\n F: Sync,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Sync for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Sync for InPlaceLookupBuilder<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Sync for LookupTableStore<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Sync for LookupTableRegistry<F>where\n F: Send,",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Sync for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Sync for LookupTableBuilder<F>where\n F: Sync,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !Sync for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !Sync for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Sync for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Sync for StepTypeContext<F>where\n F: Send + Sync,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Sync for StepTypeSetupContext<'a, F>where\n F: Send + Sync,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Sync for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Sync for StepTypeWGHandler<F, Args, D>where\n Args: Sync,\n D: Sync,\n F: Sync,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Sync for ChiquitoHalo2<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Sync for ChiquitoHalo2Circuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Sync for ChiquitoHalo2SuperCircuit<F>",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Sync for ChiquitoPlaf<F>",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Sync for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Sync for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Sync for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Sync for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Sync for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Sync for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Sync for StepSelector<F>where\n F: Sync,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Sync for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Sync for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl Sync for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> Sync for CompilerConfig<CM, SSB>where\n CM: Sync,\n SSB: Sync,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Sync for Assignments<F>where\n F: Sync,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !Sync for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !Sync for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Sync for MappingContext<F>where\n F: Sync,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !Sync for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Sync for Circuit<F>where\n F: Sync,",1,["chiquito::plonkish::ir::Circuit"]],["impl Sync for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Sync for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Sync for Poly<F>where\n F: Sync,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Sync for PolyLookup<F>where\n F: Sync,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Sync for Expr<F, V>where\n F: Sync,\n V: Sync,",1,["chiquito::poly::Expr"]],["impl<F> Sync for IsZero<F>where\n F: Sync,",1,["chiquito::stdlib::IsZero"]],["impl<F> Sync for StepInstance<F>where\n F: Sync,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Sync for TraceWitness<F>where\n F: Sync,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Sync for TraceContext<F>where\n F: Sync,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !Sync for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Sync for FixedGenContext<F>where\n F: Sync,",1,["chiquito::wit_gen::FixedGenContext"]]] };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.Unpin.js b/docs/implementors/core/marker/trait.Unpin.js index 24318671..3ebf7494 100644 --- a/docs/implementors/core/marker/trait.Unpin.js +++ b/docs/implementors/core/marker/trait.Unpin.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> Unpin for Queriable<F>where\n F: Unpin,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> Unpin for Circuit<F, TraceArgs>where\n F: Unpin,",1,["chiquito::ast::Circuit"]],["impl<F> Unpin for StepType<F>where\n F: Unpin,",1,["chiquito::ast::StepType"]],["impl<F> Unpin for Constraint<F>where\n F: Unpin,",1,["chiquito::ast::Constraint"]],["impl<F> Unpin for TransitionConstraint<F>where\n F: Unpin,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Unpin for Lookup<F>where\n F: Unpin,",1,["chiquito::ast::Lookup"]],["impl Unpin for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Unpin for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Unpin for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Unpin for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Unpin for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Unpin for ImportedHalo2Column<CT>where\n CT: Unpin,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Unpin for Constraint<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Unpin for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Unpin for InPlaceLookupBuilder<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Unpin for LookupTableStore<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Unpin for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Unpin for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Unpin for LookupTableBuilder<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> Unpin for SuperCircuitContext<F, MappingArgs>where\n F: Unpin,",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> Unpin for CircuitContext<F, TraceArgs>where\n F: Unpin,",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Unpin for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Unpin for StepTypeContext<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Unpin for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Unpin for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Unpin for StepTypeWGHandler<F, Args, D>where\n Args: Unpin,\n F: Unpin,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Unpin for ChiquitoHalo2<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Unpin for ChiquitoHalo2Circuit<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Unpin for ChiquitoHalo2SuperCircuit<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Unpin for ChiquitoPlaf<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Unpin for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Unpin for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Unpin for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Unpin for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Unpin for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Unpin for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Unpin for StepSelector<F>where\n F: Unpin,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Unpin for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Unpin for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> Unpin for CompilerConfig<CM, SSB>where\n CM: Unpin,\n SSB: Unpin,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Unpin for Assignments<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> Unpin for AssignmentGenerator<F, TraceArgs>where\n F: Unpin,",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> Unpin for SuperCircuit<F, MappingArgs>where\n F: Unpin,",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Unpin for MappingContext<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> Unpin for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Unpin for Circuit<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::Circuit"]],["impl Unpin for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Unpin for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Unpin for Poly<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Unpin for PolyLookup<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Unpin for Expr<F, V>where\n F: Unpin,\n V: Unpin,",1,["chiquito::poly::Expr"]],["impl<F> Unpin for IsZero<F>where\n F: Unpin,",1,["chiquito::stdlib::IsZero"]],["impl<F> Unpin for StepInstance<F>where\n F: Unpin,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Unpin for TraceWitness<F>where\n F: Unpin,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Unpin for TraceContext<F>where\n F: Unpin,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> Unpin for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Unpin for FixedGenContext<F>where\n F: Unpin,",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> Unpin for Queriable<F>where\n F: Unpin,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> Unpin for Circuit<F, TraceArgs>where\n F: Unpin,",1,["chiquito::ast::Circuit"]],["impl<F> Unpin for StepType<F>where\n F: Unpin,",1,["chiquito::ast::StepType"]],["impl<F> Unpin for Constraint<F>where\n F: Unpin,",1,["chiquito::ast::Constraint"]],["impl<F> Unpin for TransitionConstraint<F>where\n F: Unpin,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> Unpin for Lookup<F>where\n F: Unpin,",1,["chiquito::ast::Lookup"]],["impl Unpin for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl Unpin for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl Unpin for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl Unpin for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl Unpin for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> Unpin for ImportedHalo2Column<CT>where\n CT: Unpin,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> Unpin for Constraint<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl Unpin for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> Unpin for InPlaceLookupBuilder<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> Unpin for LookupTableStore<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> Unpin for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl Unpin for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> Unpin for LookupTableBuilder<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> Unpin for SuperCircuitContext<F, MappingArgs>where\n F: Unpin,",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> Unpin for CircuitContext<F, TraceArgs>where\n F: Unpin,",1,["chiquito::frontend::dsl::CircuitContext"]],["impl Unpin for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> Unpin for StepTypeContext<F>where\n F: Unpin,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> Unpin for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl Unpin for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> Unpin for StepTypeWGHandler<F, Args, D>where\n Args: Unpin,\n F: Unpin,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> Unpin for ChiquitoHalo2<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> Unpin for ChiquitoHalo2Circuit<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> Unpin for ChiquitoHalo2SuperCircuit<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> Unpin for ChiquitoPlaf<F>where\n F: Unpin,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl Unpin for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl Unpin for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl Unpin for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl Unpin for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl Unpin for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl Unpin for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> Unpin for StepSelector<F>where\n F: Unpin,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl Unpin for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl Unpin for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl Unpin for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> Unpin for CompilerConfig<CM, SSB>where\n CM: Unpin,\n SSB: Unpin,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> Unpin for Assignments<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> Unpin for AssignmentGenerator<F, TraceArgs>where\n F: Unpin,",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> Unpin for SuperCircuit<F, MappingArgs>where\n F: Unpin,",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> Unpin for MappingContext<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> Unpin for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> Unpin for Circuit<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::Circuit"]],["impl Unpin for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl Unpin for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> Unpin for Poly<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> Unpin for PolyLookup<F>where\n F: Unpin,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> Unpin for Expr<F, V>where\n F: Unpin,\n V: Unpin,",1,["chiquito::poly::Expr"]],["impl<F> Unpin for IsZero<F>where\n F: Unpin,",1,["chiquito::stdlib::IsZero"]],["impl<F> Unpin for StepInstance<F>where\n F: Unpin,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> Unpin for TraceWitness<F>where\n F: Unpin,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> Unpin for TraceContext<F>where\n F: Unpin,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> Unpin for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> Unpin for FixedGenContext<F>where\n F: Unpin,",1,["chiquito::wit_gen::FixedGenContext"]]] };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 46a823a6..f7956875 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, V> Neg for Expr<F, V>"],["impl<F: Clone> Neg for Queriable<F>"]] +"chiquito":[["impl<F: Clone> Neg for Queriable<F>"],["impl<F, V> Neg 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/panic/unwind_safe/trait.RefUnwindSafe.js b/docs/implementors/core/panic/unwind_safe/trait.RefUnwindSafe.js index d8e3137e..5b4b4cfc 100644 --- a/docs/implementors/core/panic/unwind_safe/trait.RefUnwindSafe.js +++ b/docs/implementors/core/panic/unwind_safe/trait.RefUnwindSafe.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> RefUnwindSafe for Queriable<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !RefUnwindSafe for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> RefUnwindSafe for StepType<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::StepType"]],["impl<F> RefUnwindSafe for Constraint<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::Constraint"]],["impl<F> RefUnwindSafe for TransitionConstraint<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> RefUnwindSafe for Lookup<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::Lookup"]],["impl RefUnwindSafe for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl RefUnwindSafe for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl RefUnwindSafe for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl RefUnwindSafe for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl RefUnwindSafe for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> RefUnwindSafe for ImportedHalo2Column<CT>where\n CT: RefUnwindSafe,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> RefUnwindSafe for Constraint<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl RefUnwindSafe for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> RefUnwindSafe for InPlaceLookupBuilder<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> RefUnwindSafe for LookupTableStore<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> RefUnwindSafe for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl RefUnwindSafe for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> RefUnwindSafe for LookupTableBuilder<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !RefUnwindSafe for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !RefUnwindSafe for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl RefUnwindSafe for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> RefUnwindSafe for StepTypeContext<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> RefUnwindSafe for StepTypeSetupContext<'a, F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl RefUnwindSafe for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> RefUnwindSafe for StepTypeWGHandler<F, Args, D>where\n Args: RefUnwindSafe,\n D: RefUnwindSafe,\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> RefUnwindSafe for ChiquitoHalo2<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> RefUnwindSafe for ChiquitoHalo2Circuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> RefUnwindSafe for ChiquitoHalo2SuperCircuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> RefUnwindSafe for ChiquitoPlaf<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl RefUnwindSafe for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl RefUnwindSafe for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl RefUnwindSafe for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl RefUnwindSafe for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl RefUnwindSafe for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl RefUnwindSafe for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> RefUnwindSafe for StepSelector<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl RefUnwindSafe for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl RefUnwindSafe for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> RefUnwindSafe for CompilerConfig<CM, SSB>where\n CM: RefUnwindSafe,\n SSB: RefUnwindSafe,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> RefUnwindSafe for Assignments<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !RefUnwindSafe for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !RefUnwindSafe for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> RefUnwindSafe for MappingContext<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !RefUnwindSafe for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> RefUnwindSafe for Circuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::Circuit"]],["impl RefUnwindSafe for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl RefUnwindSafe for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> RefUnwindSafe for Poly<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> RefUnwindSafe for PolyLookup<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> RefUnwindSafe for Expr<F, V>where\n F: RefUnwindSafe,\n V: RefUnwindSafe,",1,["chiquito::poly::Expr"]],["impl<F> RefUnwindSafe for IsZero<F>where\n F: RefUnwindSafe,",1,["chiquito::stdlib::IsZero"]],["impl<F> RefUnwindSafe for StepInstance<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> RefUnwindSafe for TraceWitness<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> RefUnwindSafe for TraceContext<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !RefUnwindSafe for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> RefUnwindSafe for FixedGenContext<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> RefUnwindSafe for Queriable<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !RefUnwindSafe for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> RefUnwindSafe for StepType<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::StepType"]],["impl<F> RefUnwindSafe for Constraint<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::Constraint"]],["impl<F> RefUnwindSafe for TransitionConstraint<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> RefUnwindSafe for Lookup<F>where\n F: RefUnwindSafe,",1,["chiquito::ast::Lookup"]],["impl RefUnwindSafe for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl RefUnwindSafe for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl RefUnwindSafe for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl RefUnwindSafe for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl RefUnwindSafe for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> RefUnwindSafe for ImportedHalo2Column<CT>where\n CT: RefUnwindSafe,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> RefUnwindSafe for Constraint<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl RefUnwindSafe for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> RefUnwindSafe for InPlaceLookupBuilder<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> RefUnwindSafe for LookupTableStore<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> RefUnwindSafe for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl RefUnwindSafe for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> RefUnwindSafe for LookupTableBuilder<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !RefUnwindSafe for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !RefUnwindSafe for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl RefUnwindSafe for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> RefUnwindSafe for StepTypeContext<F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> RefUnwindSafe for StepTypeSetupContext<'a, F>where\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl RefUnwindSafe for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> RefUnwindSafe for StepTypeWGHandler<F, Args, D>where\n Args: RefUnwindSafe,\n D: RefUnwindSafe,\n F: RefUnwindSafe,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> RefUnwindSafe for ChiquitoHalo2<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> RefUnwindSafe for ChiquitoHalo2Circuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> RefUnwindSafe for ChiquitoHalo2SuperCircuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> RefUnwindSafe for ChiquitoPlaf<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl RefUnwindSafe for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl RefUnwindSafe for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl RefUnwindSafe for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl RefUnwindSafe for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl RefUnwindSafe for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl RefUnwindSafe for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> RefUnwindSafe for StepSelector<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl RefUnwindSafe for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl RefUnwindSafe for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl RefUnwindSafe for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> RefUnwindSafe for CompilerConfig<CM, SSB>where\n CM: RefUnwindSafe,\n SSB: RefUnwindSafe,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> RefUnwindSafe for Assignments<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !RefUnwindSafe for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !RefUnwindSafe for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> RefUnwindSafe for MappingContext<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !RefUnwindSafe for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> RefUnwindSafe for Circuit<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::Circuit"]],["impl RefUnwindSafe for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl RefUnwindSafe for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> RefUnwindSafe for Poly<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> RefUnwindSafe for PolyLookup<F>where\n F: RefUnwindSafe,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> RefUnwindSafe for Expr<F, V>where\n F: RefUnwindSafe,\n V: RefUnwindSafe,",1,["chiquito::poly::Expr"]],["impl<F> RefUnwindSafe for IsZero<F>where\n F: RefUnwindSafe,",1,["chiquito::stdlib::IsZero"]],["impl<F> RefUnwindSafe for StepInstance<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> RefUnwindSafe for TraceWitness<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> RefUnwindSafe for TraceContext<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !RefUnwindSafe for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> RefUnwindSafe for FixedGenContext<F>where\n F: RefUnwindSafe,",1,["chiquito::wit_gen::FixedGenContext"]]] };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/panic/unwind_safe/trait.UnwindSafe.js b/docs/implementors/core/panic/unwind_safe/trait.UnwindSafe.js index 6287da72..62ca1168 100644 --- a/docs/implementors/core/panic/unwind_safe/trait.UnwindSafe.js +++ b/docs/implementors/core/panic/unwind_safe/trait.UnwindSafe.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> UnwindSafe for Queriable<F>where\n F: UnwindSafe,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !UnwindSafe for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> UnwindSafe for StepType<F>where\n F: UnwindSafe,",1,["chiquito::ast::StepType"]],["impl<F> UnwindSafe for Constraint<F>where\n F: UnwindSafe,",1,["chiquito::ast::Constraint"]],["impl<F> UnwindSafe for TransitionConstraint<F>where\n F: UnwindSafe,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> UnwindSafe for Lookup<F>where\n F: UnwindSafe,",1,["chiquito::ast::Lookup"]],["impl UnwindSafe for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl UnwindSafe for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl UnwindSafe for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl UnwindSafe for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl UnwindSafe for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> UnwindSafe for ImportedHalo2Column<CT>where\n CT: UnwindSafe,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> UnwindSafe for Constraint<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl UnwindSafe for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> UnwindSafe for InPlaceLookupBuilder<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> UnwindSafe for LookupTableStore<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> UnwindSafe for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl UnwindSafe for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> UnwindSafe for LookupTableBuilder<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !UnwindSafe for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !UnwindSafe for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl UnwindSafe for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> UnwindSafe for StepTypeContext<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> !UnwindSafe for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl UnwindSafe for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> UnwindSafe for StepTypeWGHandler<F, Args, D>where\n Args: UnwindSafe,\n D: UnwindSafe,\n F: UnwindSafe,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> UnwindSafe for ChiquitoHalo2<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> UnwindSafe for ChiquitoHalo2Circuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> UnwindSafe for ChiquitoHalo2SuperCircuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> UnwindSafe for ChiquitoPlaf<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl UnwindSafe for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl UnwindSafe for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl UnwindSafe for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl UnwindSafe for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl UnwindSafe for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl UnwindSafe for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> UnwindSafe for StepSelector<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl UnwindSafe for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl UnwindSafe for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl<CM, SSB> UnwindSafe for CompilerConfig<CM, SSB>where\n CM: UnwindSafe,\n SSB: UnwindSafe,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> UnwindSafe for Assignments<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !UnwindSafe for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !UnwindSafe for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> UnwindSafe for MappingContext<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !UnwindSafe for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> UnwindSafe for Circuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::Circuit"]],["impl UnwindSafe for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl UnwindSafe for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> UnwindSafe for Poly<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> UnwindSafe for PolyLookup<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> UnwindSafe for Expr<F, V>where\n F: UnwindSafe,\n V: UnwindSafe,",1,["chiquito::poly::Expr"]],["impl<F> UnwindSafe for IsZero<F>where\n F: UnwindSafe,",1,["chiquito::stdlib::IsZero"]],["impl<F> UnwindSafe for StepInstance<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> UnwindSafe for TraceWitness<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> UnwindSafe for TraceContext<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !UnwindSafe for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> UnwindSafe for FixedGenContext<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::FixedGenContext"]]] +"chiquito":[["impl<F> UnwindSafe for Queriable<F>where\n F: UnwindSafe,",1,["chiquito::ast::query::Queriable"]],["impl<F, TraceArgs> !UnwindSafe for Circuit<F, TraceArgs>",1,["chiquito::ast::Circuit"]],["impl<F> UnwindSafe for StepType<F>where\n F: UnwindSafe,",1,["chiquito::ast::StepType"]],["impl<F> UnwindSafe for Constraint<F>where\n F: UnwindSafe,",1,["chiquito::ast::Constraint"]],["impl<F> UnwindSafe for TransitionConstraint<F>where\n F: UnwindSafe,",1,["chiquito::ast::TransitionConstraint"]],["impl<F> UnwindSafe for Lookup<F>where\n F: UnwindSafe,",1,["chiquito::ast::Lookup"]],["impl UnwindSafe for ForwardSignal",1,["chiquito::ast::ForwardSignal"]],["impl UnwindSafe for SharedSignal",1,["chiquito::ast::SharedSignal"]],["impl UnwindSafe for FixedSignal",1,["chiquito::ast::FixedSignal"]],["impl UnwindSafe for ExposeOffset",1,["chiquito::ast::ExposeOffset"]],["impl UnwindSafe for InternalSignal",1,["chiquito::ast::InternalSignal"]],["impl<CT> UnwindSafe for ImportedHalo2Column<CT>where\n CT: UnwindSafe,",1,["chiquito::ast::ImportedHalo2Column"]],["impl<F> UnwindSafe for Constraint<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::cb::Constraint"]],["impl UnwindSafe for Typing",1,["chiquito::frontend::dsl::cb::Typing"]],["impl<F> UnwindSafe for InPlaceLookupBuilder<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::InPlaceLookupBuilder"]],["impl<F> UnwindSafe for LookupTableStore<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableStore"]],["impl<F> UnwindSafe for LookupTableRegistry<F>",1,["chiquito::frontend::dsl::lb::LookupTableRegistry"]],["impl UnwindSafe for LookupTable",1,["chiquito::frontend::dsl::lb::LookupTable"]],["impl<F> UnwindSafe for LookupTableBuilder<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::lb::LookupTableBuilder"]],["impl<F, MappingArgs> !UnwindSafe for SuperCircuitContext<F, MappingArgs>",1,["chiquito::frontend::dsl::sc::SuperCircuitContext"]],["impl<F, TraceArgs> !UnwindSafe for CircuitContext<F, TraceArgs>",1,["chiquito::frontend::dsl::CircuitContext"]],["impl UnwindSafe for StepTypeDefInput",1,["chiquito::frontend::dsl::StepTypeDefInput"]],["impl<F> UnwindSafe for StepTypeContext<F>where\n F: UnwindSafe,",1,["chiquito::frontend::dsl::StepTypeContext"]],["impl<'a, F> !UnwindSafe for StepTypeSetupContext<'a, F>",1,["chiquito::frontend::dsl::StepTypeSetupContext"]],["impl UnwindSafe for StepTypeHandler",1,["chiquito::frontend::dsl::StepTypeHandler"]],["impl<F, Args, D> UnwindSafe for StepTypeWGHandler<F, Args, D>where\n Args: UnwindSafe,\n D: UnwindSafe,\n F: UnwindSafe,",1,["chiquito::frontend::dsl::StepTypeWGHandler"]],["impl<F> UnwindSafe for ChiquitoHalo2<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2"]],["impl<F> UnwindSafe for ChiquitoHalo2Circuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2Circuit"]],["impl<F> UnwindSafe for ChiquitoHalo2SuperCircuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::halo2::ChiquitoHalo2SuperCircuit"]],["impl<F> UnwindSafe for ChiquitoPlaf<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::backend::plaf::ChiquitoPlaf"]],["impl UnwindSafe for ChiquitoPlafWitGen",1,["chiquito::plonkish::backend::plaf::ChiquitoPlafWitGen"]],["impl UnwindSafe for SignalPlacement",1,["chiquito::plonkish::compiler::cell_manager::SignalPlacement"]],["impl UnwindSafe for StepPlacement",1,["chiquito::plonkish::compiler::cell_manager::StepPlacement"]],["impl UnwindSafe for Placement",1,["chiquito::plonkish::compiler::cell_manager::Placement"]],["impl UnwindSafe for SingleRowCellManager",1,["chiquito::plonkish::compiler::cell_manager::SingleRowCellManager"]],["impl UnwindSafe for MaxWidthCellManager",1,["chiquito::plonkish::compiler::cell_manager::MaxWidthCellManager"]],["impl<F> UnwindSafe for StepSelector<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::compiler::step_selector::StepSelector"]],["impl UnwindSafe for SimpleStepSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::SimpleStepSelectorBuilder"]],["impl UnwindSafe for TwoStepsSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::TwoStepsSelectorBuilder"]],["impl UnwindSafe for LogNSelectorBuilder",1,["chiquito::plonkish::compiler::step_selector::LogNSelectorBuilder"]],["impl<CM, SSB> UnwindSafe for CompilerConfig<CM, SSB>where\n CM: UnwindSafe,\n SSB: UnwindSafe,",1,["chiquito::plonkish::compiler::CompilerConfig"]],["impl<F> UnwindSafe for Assignments<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::assignments::Assignments"]],["impl<F, TraceArgs> !UnwindSafe for AssignmentGenerator<F, TraceArgs>",1,["chiquito::plonkish::ir::assignments::AssignmentGenerator"]],["impl<F, MappingArgs> !UnwindSafe for SuperCircuit<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::SuperCircuit"]],["impl<F> UnwindSafe for MappingContext<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::sc::MappingContext"]],["impl<F, MappingArgs> !UnwindSafe for MappingGenerator<F, MappingArgs>",1,["chiquito::plonkish::ir::sc::MappingGenerator"]],["impl<F> UnwindSafe for Circuit<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::Circuit"]],["impl UnwindSafe for ColumnType",1,["chiquito::plonkish::ir::ColumnType"]],["impl UnwindSafe for Column",1,["chiquito::plonkish::ir::Column"]],["impl<F> UnwindSafe for Poly<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::Poly"]],["impl<F> UnwindSafe for PolyLookup<F>where\n F: UnwindSafe,",1,["chiquito::plonkish::ir::PolyLookup"]],["impl<F, V> UnwindSafe for Expr<F, V>where\n F: UnwindSafe,\n V: UnwindSafe,",1,["chiquito::poly::Expr"]],["impl<F> UnwindSafe for IsZero<F>where\n F: UnwindSafe,",1,["chiquito::stdlib::IsZero"]],["impl<F> UnwindSafe for StepInstance<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::StepInstance"]],["impl<F> UnwindSafe for TraceWitness<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::TraceWitness"]],["impl<F> UnwindSafe for TraceContext<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::TraceContext"]],["impl<F, TraceArgs> !UnwindSafe for TraceGenerator<F, TraceArgs>",1,["chiquito::wit_gen::TraceGenerator"]],["impl<F> UnwindSafe for FixedGenContext<F>where\n F: UnwindSafe,",1,["chiquito::wit_gen::FixedGenContext"]]] };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 41c3fece..8a010449 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 TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for SharedSignal"]] +"chiquito":[["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for SharedSignal"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> 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/search-index.js b/docs/search-index.js index 49d51f87..2ef29fba 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,[[]],[35,5],[32,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],[[]],[32,35],[10,[[35,[[0,[[57,[56]],1]]]]]],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[59,[[35,[[0,[[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[60,[[35,[[0,[[57,[56]],1]]]]]],[30,[[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],[59,[[107,[[57,[56]]]]]],[43,[[107,[[0,[48,[57,[56]]]]]]]],[60,[[107,[[57,[56]]]]]],[10,[[107,[[57,[56]]]]]],[56,[[107,[[57,[56]]]]]],[30,[[107,[[57,[56]]]]]],[108,107],[[]],[[],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"]]}\ +"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLFMLLLLRFFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLDGDDIDLLLLLLLLKLLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLMMMLLLLLLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLL","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","LogNSelectorBuilder","SelectorAssignment","SimpleStepSelectorBuilder","StepSelector","StepSelectorBuilder","TwoStepsSelectorBuilder","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","build","build","build","build","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","columns","default","default","default","default","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","fmt","fmt","fmt","fmt","from","from","from","from","get_selector_assignment","halo2_column","hint_one","init","init","init","init","into","into","into","into","next_expr","select","selector_assignment","selector_expr","selector_expr_not","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","unselect","vzip","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"],[975,"chiquito::plonkish::ir"],[1095,"chiquito::plonkish::ir::assignments"],[1139,"chiquito::plonkish::ir::query"],[1140,"chiquito::plonkish::ir::sc"],[1196,"chiquito::poly"],[1238,"chiquito::stdlib"],[1254,"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.","Returns the argument unchanged.","","","","","","","","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.","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,0,97,94,95,96,97,94,95,96,67,94,95,96,97,94,95,96,97,94,95,96,97,97,94,95,96,97,94,95,96,97,94,95,96,97,94,95,96,97,94,95,96,97,94,95,96,97,95,95,97,94,95,96,97,94,95,96,97,97,97,97,97,97,94,95,96,97,94,95,96,97,94,95,96,97,94,95,96,97,97,94,95,96,100,0,0,0,100,100,100,0,0,0,83,83,101,102,0,73,73,100,83,101,102,73,100,83,101,102,73,100,83,101,102,73,100,83,101,102,73,83,73,73,100,83,101,102,73,100,83,101,102,73,100,83,101,102,83,73,101,102,83,73,73,100,83,101,102,73,100,83,101,102,83,83,100,83,73,73,100,83,101,102,73,100,83,101,102,73,83,83,83,73,0,83,99,0,73,100,83,101,102,73,100,83,101,102,73,100,83,101,102,73,100,83,101,102,83,73,100,83,101,102,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,106,105,65,106,105,105,105,65,106,105,65,106,105,65,106,105,65,106,105,65,106,105,105,65,65,106,65,106,105,65,106,105,106,106,105,65,105,65,106,105,65,106,105,65,106,105,65,106,105,108,0,108,108,108,108,108,108,0,0,108,108,108,108,108,108,108,108,108,116,108,117,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,108,0,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,0,0,0,0,0,0,0,0,113,114,112,112,104,114,112,103,113,104,114,112,103,113,104,112,103,104,112,103,104,112,103,104,114,112,103,113,104,114,112,103,113,112,103,104,114,112,103,113,112,112,103,103,113,104,114,112,103,113,104,114,113,104,114,112,103,113,104,114,112,103,113,104,114,112,113,113,103,112,104,112,103,112,103,104,114,112,103,113,104,114,112,103,113,104,114,112,103,113,104,114,112,103,113],"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,[[]],[35,5],[32,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],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[59,[[35,[[0,[[57,[56]],1]]]]]],[[]],[10,[[35,[[0,[[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[32,35],[60,[[35,[[0,[[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[30,[[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,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[48]]]],[[94,[0,[48]]]],[[95,[0,[48]]]],[[96,[0,[48]]]],[[[97,[2]]],[[97,[2]]]],[94,94],[95,95],[96,96],[[]],[[]],[[]],[[]],0,[[],97],[[],94],[[],95],[[],96],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[97,[1]],33],34],[[94,33],34],[[95,33],34],[[96,33],34],[[]],[[]],[[]],[[]],[[[97,[2]],21],[[70,[[98,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[[97,[2]],21,59],[[99,[2]]]],[[[97,[2]],21,[99,[2]]],[[99,[2]]]],0,0,0,[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[[97,[2]],21],[[99,[2]]]],[[]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],83],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[2]]],[[73,[2]]]],[100,100],[83,83],[[[101,[2]]],[[101,[2]]]],[[[102,[2]]],[[102,[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],[[100,33],34],[[83,33],34],[[[101,[1]],33],34],[[[102,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[100,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]]],99],[[[99,[2]],43],[[99,[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],[10],[78],[10],[10],[36,[[69,[48]]]],[[[78,[1]],33],34],[[[78,[1]],33],34],[[]],[[]],[[[69,[48]]],[[78,[48]]]],[[[69,[48]],[103,[48]]],[[78,[48]]]],[[],10],[[],10],[[]],[[]],[[[70,[83]],91,[97,[48]],[104,[48]],10,36],[[69,[48]]]],[[]],[[]],[[],4],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[[69,[48]]],36],[[]],[[]],0,0,0,0,0,0,[[65,73]],[[]],[[]],[[]],[[]],[[]],[[]],[105,105],[[]],[[],65],[[],106],[[],105],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[105,[48]]],[[80,[48]]]],[65,105],[[[65,[2]]],[[70,[[73,[2]]]]]],[[[106,[48]]],[[80,[48]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[106,[48]],[69,[48]]]],[[[106,[48]],[69,[48]],[103,[48]]]],[[[37,[[107,[48]]]]],[[105,[48]]]],[[[65,[48]],41]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[108,[8,[108]]],108],[[]],[[]],[[[108,[2,2]]],[[108,[2,2]]]],[[]],[10],[10],[27,[[29,[[108,[28,[32,[28]]]]]]]],[10],[[],108],[[[108,[2,2]]],[[108,[2,2]]]],[[]],[[[108,[1,1]],33],34],[59,[[108,[[57,[56]]]]]],[43,[[108,[[0,[48,[57,[56]]]]]]]],[[]],[30,[[108,[[57,[56]]]]]],[10,[[108,[[57,[56]]]]]],[56,[[108,[[57,[56]]]]]],[109,108],[60,[[108,[[57,[56]]]]]],[[],10],[[]],[[108,[8,[108]]],108],[108,108],[[[108,[2]],43],[[99,[2]]]],[[108,[8,[108]]],108],[[]],[[],29],[[],29],[[],42],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[110,[[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]]]]]]],[[110,[[0,[48,[57,[56]]]]]]]],[[],29],[[],29],[[],42],[[]],[[[110,[[0,[48,111,39]]]],[112,[[0,[48,111,39]]]],[0,[48,111,39]]]],0,0,0,0,0,0,0,0,[[113,[50,[41]]]],[[[114,[[0,[48,39]]]],10,[32,[[0,[48,39]]]],[0,[48,39]]]],[[[112,[[0,[111,39]]]],[32,[[0,[111,39]]]],[0,[111,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[104,104],[[[112,[2]]],[[112,[2]]]],[[[103,[2]]],[[103,[2]]]],[[]],[[]],[[]],[[],104],[[],[[112,[62]]]],[[],[[103,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[112,[28]]]]]],[27,[[29,[[103,[28]]]]]],[10],[10],[10],[10],[10],[[[112,[1]],33],34],[[[112,[1]],33],34],[[[103,[1]],33],34],[[[103,[1]],33],34],[[[113,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[104,[62]]],[[103,[62]]]],[[[114,[[0,[48,39]]]]],[[40,[[0,[48,39]]]]]],[[[113,[62]]],[[103,[62]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[115,[62]]]],10],[[104,[62]]]],[10,[[114,[[0,[48,39]]]]]],[21,112],[10,[[113,[62]]]],[[113,[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,"LogNSelectorBuilder"],[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}; diff --git a/docs/src/chiquito/plonkish/compiler/step_selector.rs.html b/docs/src/chiquito/plonkish/compiler/step_selector.rs.html index 34d424f3..0ed16418 100644 --- a/docs/src/chiquito/plonkish/compiler/step_selector.rs.html +++ b/docs/src/chiquito/plonkish/compiler/step_selector.rs.html @@ -197,6 +197,157 @@ 197 198 199 +200 +201 +202 +203 +204 +205 +206 +207 +208 +209 +210 +211 +212 +213 +214 +215 +216 +217 +218 +219 +220 +221 +222 +223 +224 +225 +226 +227 +228 +229 +230 +231 +232 +233 +234 +235 +236 +237 +238 +239 +240 +241 +242 +243 +244 +245 +246 +247 +248 +249 +250 +251 +252 +253 +254 +255 +256 +257 +258 +259 +260 +261 +262 +263 +264 +265 +266 +267 +268 +269 +270 +271 +272 +273 +274 +275 +276 +277 +278 +279 +280 +281 +282 +283 +284 +285 +286 +287 +288 +289 +290 +291 +292 +293 +294 +295 +296 +297 +298 +299 +300 +301 +302 +303 +304 +305 +306 +307 +308 +309 +310 +311 +312 +313 +314 +315 +316 +317 +318 +319 +320 +321 +322 +323 +324 +325 +326 +327 +328 +329 +330 +331 +332 +333 +334 +335 +336 +337 +338 +339 +340 +341 +342 +343 +344 +345 +346 +347 +348 +349 +350 

use std::{collections::HashMap, rc::Rc};
 
 use halo2_proofs::plonk::{Advice, Column as Halo2Column};
@@ -387,6 +538,64 @@
     }
 }
 
+#[derive(Debug, Default, Clone)]
+pub struct LogNSelectorBuilder {}
+
+impl StepSelectorBuilder for LogNSelectorBuilder {
+    fn build<F: Field>(&self, unit: &mut CompilationUnit<F>) {
+        let mut selector: StepSelector<F> = StepSelector {
+            selector_expr: HashMap::new(),
+            selector_expr_not: HashMap::new(),
+            selector_assignment: HashMap::new(),
+            columns: Vec::new(),
+        };
+
+        let n_step_types = unit.step_types.len() as u64;
+        let n_cols = (n_step_types as f64 + 1.0).log2().ceil() as u64;
+
+        let mut annotation;
+        for index in 0..n_cols {
+            annotation = format!("'binary selector column {}'", index);
+
+            let column = Column::advice(annotation.clone(), 0);
+            selector.columns.push(column.clone());
+        }
+
+        let mut step_value = 1;
+        for step in unit.step_types.values() {
+            let mut combined_expr = PolyExpr::Const(F::ONE);
+            let mut assignments = Vec::new();
+
+            for i in 0..n_cols {
+                let bit = (step_value >> i) & 1; // Extract the i-th bit of step_value
+                let column = &selector.columns[i as usize];
+
+                if bit == 1 {
+                    combined_expr = combined_expr * column.query(0, format!("Column {}", i));
+                    assignments.push((column.query(0, format!("Column {}", i)), F::ONE));
+                } else {
+                    combined_expr = combined_expr
+                        * (PolyExpr::Const(F::ONE) - column.query(0, format!("Column {}", i)));
+                }
+            }
+
+            selector
+                .selector_expr
+                .insert(step.uuid(), combined_expr.clone());
+            selector
+                .selector_expr_not
+                .insert(step.uuid(), PolyExpr::Const(F::ONE) - combined_expr.clone());
+            selector
+                .selector_assignment
+                .insert(step.uuid(), assignments);
+            step_value += 1;
+        }
+
+        unit.columns.extend_from_slice(&selector.columns);
+        unit.selector = selector;
+    }
+}
+
 fn other_step_type<F>(unit: &CompilationUnit<F>, uuid: UUID) -> Option<Rc<StepType<F>>> {
     for step_type in unit.step_types.values() {
         if step_type.uuid() != uuid {
@@ -396,4 +605,97 @@
 
     None
 }
+
+#[cfg(test)]
+mod tests {
+    use halo2curves::bn256::Fr;
+    use uuid::Uuid;
+
+    use super::*;
+
+    fn mock_compilation_unit<F>() -> CompilationUnit<F> {
+        CompilationUnit::default()
+    }
+
+    fn add_step_types_to_unit<F>(unit: &mut CompilationUnit<F>, n_step_types: usize) {
+        for i in 0..n_step_types {
+            let uuid_value = Uuid::now_v1(&[1, 2, 3, 4, 5, 6]).as_u128();
+            unit.step_types.insert(
+                uuid_value,
+                Rc::new(StepType::new(uuid_value, format!("StepType{}", i))),
+            );
+        }
+    }
+
+    fn assert_common_tests<F>(unit: &CompilationUnit<F>, expected_cols: usize) {
+        assert_eq!(unit.columns.len(), expected_cols);
+        assert_eq!(unit.selector.columns.len(), expected_cols);
+        for step_type in unit.step_types.values() {
+            assert!(unit
+                .selector
+                .selector_assignment
+                .contains_key(&step_type.uuid()));
+            assert!(unit.selector.selector_expr.contains_key(&step_type.uuid()));
+        }
+    }
+
+    #[test]
+    fn test_log_n_selector_builder_3_step_types() {
+        let builder = LogNSelectorBuilder {};
+        let mut unit = mock_compilation_unit::<Fr>();
+
+        add_step_types_to_unit(&mut unit, 3);
+        builder.build(&mut unit);
+        assert_common_tests(&unit, 2);
+
+        // Asserts expressions for 3 step types
+        let expr10_temp = format!(
+            "(0x1 * {:#?} * (0x1 + (-{:#?})))",
+            &unit.selector.columns[0].query::<i32, &str>(0, "Column 0"),
+            &unit.selector.columns[1].query::<i32, &str>(0, "Column 1")
+        );
+        let expr01_temp = format!(
+            "(0x1 * (0x1 + (-{:#?})) * {:#?})",
+            &unit.selector.columns[0].query::<i32, &str>(0, "Column 0"),
+            &unit.selector.columns[1].query::<i32, &str>(0, "Column 1")
+        );
+        let expr11_temp = format!(
+            "(0x1 * {:#?} * {:#?})",
+            &unit.selector.columns[0].query::<i32, &str>(0, "Column 0"),
+            &unit.selector.columns[1].query::<i32, &str>(0, "Column 1")
+        );
+        let expected_exprs = [expr01_temp.trim(), expr10_temp.trim(), expr11_temp.trim()];
+
+        for expr in unit.selector.selector_expr.values() {
+            let expr_str = format!("{:#?}", expr);
+            assert!(
+                expected_exprs.contains(&expr_str.trim()),
+                "Unexpected expression: {}",
+                expr_str
+            );
+        }
+    }
+
+    #[test]
+    fn test_log_n_selector_builder_4_step_types() {
+        let builder = LogNSelectorBuilder {};
+        let mut unit = mock_compilation_unit::<Fr>();
+
+        add_step_types_to_unit(&mut unit, 4);
+        builder.build(&mut unit);
+        assert_common_tests(&unit, 3);
+    }
+
+    #[test]
+    fn test_log_n_selector_builder_10_step_types() {
+        let builder = LogNSelectorBuilder {};
+        let mut unit = mock_compilation_unit::<Fr>();
+
+        add_step_types_to_unit(&mut unit, 10);
+        builder.build(&mut unit);
+
+        let expected_cols = (10_f64 + 1.0).log2().ceil() as usize;
+        assert_common_tests(&unit, expected_cols);
+    }
+}

\ No newline at end of file