This computes the inner product of two vectors a and b.
This function will panic if the two vectors are not the same size.
This evaluates a provided polynomial (in coefficient form) at point.
pub fn kate_division<'a, F: Field, I: IntoIterator<Item = &'a F>>(
a: I,
b: F
) -> Vec<F> where
I::IntoIter: DoubleEndedIterator + ExactSizeIterator, Divides polynomial a in X by X - b with
no remainder.
This simple utility function will parallelize an operation that is to be performed over a mutable slice.
pub fn small_multiexp<C: CurveAffine>(
coeffs: &[C::Scalar],
bases: &[C]
) -> C::CurvePerforms a small multi-exponentiation operation. Uses the double-and-add algorithm with doublings shared across points.
Attempts to convert a little-endian byte representation of
+a scalar into a Fp, failing if the input is not canonical.
Converts an element of Fp into a byte representation in
+little-endian byte order.
Converts a 512-bit little endian integer into
+a Fp by reducing by the modulus.
pub enum Error {
+Enum halo2::plonk::Error [−][src]
pub enum Error {
Synthesis,
InvalidInstances,
ConstraintSystemFailure,
@@ -25,26 +26,29 @@
},
InstanceTooLarge,
NotEnoughColumnsForConstants,
+ ColumnNotInPermutation(Column<Any>),
}
Expand description
This is an error that could occur during proving or circuit synthesis.
-Variants
This is an error that can occur during synthesis of the circuit, for
+
Variants
Synthesis
This is an error that can occur during synthesis of the circuit, for
example, when the witness is not present.
-The provided instances do not match the circuit parameters.
-The constraint system is not satisfied.
-Out of bounds index passed to a backend
-Opening error
-Transcript(Error)Transcript error
-Tuple Fields of Transcript
0: Errork is too small for the given circuit.
-Fields of NotEnoughRowsAvailable
current_k: u32The current value of k being used.
-Instance provided exceeds number of available rows
-Circuit synthesis requires global constants, but circuit configuration did not
+
InvalidInstances
The provided instances do not match the circuit parameters.
+ConstraintSystemFailure
The constraint system is not satisfied.
+BoundsFailure
Out of bounds index passed to a backend
+Opening
Opening error
+Transcript(Error)
Tuple Fields
0: ErrorTranscript error
+NotEnoughRowsAvailable
Fields
current_k: u32The current value of k being used.
+k is too small for the given circuit.
+InstanceTooLarge
Instance provided exceeds number of available rows
+NotEnoughColumnsForConstants
Circuit synthesis requires global constants, but circuit configuration did not
call ConstraintSystem::enable_constant on fixed columns with sufficient space.
-Trait Implementations
The lower-level source of this error, if any. Read more
+ColumnNotInPermutation(Column<Any>)
The instance sets up a copy constraint involving a column that has not been
+included in the permutation.
+Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for Error
impl !UnwindSafe for Error
Blanket Implementations
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/enum.Expression.html b/rustdoc/latest/halo2/plonk/enum.Expression.html
index 19ebb5dc..c8a9e765 100644
--- a/rustdoc/latest/halo2/plonk/enum.Expression.html
+++ b/rustdoc/latest/halo2/plonk/enum.Expression.html
@@ -1,4 +1,5 @@
-Expression in halo2::plonk - Rust
+Expression in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/fn.create_proof.html b/rustdoc/latest/halo2/plonk/fn.create_proof.html
index bed693fa..c396c871 100644
--- a/rustdoc/latest/halo2/plonk/fn.create_proof.html
+++ b/rustdoc/latest/halo2/plonk/fn.create_proof.html
@@ -1,4 +1,5 @@
-create_proof in halo2::plonk - Rust
+create_proof in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/fn.keygen_pk.html b/rustdoc/latest/halo2/plonk/fn.keygen_pk.html
index da02be26..bcc206f5 100644
--- a/rustdoc/latest/halo2/plonk/fn.keygen_pk.html
+++ b/rustdoc/latest/halo2/plonk/fn.keygen_pk.html
@@ -1,4 +1,5 @@
-keygen_pk in halo2::plonk - Rust
+keygen_pk in halo2::plonk - Rust
+
Function halo2::plonk::keygen_pk [−][src]
pub fn keygen_pk<C, ConcreteCircuit>(
params: &Params<C>,
vk: VerifyingKey<C>,
circuit: &ConcreteCircuit
) -> Result<ProvingKey<C>, Error> where
C: CurveAffine,
ConcreteCircuit: Circuit<C::Scalar>,
Expand description
Generate a ProvingKey from a VerifyingKey and an instance of Circuit.
keygen_vk in halo2::plonk - Rust
+keygen_vk in halo2::plonk - Rust
+
Function halo2::plonk::keygen_vk [−][src]
pub fn keygen_vk<C, ConcreteCircuit>(
params: &Params<C>,
circuit: &ConcreteCircuit
) -> Result<VerifyingKey<C>, Error> where
C: CurveAffine,
ConcreteCircuit: Circuit<C::Scalar>,
Expand description
Generate a VerifyingKey from an instance of Circuit.
verify_proof in halo2::plonk - Rust
+verify_proof in halo2::plonk - Rust
+
Function halo2::plonk::verify_proof [−][src]
pub fn verify_proof<'params, C: CurveAffine, E: EncodedChallenge<C>, T: TranscriptRead<C, E>>(
params: &'params Params<C>,
vk: &VerifyingKey<C>,
msm: MSM<'params, C>,
instances: &[&[&[C::Scalar]]],
transcript: &mut T
) -> Result<Guard<'params, C, E>, Error>
Expand description
Returns a boolean indicating whether or not the proof is valid
halo2::plonk - Rust
+halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Advice.html b/rustdoc/latest/halo2/plonk/struct.Advice.html
index f03128bd..88348d9a 100644
--- a/rustdoc/latest/halo2/plonk/struct.Advice.html
+++ b/rustdoc/latest/halo2/plonk/struct.Advice.html
@@ -1,4 +1,5 @@
-Advice in halo2::plonk - Rust
+Advice in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Column.html b/rustdoc/latest/halo2/plonk/struct.Column.html
index 22119f7f..a6216c98 100644
--- a/rustdoc/latest/halo2/plonk/struct.Column.html
+++ b/rustdoc/latest/halo2/plonk/struct.Column.html
@@ -1,4 +1,5 @@
-Column in halo2::plonk - Rust
+Column in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Constraint.html b/rustdoc/latest/halo2/plonk/struct.Constraint.html
index 1dcfcef1..e248c6f5 100644
--- a/rustdoc/latest/halo2/plonk/struct.Constraint.html
+++ b/rustdoc/latest/halo2/plonk/struct.Constraint.html
@@ -1,4 +1,5 @@
-Constraint in halo2::plonk - Rust
+Constraint in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.ConstraintSystem.html b/rustdoc/latest/halo2/plonk/struct.ConstraintSystem.html
index 988c0444..3b73f86c 100644
--- a/rustdoc/latest/halo2/plonk/struct.ConstraintSystem.html
+++ b/rustdoc/latest/halo2/plonk/struct.ConstraintSystem.html
@@ -1,4 +1,5 @@
-ConstraintSystem in halo2::plonk - Rust
+ConstraintSystem in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Fixed.html b/rustdoc/latest/halo2/plonk/struct.Fixed.html
index f47a6998..14f522ca 100644
--- a/rustdoc/latest/halo2/plonk/struct.Fixed.html
+++ b/rustdoc/latest/halo2/plonk/struct.Fixed.html
@@ -1,4 +1,5 @@
-Fixed in halo2::plonk - Rust
+Fixed in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Instance.html b/rustdoc/latest/halo2/plonk/struct.Instance.html
index 1c2dfd9b..cc7e5164 100644
--- a/rustdoc/latest/halo2/plonk/struct.Instance.html
+++ b/rustdoc/latest/halo2/plonk/struct.Instance.html
@@ -1,4 +1,5 @@
-Instance in halo2::plonk - Rust
+Instance in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.PinnedConstraintSystem.html b/rustdoc/latest/halo2/plonk/struct.PinnedConstraintSystem.html
index c7b95178..92ab3a67 100644
--- a/rustdoc/latest/halo2/plonk/struct.PinnedConstraintSystem.html
+++ b/rustdoc/latest/halo2/plonk/struct.PinnedConstraintSystem.html
@@ -1,4 +1,5 @@
-PinnedConstraintSystem in halo2::plonk - Rust
+PinnedConstraintSystem in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.PinnedVerificationKey.html b/rustdoc/latest/halo2/plonk/struct.PinnedVerificationKey.html
index aea8dd0a..fd2b954b 100644
--- a/rustdoc/latest/halo2/plonk/struct.PinnedVerificationKey.html
+++ b/rustdoc/latest/halo2/plonk/struct.PinnedVerificationKey.html
@@ -1,4 +1,5 @@
-PinnedVerificationKey in halo2::plonk - Rust
+PinnedVerificationKey in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.ProvingKey.html b/rustdoc/latest/halo2/plonk/struct.ProvingKey.html
index a98361d0..2598b74c 100644
--- a/rustdoc/latest/halo2/plonk/struct.ProvingKey.html
+++ b/rustdoc/latest/halo2/plonk/struct.ProvingKey.html
@@ -1,4 +1,5 @@
-ProvingKey in halo2::plonk - Rust
+ProvingKey in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.Selector.html b/rustdoc/latest/halo2/plonk/struct.Selector.html
index 45fc4d7d..f1e5dfd3 100644
--- a/rustdoc/latest/halo2/plonk/struct.Selector.html
+++ b/rustdoc/latest/halo2/plonk/struct.Selector.html
@@ -1,4 +1,5 @@
-Selector in halo2::plonk - Rust
+Selector in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.TableColumn.html b/rustdoc/latest/halo2/plonk/struct.TableColumn.html
index 183d72f7..12234f2e 100644
--- a/rustdoc/latest/halo2/plonk/struct.TableColumn.html
+++ b/rustdoc/latest/halo2/plonk/struct.TableColumn.html
@@ -1,4 +1,5 @@
-TableColumn in halo2::plonk - Rust
+TableColumn in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.VerifyingKey.html b/rustdoc/latest/halo2/plonk/struct.VerifyingKey.html
index ecf37144..dabfc39c 100644
--- a/rustdoc/latest/halo2/plonk/struct.VerifyingKey.html
+++ b/rustdoc/latest/halo2/plonk/struct.VerifyingKey.html
@@ -1,4 +1,5 @@
-VerifyingKey in halo2::plonk - Rust
+VerifyingKey in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/struct.VirtualCells.html b/rustdoc/latest/halo2/plonk/struct.VirtualCells.html
index 03678e34..5eec8de5 100644
--- a/rustdoc/latest/halo2/plonk/struct.VirtualCells.html
+++ b/rustdoc/latest/halo2/plonk/struct.VirtualCells.html
@@ -1,4 +1,5 @@
-VirtualCells in halo2::plonk - Rust
+VirtualCells in halo2::plonk - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/trait.Assignment.html b/rustdoc/latest/halo2/plonk/trait.Assignment.html
index 4cfda7c4..ef3bcbe0 100644
--- a/rustdoc/latest/halo2/plonk/trait.Assignment.html
+++ b/rustdoc/latest/halo2/plonk/trait.Assignment.html
@@ -1,4 +1,5 @@
-Assignment in halo2::plonk - Rust
+Assignment in halo2::plonk - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/trait.Circuit.html b/rustdoc/latest/halo2/plonk/trait.Circuit.html
index 46e75d99..0a9d25bc 100644
--- a/rustdoc/latest/halo2/plonk/trait.Circuit.html
+++ b/rustdoc/latest/halo2/plonk/trait.Circuit.html
@@ -1,4 +1,5 @@
-Circuit in halo2::plonk - Rust
+Circuit in halo2::plonk - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/plonk/trait.ColumnType.html b/rustdoc/latest/halo2/plonk/trait.ColumnType.html
index 30195067..135424f1 100644
--- a/rustdoc/latest/halo2/plonk/trait.ColumnType.html
+++ b/rustdoc/latest/halo2/plonk/trait.ColumnType.html
@@ -1,4 +1,5 @@
-ColumnType in halo2::plonk - Rust
+ColumnType in halo2::plonk - Rust
+
Trait halo2::plonk::ColumnType [−][src]
Expand description
A column type
Implementors
FloorPlanner in halo2::plonk - Rust
+FloorPlanner in halo2::plonk - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/fn.create_proof.html b/rustdoc/latest/halo2/poly/commitment/fn.create_proof.html
index e75a0429..30e9b63d 100644
--- a/rustdoc/latest/halo2/poly/commitment/fn.create_proof.html
+++ b/rustdoc/latest/halo2/poly/commitment/fn.create_proof.html
@@ -1,4 +1,5 @@
-create_proof in halo2::poly::commitment - Rust
+create_proof in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/fn.verify_proof.html b/rustdoc/latest/halo2/poly/commitment/fn.verify_proof.html
index bdcb7e06..77c32140 100644
--- a/rustdoc/latest/halo2/poly/commitment/fn.verify_proof.html
+++ b/rustdoc/latest/halo2/poly/commitment/fn.verify_proof.html
@@ -1,4 +1,5 @@
-verify_proof in halo2::poly::commitment - Rust
+verify_proof in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/index.html b/rustdoc/latest/halo2/poly/commitment/index.html
index 82f30176..abca4bdc 100644
--- a/rustdoc/latest/halo2/poly/commitment/index.html
+++ b/rustdoc/latest/halo2/poly/commitment/index.html
@@ -1,4 +1,5 @@
-halo2::poly::commitment - Rust
+halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/struct.Accumulator.html b/rustdoc/latest/halo2/poly/commitment/struct.Accumulator.html
index c4a2fcfa..fbbfc118 100644
--- a/rustdoc/latest/halo2/poly/commitment/struct.Accumulator.html
+++ b/rustdoc/latest/halo2/poly/commitment/struct.Accumulator.html
@@ -1,4 +1,5 @@
-Accumulator in halo2::poly::commitment - Rust
+Accumulator in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/struct.Blind.html b/rustdoc/latest/halo2/poly/commitment/struct.Blind.html
index 9c1833a9..f72de6bb 100644
--- a/rustdoc/latest/halo2/poly/commitment/struct.Blind.html
+++ b/rustdoc/latest/halo2/poly/commitment/struct.Blind.html
@@ -1,4 +1,5 @@
-Blind in halo2::poly::commitment - Rust
+Blind in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/struct.Guard.html b/rustdoc/latest/halo2/poly/commitment/struct.Guard.html
index 00261b09..e9b16812 100644
--- a/rustdoc/latest/halo2/poly/commitment/struct.Guard.html
+++ b/rustdoc/latest/halo2/poly/commitment/struct.Guard.html
@@ -1,4 +1,5 @@
-Guard in halo2::poly::commitment - Rust
+Guard in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/struct.MSM.html b/rustdoc/latest/halo2/poly/commitment/struct.MSM.html
index 72c9fa83..e6430ffc 100644
--- a/rustdoc/latest/halo2/poly/commitment/struct.MSM.html
+++ b/rustdoc/latest/halo2/poly/commitment/struct.MSM.html
@@ -1,4 +1,5 @@
-MSM in halo2::poly::commitment - Rust
+MSM in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/commitment/struct.Params.html b/rustdoc/latest/halo2/poly/commitment/struct.Params.html
index 89d3384c..9d91b366 100644
--- a/rustdoc/latest/halo2/poly/commitment/struct.Params.html
+++ b/rustdoc/latest/halo2/poly/commitment/struct.Params.html
@@ -1,4 +1,5 @@
-Params in halo2::poly::commitment - Rust
+Params in halo2::poly::commitment - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/enum.Error.html b/rustdoc/latest/halo2/poly/enum.Error.html
index d70f5c17..aaa014f5 100644
--- a/rustdoc/latest/halo2/poly/enum.Error.html
+++ b/rustdoc/latest/halo2/poly/enum.Error.html
@@ -1,4 +1,5 @@
-Error in halo2::poly - Rust
+Error in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/index.html b/rustdoc/latest/halo2/poly/index.html
index d6e4bad8..310b59c8 100644
--- a/rustdoc/latest/halo2/poly/index.html
+++ b/rustdoc/latest/halo2/poly/index.html
@@ -1,4 +1,5 @@
-halo2::poly - Rust
+halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/multiopen/fn.create_proof.html b/rustdoc/latest/halo2/poly/multiopen/fn.create_proof.html
index bd113262..25045d99 100644
--- a/rustdoc/latest/halo2/poly/multiopen/fn.create_proof.html
+++ b/rustdoc/latest/halo2/poly/multiopen/fn.create_proof.html
@@ -1,4 +1,5 @@
-create_proof in halo2::poly::multiopen - Rust
+create_proof in halo2::poly::multiopen - Rust
+
Function halo2::poly::multiopen::create_proof [−][src]
pub fn create_proof<'a, I, C: CurveAffine, E: EncodedChallenge<C>, T: TranscriptWrite<C, E>>(
params: &Params<C>,
transcript: &mut T,
queries: I
) -> Result<()> where
I: IntoIterator<Item = ProverQuery<'a, C>> + Clone,
Expand description
Create a multi-opening proof
verify_proof in halo2::poly::multiopen - Rust
+verify_proof in halo2::poly::multiopen - Rust
+
Function halo2::poly::multiopen::verify_proof [−][src]
pub fn verify_proof<'r, 'params: 'r, I, C: CurveAffine, E: EncodedChallenge<C>, T: TranscriptRead<C, E>>(
params: &'params Params<C>,
transcript: &mut T,
queries: I,
msm: MSM<'params, C>
) -> Result<Guard<'params, C, E>, Error> where
I: IntoIterator<Item = VerifierQuery<'r, 'params, C>> + Clone,
Expand description
Verify a multi-opening proof
halo2::poly::multiopen - Rust
+halo2::poly::multiopen - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/multiopen/struct.ProverQuery.html b/rustdoc/latest/halo2/poly/multiopen/struct.ProverQuery.html
index 859db058..65b4c700 100644
--- a/rustdoc/latest/halo2/poly/multiopen/struct.ProverQuery.html
+++ b/rustdoc/latest/halo2/poly/multiopen/struct.ProverQuery.html
@@ -1,4 +1,5 @@
-ProverQuery in halo2::poly::multiopen - Rust
+ProverQuery in halo2::poly::multiopen - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/multiopen/struct.VerifierQuery.html b/rustdoc/latest/halo2/poly/multiopen/struct.VerifierQuery.html
index 1d784780..bba7f35c 100644
--- a/rustdoc/latest/halo2/poly/multiopen/struct.VerifierQuery.html
+++ b/rustdoc/latest/halo2/poly/multiopen/struct.VerifierQuery.html
@@ -1,4 +1,5 @@
-VerifierQuery in halo2::poly::multiopen - Rust
+VerifierQuery in halo2::poly::multiopen - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.Coeff.html b/rustdoc/latest/halo2/poly/struct.Coeff.html
index 4779ad72..10173fff 100644
--- a/rustdoc/latest/halo2/poly/struct.Coeff.html
+++ b/rustdoc/latest/halo2/poly/struct.Coeff.html
@@ -1,4 +1,5 @@
-Coeff in halo2::poly - Rust
+Coeff in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.EvaluationDomain.html b/rustdoc/latest/halo2/poly/struct.EvaluationDomain.html
index 9c7c1d42..852ec5f4 100644
--- a/rustdoc/latest/halo2/poly/struct.EvaluationDomain.html
+++ b/rustdoc/latest/halo2/poly/struct.EvaluationDomain.html
@@ -1,4 +1,5 @@
-EvaluationDomain in halo2::poly - Rust
+EvaluationDomain in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.ExtendedLagrangeCoeff.html b/rustdoc/latest/halo2/poly/struct.ExtendedLagrangeCoeff.html
index f1902ac2..8fda404a 100644
--- a/rustdoc/latest/halo2/poly/struct.ExtendedLagrangeCoeff.html
+++ b/rustdoc/latest/halo2/poly/struct.ExtendedLagrangeCoeff.html
@@ -1,4 +1,5 @@
-ExtendedLagrangeCoeff in halo2::poly - Rust
+ExtendedLagrangeCoeff in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.LagrangeCoeff.html b/rustdoc/latest/halo2/poly/struct.LagrangeCoeff.html
index 214f048c..4f2ff3ea 100644
--- a/rustdoc/latest/halo2/poly/struct.LagrangeCoeff.html
+++ b/rustdoc/latest/halo2/poly/struct.LagrangeCoeff.html
@@ -1,4 +1,5 @@
-LagrangeCoeff in halo2::poly - Rust
+LagrangeCoeff in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.PinnedEvaluationDomain.html b/rustdoc/latest/halo2/poly/struct.PinnedEvaluationDomain.html
index 996b38ab..ccdde2ca 100644
--- a/rustdoc/latest/halo2/poly/struct.PinnedEvaluationDomain.html
+++ b/rustdoc/latest/halo2/poly/struct.PinnedEvaluationDomain.html
@@ -1,4 +1,5 @@
-PinnedEvaluationDomain in halo2::poly - Rust
+PinnedEvaluationDomain in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.Polynomial.html b/rustdoc/latest/halo2/poly/struct.Polynomial.html
index 909b3a1e..a81439fd 100644
--- a/rustdoc/latest/halo2/poly/struct.Polynomial.html
+++ b/rustdoc/latest/halo2/poly/struct.Polynomial.html
@@ -1,4 +1,5 @@
-Polynomial in halo2::poly - Rust
+Polynomial in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/struct.Rotation.html b/rustdoc/latest/halo2/poly/struct.Rotation.html
index 058b4219..265e03ec 100644
--- a/rustdoc/latest/halo2/poly/struct.Rotation.html
+++ b/rustdoc/latest/halo2/poly/struct.Rotation.html
@@ -1,4 +1,5 @@
-Rotation in halo2::poly - Rust
+Rotation in halo2::poly - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/poly/trait.Basis.html b/rustdoc/latest/halo2/poly/trait.Basis.html
index 933715c9..94e6c189 100644
--- a/rustdoc/latest/halo2/poly/trait.Basis.html
+++ b/rustdoc/latest/halo2/poly/trait.Basis.html
@@ -1,4 +1,5 @@
-Basis in halo2::poly - Rust
+Basis in halo2::poly - Rust
+
Trait halo2::poly::Basis [−][src]
Expand description
The basis over which a polynomial is described.
Implementors
halo2::transcript - Rust
+halo2::transcript - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/struct.Blake2bRead.html b/rustdoc/latest/halo2/transcript/struct.Blake2bRead.html
index 0a25eaf2..224e4f06 100644
--- a/rustdoc/latest/halo2/transcript/struct.Blake2bRead.html
+++ b/rustdoc/latest/halo2/transcript/struct.Blake2bRead.html
@@ -1,4 +1,5 @@
-Blake2bRead in halo2::transcript - Rust
+Blake2bRead in halo2::transcript - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/struct.Blake2bWrite.html b/rustdoc/latest/halo2/transcript/struct.Blake2bWrite.html
index c2106215..032ca25b 100644
--- a/rustdoc/latest/halo2/transcript/struct.Blake2bWrite.html
+++ b/rustdoc/latest/halo2/transcript/struct.Blake2bWrite.html
@@ -1,4 +1,5 @@
-Blake2bWrite in halo2::transcript - Rust
+Blake2bWrite in halo2::transcript - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/struct.Challenge255.html b/rustdoc/latest/halo2/transcript/struct.Challenge255.html
index b542353a..63b08859 100644
--- a/rustdoc/latest/halo2/transcript/struct.Challenge255.html
+++ b/rustdoc/latest/halo2/transcript/struct.Challenge255.html
@@ -1,4 +1,5 @@
-Challenge255 in halo2::transcript - Rust
+Challenge255 in halo2::transcript - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/struct.ChallengeScalar.html b/rustdoc/latest/halo2/transcript/struct.ChallengeScalar.html
index f805b2d7..1abaf461 100644
--- a/rustdoc/latest/halo2/transcript/struct.ChallengeScalar.html
+++ b/rustdoc/latest/halo2/transcript/struct.ChallengeScalar.html
@@ -1,4 +1,5 @@
-ChallengeScalar in halo2::transcript - Rust
+ChallengeScalar in halo2::transcript - Rust
+
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/trait.EncodedChallenge.html b/rustdoc/latest/halo2/transcript/trait.EncodedChallenge.html
index 530d1c34..0300e359 100644
--- a/rustdoc/latest/halo2/transcript/trait.EncodedChallenge.html
+++ b/rustdoc/latest/halo2/transcript/trait.EncodedChallenge.html
@@ -1,4 +1,5 @@
-EncodedChallenge in halo2::transcript - Rust
+EncodedChallenge in halo2::transcript - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/trait.Transcript.html b/rustdoc/latest/halo2/transcript/trait.Transcript.html
index ce61ab1d..6ef42110 100644
--- a/rustdoc/latest/halo2/transcript/trait.Transcript.html
+++ b/rustdoc/latest/halo2/transcript/trait.Transcript.html
@@ -1,4 +1,5 @@
-Transcript in halo2::transcript - Rust
+Transcript in halo2::transcript - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/trait.TranscriptRead.html b/rustdoc/latest/halo2/transcript/trait.TranscriptRead.html
index dd71fe6f..ebcb7800 100644
--- a/rustdoc/latest/halo2/transcript/trait.TranscriptRead.html
+++ b/rustdoc/latest/halo2/transcript/trait.TranscriptRead.html
@@ -1,4 +1,5 @@
-TranscriptRead in halo2::transcript - Rust
+TranscriptRead in halo2::transcript - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/halo2/transcript/trait.TranscriptWrite.html b/rustdoc/latest/halo2/transcript/trait.TranscriptWrite.html
index a5f8e4fb..3029d612 100644
--- a/rustdoc/latest/halo2/transcript/trait.TranscriptWrite.html
+++ b/rustdoc/latest/halo2/transcript/trait.TranscriptWrite.html
@@ -1,4 +1,5 @@
-TranscriptWrite in halo2::transcript - Rust
+TranscriptWrite in halo2::transcript - Rust
+
-
\ No newline at end of file
diff --git a/rustdoc/latest/main.js b/rustdoc/latest/main.js
index 36783978..fbf3ca0d 100644
--- a/rustdoc/latest/main.js
+++ b/rustdoc/latest/main.js
@@ -5,4 +5,4 @@ if(!String.prototype.startsWith){String.prototype.startsWith=function(searchStri
and const.","Search functions by type signature (e.g., vec -> usize or \
* -> vec)","Search multiple things at once by splitting your query with comma (e.g., \
str,u8 or String,struct:Vec,test)","You can look for items with an exact name by putting double quotes around \
- your request: \"string\"","Look for items inside another one by searching for a path: vec::Vec",].map(function(x){return""+x+"
"}).join("");var div_infos=document.createElement("div");addClass(div_infos,"infos");div_infos.innerHTML="Search Tricks
"+infos;container.appendChild(book_info);container.appendChild(div_shortcuts);container.appendChild(div_infos);var rustdoc_version=document.createElement("span");rustdoc_version.className="bottom";var rustdoc_version_code=document.createElement("code");rustdoc_version_code.innerText="rustdoc 1.58.0-nightly (c9c4b5d72 2021-11-17)";rustdoc_version.appendChild(rustdoc_version_code);container.appendChild(rustdoc_version);popup.appendChild(container);insertAfter(popup,searchState.outputElement());buildHelperPopup=function(){}};onHashChange(null);window.addEventListener("hashchange",onHashChange);searchState.setup()}());(function(){var reset_button_timeout=null;window.copy_path=function(but){var parent=but.parentElement;var path=[];onEach(parent.childNodes,function(child){if(child.tagName==='A'){path.push(child.textContent)}});var el=document.createElement('textarea');el.value=path.join('::');el.setAttribute('readonly','');el.style.position='absolute';el.style.left='-9999px';document.body.appendChild(el);el.select();document.execCommand('copy');document.body.removeChild(el);but.children[0].style.display='none';var tmp;if(but.childNodes.length<2){tmp=document.createTextNode('✓');but.appendChild(tmp)}else{onEachLazy(but.childNodes,function(e){if(e.nodeType===Node.TEXT_NODE){tmp=e;return true}});tmp.textContent='✓'}if(reset_button_timeout!==null){window.clearTimeout(reset_button_timeout)}function reset_button(){tmp.textContent='';reset_button_timeout=null;but.children[0].style.display=""}reset_button_timeout=window.setTimeout(reset_button,1000)}}())
\ No newline at end of file
+ your request: \"string\"","Look for items inside another one by searching for a path: vec::Vec",].map(function(x){return""+x+"
"}).join("");var div_infos=document.createElement("div");addClass(div_infos,"infos");div_infos.innerHTML="Search Tricks
"+infos;container.appendChild(book_info);container.appendChild(div_shortcuts);container.appendChild(div_infos);var rustdoc_version=document.createElement("span");rustdoc_version.className="bottom";var rustdoc_version_code=document.createElement("code");rustdoc_version_code.innerText="rustdoc 1.58.0-nightly (936f2600b 2021-11-22)";rustdoc_version.appendChild(rustdoc_version_code);container.appendChild(rustdoc_version);popup.appendChild(container);insertAfter(popup,searchState.outputElement());buildHelperPopup=function(){}};onHashChange(null);window.addEventListener("hashchange",onHashChange);searchState.setup()}());(function(){var reset_button_timeout=null;window.copy_path=function(but){var parent=but.parentElement;var path=[];onEach(parent.childNodes,function(child){if(child.tagName==='A'){path.push(child.textContent)}});var el=document.createElement('textarea');el.value=path.join('::');el.setAttribute('readonly','');el.style.position='absolute';el.style.left='-9999px';document.body.appendChild(el);el.select();document.execCommand('copy');document.body.removeChild(el);but.children[0].style.display='none';var tmp;if(but.childNodes.length<2){tmp=document.createTextNode('✓');but.appendChild(tmp)}else{onEachLazy(but.childNodes,function(e){if(e.nodeType===Node.TEXT_NODE){tmp=e;return true}});tmp.textContent='✓'}if(reset_button_timeout!==null){window.clearTimeout(reset_button_timeout)}function reset_button(){tmp.textContent='';reset_button_timeout=null;but.children[0].style.display=""}reset_button_timeout=window.setTimeout(reset_button,1000)}}())
\ No newline at end of file
diff --git a/rustdoc/latest/rustdoc.css b/rustdoc/latest/rustdoc.css
index d356047c..ee10554d 100644
--- a/rustdoc/latest/rustdoc.css
+++ b/rustdoc/latest/rustdoc.css
@@ -1 +1 @@
- @font-face {font-family:'Fira Sans';font-style:normal;font-weight:400;src:local('Fira Sans'),url("FiraSans-Regular.woff2") format("woff2"),url("FiraSans-Regular.woff") format('woff');font-display:swap;}@font-face {font-family:'Fira Sans';font-style:normal;font-weight:500;src:local('Fira Sans Medium'),url("FiraSans-Medium.woff2") format("woff2"),url("FiraSans-Medium.woff") format('woff');font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:normal;font-weight:400;src:local('Source Serif 4'),url("SourceSerif4-Regular.ttf.woff2") format("woff2"),url("SourceSerif4-Regular.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:italic;font-weight:400;src:local('Source Serif 4 Italic'),url("SourceSerif4-It.ttf.woff2") format("woff2"),url("SourceSerif4-It.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:normal;font-weight:700;src:local('Source Serif 4 Bold'),url("SourceSerif4-Bold.ttf.woff2") format("woff2"),url("SourceSerif4-Bold.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:normal;font-weight:400;src:url("SourceCodePro-Regular.ttf.woff2") format("woff2"),url("SourceCodePro-Regular.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:italic;font-weight:400;src:url("SourceCodePro-It.ttf.woff2") format("woff2"),url("SourceCodePro-It.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:normal;font-weight:600;src:url("SourceCodePro-Semibold.ttf.woff2") format("woff2"),url("SourceCodePro-Semibold.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'NanumBarunGothic';src:url("NanumBarunGothic.ttf.woff2") format("woff2"),url("NanumBarunGothic.ttf.woff") format("woff");font-display:swap;unicode-range:U+AC00-D7AF,U+1100-11FF,U+3130-318F,U+A960-A97F,U+D7B0-D7FF;}*{-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box;}html{content:"";}@media (prefers-color-scheme:light){html{content:"light";}}@media (prefers-color-scheme:dark){html{content:"dark";}}body{font:16px/1.4 "Source Serif 4",NanumBarunGothic,serif;margin:0;position:relative;padding:10px 15px 20px 15px;-webkit-font-feature-settings:"kern","liga";-moz-font-feature-settings:"kern","liga";font-feature-settings:"kern","liga";}h1{font-size:1.5em;}h2{font-size:1.4em;}h3{font-size:1.3em;}h1,h2,h3,h4,h5,h6{font-weight:500;}h1,h2,h3,h4{margin:20px 0 15px 0;padding-bottom:6px;}.docblock h3,.docblock h4,h5,h6{margin:15px 0 5px 0;}h1.fqn{display:flex;border-bottom:1px dashed;margin-top:0;padding-left:1px;}h1.fqn>.in-band>a:hover{text-decoration:underline;}h2,.top-doc h3,.top-doc h4,.sidebar .others h3{border-bottom:1px solid;}h3.code-header{font-size:1.1em;}h4.code-header{font-size:1em;}h3.code-header,h4.code-header{font-weight:600;border-bottom-style:none;padding:0;margin:0;}.impl,.impl-items .method,.methods .method,.impl-items .type,.methods .type,.impl-items .associatedconstant,.methods .associatedconstant,.impl-items .associatedtype,.methods .associatedtype{flex-basis:100%;font-weight:600;margin-top:16px;margin-bottom:10px;position:relative;}div.impl-items>div{padding-left:0;}h1,h2,h3,h4,h5,h6,.sidebar,a.source,.search-input,.search-results .result-name,.content table td:first-child>a,.item-left>a,div.item-list .out-of-band,span.since,#source-sidebar,#sidebar-toggle,details.rustdoc-toggle>summary::before,details.undocumented>summary::before,div.impl-items>div:not(.docblock):not(.item-info),.content ul.crate a.crate,a.srclink,#main>ul.docblock>li>a{font-family:"Fira Sans",Arial,NanumBarunGothic,sans-serif;}.content ul.crate a.crate{font-size:16px/1.6;}ol,ul{padding-left:25px;}ul ul,ol ul,ul ol,ol ol{margin-bottom:.6em;}p{margin:0 0 .6em 0;}summary{outline:none;}td,th{padding:0;}table{border-collapse:collapse;}button,input,optgroup,select,textarea{color:inherit;font:inherit;margin:0;}details:not(.rustdoc-toggle) summary{margin-bottom:.6em;}code,pre,a.test-arrow,.code-header{font-family:"Source Code Pro",monospace;}.docblock code,.docblock-short code{border-radius:3px;padding:0 0.1em;}.docblock pre code,.docblock-short pre code{padding:0;}pre{padding:14px;}.docblock.item-decl{margin-left:0;}.item-decl pre{overflow-x:auto;}.source .content pre{padding:20px;}img{max-width:100%;}li{position:relative;}.source .content{margin-top:50px;max-width:none;overflow:visible;margin-left:0px;}nav.sub{font-size:16px;text-transform:uppercase;}.sidebar{width:200px;position:fixed;left:0;top:0;bottom:0;overflow:auto;}*{scrollbar-width:initial;}.sidebar{scrollbar-width:thin;}::-webkit-scrollbar{width:12px;}.sidebar::-webkit-scrollbar{width:8px;}::-webkit-scrollbar-track{-webkit-box-shadow:inset 0;}.sidebar .block>ul>li{margin-right:-10px;}.content,nav{max-width:960px;}.hidden{display:none !important;}.logo-container{height:100px;width:100px;position:relative;margin:20px auto;display:block;margin-top:10px;}.logo-container>img{max-width:100px;max-height:100px;height:100%;position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);display:block;}.sidebar .location{border:1px solid;font-size:17px;margin:30px 10px 20px 10px;text-align:center;word-wrap:break-word;font-weight:inherit;padding:0;}.sidebar .version{font-size:15px;text-align:center;border-bottom:1px solid;overflow-wrap:break-word;word-wrap:break-word;word-break:break-word;}.location:empty{border:none;}.location a:first-of-type{font-weight:500;}.location a:hover{text-decoration:underline;}.block{padding:0;margin-bottom:14px;}.block h2,.block h3{text-align:center;}.block ul,.block li{margin:0 10px;padding:0;list-style:none;}.block a{display:block;text-overflow:ellipsis;overflow:hidden;line-height:15px;padding:7px 5px;font-size:14px;font-weight:300;transition:border 500ms ease-out;}.sidebar-title{border-top:1px solid;border-bottom:1px solid;text-align:center;font-size:17px;margin-bottom:5px;font-weight:inherit;padding:0;}.sidebar-links{margin-bottom:15px;}.sidebar-links>a{padding-left:10px;width:100%;}.sidebar-menu{display:none;}.content{padding:15px 0;}.source .content pre.rust{white-space:pre;overflow:auto;padding-left:0;}.rustdoc .example-wrap{display:inline-flex;margin-bottom:10px;}.example-wrap{position:relative;width:100%;}.example-wrap>pre.line-number{overflow:initial;border:1px solid;padding:13px 8px;text-align:right;border-top-left-radius:5px;border-bottom-left-radius:5px;}.example-wrap>pre.rust a:hover{text-decoration:underline;}.rustdoc:not(.source) .example-wrap>pre:not(.line-number){width:100%;overflow-x:auto;}.rustdoc:not(.source) .example-wrap>pre.line-numbers{width:auto;overflow-x:visible;}.rustdoc .example-wrap>pre{margin:0;}#search{margin-left:230px;position:relative;}#results>table{width:100%;table-layout:fixed;}.content>.example-wrap pre.line-numbers{position:relative;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;}.line-numbers span{cursor:pointer;}.docblock-short{overflow-wrap:anywhere;}.docblock-short p{display:inline;}.docblock-short p{overflow:hidden;text-overflow:ellipsis;margin:0;}.docblock>:not(pre)>code,.docblock-short>:not(pre)>code{white-space:pre-wrap;}.top-doc .docblock h2{font-size:1.3em;}.top-doc .docblock h3{font-size:1.15em;}.top-doc .docblock h4,.top-doc .docblock h5{font-size:1.1em;}.top-doc .docblock h6{font-size:1em;}.docblock h5{font-size:1em;}.docblock h6{font-size:0.95em;}.docblock{margin-left:24px;position:relative;}.docblock>:not(.information){max-width:100%;overflow-x:auto;}.content .out-of-band{flex-grow:0;text-align:right;font-size:23px;margin:0px;padding:0 0 0 12px;font-weight:normal;}.method>.code-header,.trait-impl>.code-header,.invisible>.code-header{max-width:calc(100% - 41px);display:block;}.invisible{width:100%;display:inline-block;}.content .in-band{flex-grow:1;margin:0px;padding:0px;overflow-wrap:anywhere;}.in-band>code,.in-band>.code-header{display:inline-block;}#main{position:relative;}#main>.since{top:inherit;font-family:"Fira Sans",Arial,sans-serif;}.content table:not(.table-display){border-spacing:0 5px;}.content td{vertical-align:top;}.content td:first-child{padding-right:20px;}.content td p:first-child{margin-top:0;}.content td h1,.content td h2{margin-left:0;font-size:1.1em;}.content tr:first-child td{border-top:0;}.docblock table{margin:.5em 0;width:calc(100% - 2px);overflow-x:auto;display:block;}.docblock table td{padding:.5em;border:1px dashed;}.docblock table th{padding:.5em;text-align:left;border:1px solid;}.fields+table{margin-bottom:1em;}.content .item-list{list-style-type:none;padding:0;}.content .multi-column{-moz-column-count:5;-moz-column-gap:2.5em;-webkit-column-count:5;-webkit-column-gap:2.5em;column-count:5;column-gap:2.5em;}.content .multi-column li{width:100%;display:inline-block;}.content>.methods>.method{font-size:1em;position:relative;}.content .method .where,.content .fn .where,.content .where.fmt-newline{display:block;font-size:0.8em;}.content .methods>div:not(.notable-traits):not(.method){margin-left:40px;margin-bottom:15px;}.content .docblock>.impl-items{margin-left:20px;margin-top:-34px;}.content .docblock>.impl-items .table-display{margin:0;}.content .docblock>.impl-items table td{padding:0;}.content .docblock>.impl-items .table-display,.impl-items table td{border:none;}.content .item-info code{font-size:90%;}.content .item-info{position:relative;margin-left:33px;}.sub-variant>div>.item-info{margin-top:initial;}.content .item-info::before{content:'⬑';font-size:25px;position:absolute;top:-6px;left:-19px;}.content .impl-items .docblock,.content .impl-items .item-info{margin-bottom:.6em;}.content .impl-items>.item-info{margin-left:40px;}.methods>.item-info,.content .impl-items>.item-info{margin-top:-8px;}.impl-items{flex-basis:100%;}#main>.item-info{margin-top:0;}nav:not(.sidebar){border-bottom:1px solid;padding-bottom:10px;margin-bottom:10px;}nav.main{padding:20px 0;text-align:center;}nav.main .current{border-top:1px solid;border-bottom:1px solid;}nav.main .separator{border:1px solid;display:inline-block;height:23px;margin:0 20px;}nav.sum{text-align:right;}nav.sub form{display:inline;}nav.sub,.content{margin-left:230px;}a{text-decoration:none;background:transparent;}.small-section-header{display:flex;justify-content:space-between;position:relative;}.small-section-header:hover>.anchor{display:initial;}.in-band:hover>.anchor,.impl:hover>.anchor,.method.trait-impl:hover>.anchor,.type.trait-impl:hover>.anchor,.associatedconstant.trait-impl:hover>.anchor,.associatedtype.trait-impl:hover>.anchor{display:inline-block;position:absolute;}.anchor{display:none;position:absolute;left:-0.5em;background:none !important;}.anchor.field{left:-5px;}.small-section-header>.anchor{left:-15px;padding-right:8px;}h2.small-section-header>.anchor{padding-right:6px;}.anchor::before{content:'§';}.docblock a:not(.srclink):not(.test-arrow):hover,.docblock-short a:not(.srclink):not(.test-arrow):hover,.item-info a{text-decoration:underline;}.invisible>.srclink,.method>.code-header+.srclink{position:absolute;top:0;right:0;font-size:17px;font-weight:normal;}.block a.current.crate{font-weight:500;}.item-table{display:table;}.item-row{display:table-row;}.item-left,.item-right{display:table-cell;}.item-left{padding-right:1.2rem;}.search-container{position:relative;}.search-container>div{display:inline-flex;width:calc(100% - 63px);}#crate-search{min-width:115px;margin-top:5px;padding:6px;padding-right:19px;flex:none;border:0;border-right:0;border-radius:4px 0 0 4px;outline:none;cursor:pointer;border-right:1px solid;-moz-appearance:none;-webkit-appearance:none;text-indent:0.01px;text-overflow:"";background-repeat:no-repeat;background-color:transparent;background-size:20px;background-position:calc(100% - 1px) 56%;}.search-container>.top-button{position:absolute;right:0;top:10px;}.search-input{-moz-box-sizing:border-box !important;box-sizing:border-box !important;outline:none;border:none;border-radius:1px;margin-top:5px;padding:10px 16px;font-size:17px;transition:border-color 300ms ease;transition:border-radius 300ms ease-in-out;transition:box-shadow 300ms ease-in-out;width:100%;}#crate-search+.search-input{border-radius:0 1px 1px 0;width:calc(100% - 32px);}.search-input:focus{border-radius:2px;border:0;outline:0;}.search-results{display:none;padding-bottom:2em;}.search-results.active{display:block;clear:both;}.search-results .desc>span{white-space:nowrap;text-overflow:ellipsis;overflow:hidden;display:block;}.search-results>a{display:block;width:100%;margin-left:2px;margin-right:2px;border-bottom:1px solid #aaa3;}.search-results>a>div{display:flex;flex-flow:row wrap;}.search-results .result-name,.search-results div.desc,.search-results .result-description{width:50%;}.search-results .result-name{padding-right:1em;}.search-results .result-name>span{display:inline-block;margin:0;font-weight:normal;}body.blur>:not(#help){filter:blur(8px);-webkit-filter:blur(8px);opacity:.7;}#help{width:100%;height:100vh;position:fixed;top:0;left:0;display:flex;justify-content:center;align-items:center;}#help>div{flex:0 0 auto;box-shadow:0 0 6px rgba(0,0,0,.2);width:550px;height:auto;border:1px solid;}#help dt{float:left;clear:left;display:block;margin-right:0.5rem;}#help span.top,#help span.bottom{text-align:center;display:block;font-size:18px;}#help span.top{text-align:center;display:block;margin:10px 0;border-bottom:1px solid;padding-bottom:4px;margin-bottom:6px;}#help span.bottom{clear:both;border-top:1px solid;}#help dd{margin:5px 35px;}#help .infos{padding-left:0;}#help h1,#help h2{margin-top:0;}#help>div div{width:50%;float:left;padding:0 20px 20px 17px;;}.item-info .stab{display:table;}.stab{border-width:1px;border-style:solid;padding:3px;margin-bottom:5px;font-size:90%;font-weight:normal;}.stab p{display:inline;}.stab .emoji{font-size:1.5em;}.emoji{text-shadow:1px 0 0 black,-1px 0 0 black,0 1px 0 black,0 -1px 0 black;}.module-item .stab,.import-item .stab{border-radius:3px;display:inline-block;font-size:80%;line-height:1.2;margin-bottom:0;margin-left:.3em;padding:2px;vertical-align:text-bottom;}.module-item.unstable,.import-item.unstable{opacity:0.65;}.since{font-weight:normal;font-size:initial;}.impl-items .since,.impl .since,.methods .since{padding-left:12px;padding-right:2px;position:initial;}.impl-items .srclink,.impl .srclink,.methods .srclink{font-size:17px;font-weight:normal;}.rightside{float:right;}.has-srclink{font-size:16px;margin-bottom:12px;justify-content:space-between;}.variants_table{width:100%;}.variants_table tbody tr td:first-child{width:1%;}td.summary-column{width:100%;}.summary{padding-right:0px;}pre.rust .question-mark{font-weight:bold;}a.test-arrow{display:inline-block;position:absolute;padding:5px 10px 5px 10px;border-radius:5px;font-size:130%;top:5px;right:5px;z-index:1;}a.test-arrow:hover{text-decoration:none;}.section-header:hover a:before{position:absolute;left:-25px;padding-right:10px;content:'\2002\00a7\2002';}.section-header:hover a{text-decoration:none;}.section-header a{color:inherit;}.code-attribute{font-weight:300;}.since+.srclink{padding-left:10px;}.item-spacer{width:100%;height:12px;}.out-of-band>span.since{position:initial;font-size:20px;margin-right:5px;}.sub-variant,.sub-variant>h3{margin-top:0px !important;padding-top:1px;}#main .sub-variant>h3{font-size:15px;margin-left:25px;margin-bottom:5px;}.sub-variant>div{margin-left:20px;margin-bottom:10px;}.sub-variant>div>span{display:block;position:relative;}.toggle-label{display:inline-block;margin-left:4px;margin-top:3px;}.docblock>.section-header:first-child{margin-left:15px;margin-top:0;}.docblock>.section-header:first-child:hover>a:before{left:-10px;}:target>code,:target>.code-header{opacity:1;}:target{padding-right:3px;}.information{position:absolute;left:-25px;margin-top:7px;z-index:1;}.tooltip{position:relative;display:inline-block;cursor:pointer;}.tooltip::after{display:none;text-align:center;padding:5px 3px 3px 3px;border-radius:6px;margin-left:5px;font-size:16px;}.tooltip.ignore::after{content:"This example is not tested";}.tooltip.compile_fail::after{content:"This example deliberately fails to compile";}.tooltip.should_panic::after{content:"This example panics";}.tooltip.edition::after{content:"This code runs with edition " attr(data-edition);}.tooltip::before{content:" ";position:absolute;top:50%;left:16px;margin-top:-5px;border-width:5px;border-style:solid;display:none;}.tooltip:hover::before,.tooltip:hover::after{display:inline;}.tooltip.compile_fail,.tooltip.should_panic,.tooltip.ignore{font-weight:bold;font-size:20px;}.notable-traits-tooltip{display:inline-block;cursor:pointer;}.notable-traits:hover .notable-traits-tooltiptext,.notable-traits .notable-traits-tooltiptext.force-tooltip{display:inline-block;}.notable-traits .notable-traits-tooltiptext{display:none;padding:5px 3px 3px 3px;border-radius:6px;margin-left:5px;z-index:10;font-size:16px;cursor:default;position:absolute;border:1px solid;}.notable-traits-tooltip::after{content:"\00a0\00a0\00a0";}.notable-traits .notable,.notable-traits .docblock{margin:0;}.notable-traits .notable{margin:0;margin-bottom:13px;font-size:19px;font-weight:600;}.notable-traits .docblock code.content{margin:0;padding:0;font-size:20px;}pre.rust.rust-example-rendered{position:relative;}pre.rust{tab-size:4;-moz-tab-size:4;}.search-failed{text-align:center;margin-top:20px;display:none;}.search-failed.active{display:block;}.search-failed>ul{text-align:left;max-width:570px;margin-left:auto;margin-right:auto;}#titles{height:35px;}#titles>button{float:left;width:33.3%;text-align:center;font-size:18px;cursor:pointer;border:0;border-top:2px solid;}#titles>button:not(:last-child){margin-right:1px;width:calc(33.3% - 1px);}#titles>button>div.count{display:inline-block;font-size:16px;}.notable-traits{cursor:pointer;z-index:2;margin-left:5px;}#all-types{text-align:center;border:1px solid;margin:0 10px;margin-bottom:10px;display:block;border-radius:7px;}#all-types>p{margin:5px 0;}#sidebar-toggle{position:fixed;top:30px;left:300px;z-index:10;padding:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;cursor:pointer;font-weight:bold;transition:left .5s;font-size:1.2em;border:1px solid;border-left:0;}#source-sidebar{position:fixed;top:0;bottom:0;left:0;width:300px;z-index:1;overflow:auto;transition:left .5s;border-right:1px solid;}#source-sidebar>.title{font-size:1.5em;text-align:center;border-bottom:1px solid;margin-bottom:6px;}.theme-picker{position:absolute;left:211px;top:19px;}.theme-picker button{outline:none;}#settings-menu,#help-button{position:absolute;top:10px;}#settings-menu{right:0;outline:none;}#theme-picker,#settings-menu,#help-button,#copy-path{padding:4px;width:27px;height:29px;border:1px solid;border-radius:3px;cursor:pointer;}#help-button{right:30px;font-family:"Fira Sans",Arial,sans-serif;text-align:center;font-size:17px;padding-top:2px;}#copy-path{background:initial;margin-left:10px;padding:0;padding-left:2px;border:0;}#theme-choices{display:none;position:absolute;left:0;top:28px;border:1px solid;border-radius:3px;z-index:1;cursor:pointer;}#theme-choices>button{border:none;width:100%;padding:4px 8px;text-align:center;background:rgba(0,0,0,0);}#theme-choices>button:not(:first-child){border-top:1px solid;}kbd{display:inline-block;padding:3px 5px;font:15px monospace;line-height:10px;vertical-align:middle;border:solid 1px;border-radius:3px;box-shadow:inset 0 -1px 0;cursor:default;}.hidden-by-impl-hider,.hidden-by-usual-hider{display:none !important;}#implementations-list>h3>span.in-band{width:100%;}.table-display{width:100%;border:0;border-collapse:collapse;border-spacing:0;font-size:16px;}.table-display tr td:first-child{padding-right:0;}.table-display tr td:last-child{float:right;}.table-display .out-of-band{position:relative;font-size:19px;display:block;}#implementors-list>.impl-items .table-display .out-of-band{font-size:17px;}.table-display td:hover .anchor{display:block;top:2px;left:-5px;}#main>ul{padding-left:10px;}#main>ul>li{list-style:none;}.non-exhaustive{margin-bottom:1em;}div.children{padding-left:27px;display:none;}div.name{cursor:pointer;position:relative;margin-left:16px;}div.files>a{display:block;padding:0 3px;}div.files>a:hover,div.name:hover{background-color:#a14b4b;}div.name.expand+.children{display:block;}div.name::before{content:"\25B6";padding-left:4px;font-size:0.7em;position:absolute;left:-16px;top:4px;}div.name.expand::before{transform:rotate(90deg);left:-15px;top:2px;}details.rustdoc-toggle>summary.hideme{cursor:pointer;}details.rustdoc-toggle>summary,details.undocumented>summary{list-style:none;}details.rustdoc-toggle>summary::-webkit-details-marker,details.rustdoc-toggle>summary::marker,details.undocumented>summary::-webkit-details-marker,details.undocumented>summary::marker{display:none;}details.rustdoc-toggle>summary.hideme>span{margin-left:9px;}details.rustdoc-toggle>summary::before{content:"";cursor:pointer;width:17px;height:max(17px,1.1em);background-repeat:no-repeat;background-position:top left;display:inline-block;vertical-align:middle;opacity:.5;}details.rustdoc-toggle>summary::after{content:"Expand";overflow:hidden;width:0;height:0;position:absolute;}details.rustdoc-toggle>summary.hideme::after{content:"";}details.rustdoc-toggle>summary:focus::before,details.rustdoc-toggle>summary:hover::before{opacity:1;}details.rustdoc-toggle.top-doc>summary,details.rustdoc-toggle.top-doc>summary::before,details.rustdoc-toggle.non-exhaustive>summary,details.rustdoc-toggle.non-exhaustive>summary::before{font-family:'Fira Sans';font-size:16px;}details.non-exhaustive{margin-bottom:8px;}details.rustdoc-toggle>summary.hideme::before{position:relative;}details.rustdoc-toggle>summary:not(.hideme)::before{position:absolute;left:-24px;top:3px;}.impl-items>details.rustdoc-toggle>summary:not(.hideme)::before,.undocumented>details.rustdoc-toggle>summary:not(.hideme)::before{position:absolute;left:-24px;}details.rustdoc-toggle[open] >summary.hideme{position:absolute;}details.rustdoc-toggle,details.undocumented{position:relative;}details.rustdoc-toggle[open] >summary.hideme>span{display:none;}details.rustdoc-toggle[open] >summary::before,details.rustdoc-toggle[open] >summary.hideme::before{width:17px;height:max(17px,1.1em);background-repeat:no-repeat;background-position:top left;display:inline-block;content:"";}details.rustdoc-toggle[open] >summary::after,details.rustdoc-toggle[open] >summary.hideme::after{content:"Collapse";}details.undocumented>summary::before{padding-left:17px;height:max(17px,1.1em);background-repeat:no-repeat;background-position:top left;content:"Show hidden undocumented items";cursor:pointer;font-size:16px;font-weight:300;opacity:.5;}details.undocumented>summary:focus::before,details.undocumented>summary:hover::before{opacity:1;}details.undocumented[open] >summary::before{padding-left:17px;height:max(17px,1.1em);background-repeat:no-repeat background-position:top left;content:"Hide undocumented items";}@media (min-width:701px){.docblock>.information:first-child>.tooltip{margin-top:16px;}}@media (max-width:700px){body{padding-top:0px;}.rustdoc>.sidebar{height:45px;min-height:40px;margin:0;margin-left:-15px;padding:0 15px;position:static;z-index:11;}.sidebar>.location{float:right;margin:0px;margin-top:2px;padding:3px 10px 1px 10px;min-height:39px;background:inherit;text-align:left;font-size:24px;}.sidebar .location:empty{padding:0;}.sidebar .logo-container{width:35px;height:35px;margin-top:5px;margin-bottom:5px;float:left;margin-left:50px;}.sidebar .logo-container>img{max-width:35px;max-height:35px;}.sidebar-menu{position:fixed;z-index:10;font-size:2rem;cursor:pointer;width:45px;left:0;text-align:center;display:block;border-bottom:1px solid;border-right:1px solid;height:45px;}.rustdoc.source>.sidebar>.sidebar-menu{display:none;}.sidebar-elems{position:fixed;z-index:1;top:45px;bottom:0;width:246px;left:-246px;overflow-y:auto;border-right:1px solid;}.sidebar>.block.version{overflow:hidden;border-bottom:none;margin-bottom:0;height:100%;padding-left:12px;}.sidebar>.block.version>div.narrow-helper{float:left;width:1px;height:100%;}.sidebar>.block.version>p{margin:0;min-width:55px;display:flex;align-items:center;height:100%;}nav.sub{width:calc(100% - 32px);float:right;}.content{margin-left:0px;}#main,#search{margin-top:45px;padding:0;}#search{margin-left:0;}.anchor{display:none !important;}.theme-picker{left:10px;top:54px;z-index:1;}.notable-traits{position:absolute;left:-22px;top:24px;}#titles>button>div.count{float:left;width:100%;}#titles{height:50px;}.sidebar.mobile{position:fixed;width:100%;margin-left:0;background-color:rgba(0,0,0,0);height:100%;}.sidebar.mobile>div.version{overflow:hidden;max-height:33px;}.sidebar{width:calc(100% + 30px);}.show-it,.sidebar-elems:focus-within{z-index:2;left:0;}.show-it>.block.items{margin:8px 0;}.show-it>.block.items>ul{margin:0;}.show-it>.block.items>ul>li{text-align:center;margin:2px 0;}.show-it>.block.items>ul>li>a{font-size:21px;}#sidebar-filler{position:fixed;left:45px;width:calc(100% - 45px);top:0;height:45px;z-index:-1;border-bottom:1px solid;}#main>details.rustdoc-toggle>summary::before,#main>div>details.rustdoc-toggle>summary::before{left:-11px;}#all-types{margin:10px;}#sidebar-toggle{top:100px;width:30px;font-size:1.5rem;text-align:center;padding:0;}#source-sidebar{z-index:11;}#main>.line-numbers{margin-top:0;}.notable-traits .notable-traits-tooltiptext{left:0;top:100%;}#help-button{display:none;}.item-table{display:block;}.item-row{display:flex;flex-flow:column wrap;}.item-left,.item-right{width:100%;}.search-container>div{width:calc(100% - 32px);}.search-results>a{border-bottom:1px solid #aaa9;padding:5px 0px;}.search-results .result-name,.search-results div.desc,.search-results .result-description{width:100%;}.search-results div.desc,.search-results .result-description,.item-right{padding-left:2em;}}@media print{nav.sub,.content .out-of-band{display:none;}}@media (max-width:464px){#titles,#titles>button{height:73px;}#main,#search{margin-top:100px;}#main>table:not(.table-display) td{word-break:break-word;width:50%;}.search-container>div{display:block;width:calc(100% - 37px);}#crate-search{width:100%;border-radius:4px;border:0;}#crate-search+.search-input{width:calc(100% + 71px);margin-left:-36px;}#theme-picker,#settings-menu{padding:5px;width:31px;height:31px;}#theme-picker{margin-top:-2px;}#settings-menu{top:7px;}.docblock{margin-left:12px;}.docblock code{overflow-wrap:anywhere;}}.scraped-example-title{font-family:'Fira Sans';}.scraped-example:not(.expanded) .code-wrapper pre.line-numbers{overflow:hidden;max-height:240px;}.scraped-example:not(.expanded) .code-wrapper .example-wrap pre.rust{overflow-y:hidden;max-height:240px;padding-bottom:0;}.scraped-example .code-wrapper .prev{position:absolute;top:0.25em;right:2.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper .next{position:absolute;top:0.25em;right:1.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper .expand{position:absolute;top:0.25em;right:0.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper{position:relative;display:flex;flex-direction:row;flex-wrap:wrap;width:100%;}.scraped-example:not(.expanded) .code-wrapper:before{content:" ";width:100%;height:5px;position:absolute;z-index:100;top:0;background:linear-gradient(to bottom,rgba(255,255,255,1),rgba(255,255,255,0));}.scraped-example:not(.expanded) .code-wrapper:after{content:" ";width:100%;height:5px;position:absolute;z-index:100;bottom:0;background:linear-gradient(to top,rgba(255,255,255,1),rgba(255,255,255,0));}.scraped-example:not(.expanded) .code-wrapper{overflow:hidden;max-height:240px;}.scraped-example .code-wrapper .line-numbers{margin:0;padding:14px 0;}.scraped-example .code-wrapper .line-numbers span{padding:0 14px;}.scraped-example .code-wrapper .example-wrap{flex:1;overflow-x:auto;overflow-y:hidden;margin-bottom:0;}.scraped-example .code-wrapper .example-wrap pre.rust{overflow-x:inherit;width:inherit;overflow-y:hidden;}.scraped-example .example-wrap .rust span.highlight{background:#fcffd6;}.scraped-example .example-wrap .rust span.highlight.focus{background:#f6fdb0;}.more-examples-toggle{margin-top:10px;}.more-examples-toggle summary{color:#999;font-family:'Fira Sans';}.more-scraped-examples{margin-left:25px;display:flex;flex-direction:row;width:calc(100% - 25px);}.more-scraped-examples-inner{width:calc(100% - 20px);}.toggle-line{align-self:stretch;margin-right:10px;margin-top:5px;padding:0 4px;cursor:pointer;}.toggle-line:hover .toggle-line-inner{background:#aaa;}.toggle-line-inner{min-width:2px;background:#ddd;height:100%;}.more-scraped-examples .scraped-example{margin-bottom:20px;}.more-scraped-examples .scraped-example:last-child{margin-bottom:0;}.example-links a{margin-top:20px;font-family:'Fira Sans';}.example-links ul{margin-bottom:0;}details.undocumented[open] >summary::before,details.rustdoc-toggle[open] >summary::before,details.rustdoc-toggle[open] >summary.hideme::before{background-image:url(toggle-minus.svg);}details.undocumented>summary::before,details.rustdoc-toggle>summary::before{background-image:url(toggle-plus.svg);}
\ No newline at end of file
+ @font-face {font-family:'Fira Sans';font-style:normal;font-weight:400;src:local('Fira Sans'),url("FiraSans-Regular.woff2") format("woff2"),url("FiraSans-Regular.woff") format('woff');font-display:swap;}@font-face {font-family:'Fira Sans';font-style:normal;font-weight:500;src:local('Fira Sans Medium'),url("FiraSans-Medium.woff2") format("woff2"),url("FiraSans-Medium.woff") format('woff');font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:normal;font-weight:400;src:local('Source Serif 4'),url("SourceSerif4-Regular.ttf.woff2") format("woff2"),url("SourceSerif4-Regular.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:italic;font-weight:400;src:local('Source Serif 4 Italic'),url("SourceSerif4-It.ttf.woff2") format("woff2"),url("SourceSerif4-It.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Serif 4';font-style:normal;font-weight:700;src:local('Source Serif 4 Bold'),url("SourceSerif4-Bold.ttf.woff2") format("woff2"),url("SourceSerif4-Bold.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:normal;font-weight:400;src:url("SourceCodePro-Regular.ttf.woff2") format("woff2"),url("SourceCodePro-Regular.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:italic;font-weight:400;src:url("SourceCodePro-It.ttf.woff2") format("woff2"),url("SourceCodePro-It.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'Source Code Pro';font-style:normal;font-weight:600;src:url("SourceCodePro-Semibold.ttf.woff2") format("woff2"),url("SourceCodePro-Semibold.ttf.woff") format("woff");font-display:swap;}@font-face {font-family:'NanumBarunGothic';src:url("NanumBarunGothic.ttf.woff2") format("woff2"),url("NanumBarunGothic.ttf.woff") format("woff");font-display:swap;unicode-range:U+AC00-D7AF,U+1100-11FF,U+3130-318F,U+A960-A97F,U+D7B0-D7FF;}*{-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box;}html{content:"";}@media (prefers-color-scheme:light){html{content:"light";}}@media (prefers-color-scheme:dark){html{content:"dark";}}body{font:16px/1.4 "Source Serif 4",NanumBarunGothic,serif;margin:0;position:relative;padding:10px 15px 20px 15px;-webkit-font-feature-settings:"kern","liga";-moz-font-feature-settings:"kern","liga";font-feature-settings:"kern","liga";}h1{font-size:1.5em;}h2{font-size:1.4em;}h3{font-size:1.3em;}h1,h2,h3,h4,h5,h6{font-weight:500;}h1,h2,h3,h4{margin:20px 0 15px 0;padding-bottom:6px;}.docblock h3,.docblock h4,h5,h6{margin:15px 0 5px 0;}h1.fqn{display:flex;border-bottom:1px dashed;margin-top:0;padding-left:1px;}h1.fqn>.in-band>a:hover{text-decoration:underline;}h2,.top-doc h3,.top-doc h4,.sidebar .others h3{border-bottom:1px solid;}h3.code-header{font-size:1.1em;}h4.code-header{font-size:1em;}h3.code-header,h4.code-header{font-weight:600;border-bottom-style:none;padding:0;margin:0;}.impl,.impl-items .method,.methods .method,.impl-items .type,.methods .type,.impl-items .associatedconstant,.methods .associatedconstant,.impl-items .associatedtype,.methods .associatedtype{flex-basis:100%;font-weight:600;margin-top:16px;margin-bottom:10px;position:relative;}div.impl-items>div{padding-left:0;}h1,h2,h3,h4,h5,h6,.sidebar,a.source,.search-input,.search-results .result-name,.content table td:first-child>a,.item-left>a,div.item-list .out-of-band,span.since,#source-sidebar,#sidebar-toggle,details.rustdoc-toggle>summary::before,div.impl-items>div:not(.docblock):not(.item-info),.content ul.crate a.crate,a.srclink,#main>ul.docblock>li>a{font-family:"Fira Sans",Arial,NanumBarunGothic,sans-serif;}.content ul.crate a.crate{font-size:16px/1.6;}ol,ul{padding-left:25px;}ul ul,ol ul,ul ol,ol ol{margin-bottom:.6em;}p{margin:0 0 .6em 0;}summary{outline:none;}td,th{padding:0;}table{border-collapse:collapse;}button,input,optgroup,select,textarea{color:inherit;font:inherit;margin:0;}details:not(.rustdoc-toggle) summary{margin-bottom:.6em;}code,pre,a.test-arrow,.code-header{font-family:"Source Code Pro",monospace;}.docblock code,.docblock-short code{border-radius:3px;padding:0 0.1em;}.docblock pre code,.docblock-short pre code{padding:0;}pre{padding:14px;}.docblock.item-decl{margin-left:0;}.item-decl pre{overflow-x:auto;}.source .content pre{padding:20px;}img{max-width:100%;}li{position:relative;}.source .content{margin-top:50px;max-width:none;overflow:visible;margin-left:0px;}nav.sub{font-size:16px;text-transform:uppercase;}.sidebar{width:200px;position:fixed;left:0;top:0;bottom:0;overflow-y:scroll;}*{scrollbar-width:initial;}.sidebar{scrollbar-width:thin;}::-webkit-scrollbar{width:12px;}.sidebar::-webkit-scrollbar{width:8px;}::-webkit-scrollbar-track{-webkit-box-shadow:inset 0;}.sidebar .block>ul>li{margin-right:-10px;}.content,nav{max-width:960px;}.hidden{display:none !important;}.logo-container{height:100px;width:100px;position:relative;margin:20px auto;display:block;margin-top:10px;}.logo-container>img{max-width:100px;max-height:100px;height:100%;position:absolute;left:50%;top:50%;transform:translate(-50%,-50%);display:block;}.sidebar .location{border:1px solid;font-size:17px;margin:30px 10px 20px 10px;text-align:center;word-wrap:break-word;font-weight:inherit;padding:0;}.sidebar .version{font-size:15px;text-align:center;border-bottom:1px solid;overflow-wrap:break-word;word-wrap:break-word;word-break:break-word;}.location:empty{border:none;}.location a:first-of-type{font-weight:500;}.location a:hover{text-decoration:underline;}.block{padding:0;margin-bottom:14px;}.block h2,.block h3{text-align:center;}.block ul,.block li{margin:0 10px;padding:0;list-style:none;}.block a{display:block;text-overflow:ellipsis;overflow:hidden;line-height:15px;padding:7px 5px;font-size:14px;font-weight:300;transition:border 500ms ease-out;}.sidebar-title{border-top:1px solid;border-bottom:1px solid;text-align:center;font-size:17px;margin-bottom:5px;font-weight:inherit;padding:0;}.sidebar-links{margin-bottom:15px;}.sidebar-links>a{padding-left:10px;width:100%;}.sidebar-menu{display:none;}.content{padding:15px 0;}.source .content pre.rust{white-space:pre;overflow:auto;padding-left:0;}.rustdoc .example-wrap{display:inline-flex;margin-bottom:10px;}.example-wrap{position:relative;width:100%;}.example-wrap>pre.line-number{overflow:initial;border:1px solid;padding:13px 8px;text-align:right;border-top-left-radius:5px;border-bottom-left-radius:5px;}.example-wrap>pre.rust a:hover{text-decoration:underline;}.rustdoc:not(.source) .example-wrap>pre:not(.line-number){width:100%;overflow-x:auto;}.rustdoc:not(.source) .example-wrap>pre.line-numbers{width:auto;overflow-x:visible;}.rustdoc .example-wrap>pre{margin:0;}#search{margin-left:230px;position:relative;}#results>table{width:100%;table-layout:fixed;}.content>.example-wrap pre.line-numbers{position:relative;-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;}.line-numbers span{cursor:pointer;}.docblock-short{overflow-wrap:anywhere;}.docblock-short p{display:inline;}.docblock-short p{overflow:hidden;text-overflow:ellipsis;margin:0;}.docblock>:not(pre)>code,.docblock-short>:not(pre)>code{white-space:pre-wrap;}.top-doc .docblock h2{font-size:1.3em;}.top-doc .docblock h3{font-size:1.15em;}.top-doc .docblock h4,.top-doc .docblock h5{font-size:1.1em;}.top-doc .docblock h6{font-size:1em;}.docblock h5{font-size:1em;}.docblock h6{font-size:0.95em;}.docblock{margin-left:24px;position:relative;}.docblock>:not(.information){max-width:100%;overflow-x:auto;}.content .out-of-band{flex-grow:0;text-align:right;font-size:23px;margin:0px;padding:0 0 0 12px;font-weight:normal;}.method>.code-header,.trait-impl>.code-header,.invisible>.code-header{max-width:calc(100% - 41px);display:block;}.invisible{width:100%;display:inline-block;}.content .in-band{flex-grow:1;margin:0px;padding:0px;overflow-wrap:anywhere;}.in-band>code,.in-band>.code-header{display:inline-block;}#main{position:relative;}#main>.since{top:inherit;font-family:"Fira Sans",Arial,sans-serif;}.content table:not(.table-display){border-spacing:0 5px;}.content td{vertical-align:top;}.content td:first-child{padding-right:20px;}.content td p:first-child{margin-top:0;}.content td h1,.content td h2{margin-left:0;font-size:1.1em;}.content tr:first-child td{border-top:0;}.docblock table{margin:.5em 0;width:calc(100% - 2px);overflow-x:auto;display:block;}.docblock table td{padding:.5em;border:1px dashed;}.docblock table th{padding:.5em;text-align:left;border:1px solid;}.fields+table{margin-bottom:1em;}.content .item-list{list-style-type:none;padding:0;}.content .multi-column{-moz-column-count:5;-moz-column-gap:2.5em;-webkit-column-count:5;-webkit-column-gap:2.5em;column-count:5;column-gap:2.5em;}.content .multi-column li{width:100%;display:inline-block;}.content>.methods>.method{font-size:1em;position:relative;}.content .method .where,.content .fn .where,.content .where.fmt-newline{display:block;font-size:0.8em;}.content .methods>div:not(.notable-traits):not(.method){margin-left:40px;margin-bottom:15px;}.content .docblock>.impl-items{margin-left:20px;margin-top:-34px;}.content .docblock>.impl-items .table-display{margin:0;}.content .docblock>.impl-items table td{padding:0;}.content .docblock>.impl-items .table-display,.impl-items table td{border:none;}.content .item-info code{font-size:90%;}.content .item-info{position:relative;margin-left:33px;}.sub-variant>div>.item-info{margin-top:initial;}.content .item-info::before{content:'⬑';font-size:25px;position:absolute;top:-6px;left:-19px;}.content .impl-items .docblock,.content .impl-items .item-info{margin-bottom:.6em;}.content .impl-items>.item-info{margin-left:40px;}.methods>.item-info,.content .impl-items>.item-info{margin-top:-8px;}.impl-items{flex-basis:100%;}#main>.item-info{margin-top:0;}nav:not(.sidebar){border-bottom:1px solid;padding-bottom:10px;margin-bottom:10px;}nav.main{padding:20px 0;text-align:center;}nav.main .current{border-top:1px solid;border-bottom:1px solid;}nav.main .separator{border:1px solid;display:inline-block;height:23px;margin:0 20px;}nav.sum{text-align:right;}nav.sub form{display:inline;}nav.sub,.content{margin-left:230px;}a{text-decoration:none;background:transparent;}.small-section-header{display:flex;justify-content:space-between;position:relative;}.small-section-header:hover>.anchor{display:initial;}.in-band:hover>.anchor,.impl:hover>.anchor,.method.trait-impl:hover>.anchor,.type.trait-impl:hover>.anchor,.associatedconstant.trait-impl:hover>.anchor,.associatedtype.trait-impl:hover>.anchor{display:inline-block;position:absolute;}.anchor{display:none;position:absolute;left:-0.5em;background:none !important;}.anchor.field{left:-5px;}.small-section-header>.anchor{left:-15px;padding-right:8px;}h2.small-section-header>.anchor{padding-right:6px;}.anchor::before{content:'§';}.docblock a:not(.srclink):not(.test-arrow):hover,.docblock-short a:not(.srclink):not(.test-arrow):hover,.item-info a{text-decoration:underline;}.invisible>.srclink,.method>.code-header+.srclink{position:absolute;top:0;right:0;font-size:17px;font-weight:normal;}.block a.current.crate{font-weight:500;}.item-table{display:table;}.item-row{display:table-row;}.item-left,.item-right{display:table-cell;}.item-left{padding-right:1.2rem;}.search-container{position:relative;}.search-container>div{display:inline-flex;width:calc(100% - 63px);}#crate-search{min-width:115px;margin-top:5px;padding:6px;padding-right:19px;flex:none;border:0;border-right:0;border-radius:4px 0 0 4px;outline:none;cursor:pointer;border-right:1px solid;-moz-appearance:none;-webkit-appearance:none;text-indent:0.01px;text-overflow:"";background-repeat:no-repeat;background-color:transparent;background-size:20px;background-position:calc(100% - 1px) 56%;}.search-container>.top-button{position:absolute;right:0;top:10px;}.search-input{-moz-box-sizing:border-box !important;box-sizing:border-box !important;outline:none;border:none;border-radius:1px;margin-top:5px;padding:10px 16px;font-size:17px;transition:border-color 300ms ease;transition:border-radius 300ms ease-in-out;transition:box-shadow 300ms ease-in-out;width:100%;}#crate-search+.search-input{border-radius:0 1px 1px 0;width:calc(100% - 32px);}.search-input:focus{border-radius:2px;border:0;outline:0;}.search-results{display:none;padding-bottom:2em;}.search-results.active{display:block;clear:both;}.search-results .desc>span{white-space:nowrap;text-overflow:ellipsis;overflow:hidden;display:block;}.search-results>a{display:block;width:100%;margin-left:2px;margin-right:2px;border-bottom:1px solid #aaa3;}.search-results>a>div{display:flex;flex-flow:row wrap;}.search-results .result-name,.search-results div.desc,.search-results .result-description{width:50%;}.search-results .result-name{padding-right:1em;}.search-results .result-name>span{display:inline-block;margin:0;font-weight:normal;}body.blur>:not(#help){filter:blur(8px);-webkit-filter:blur(8px);opacity:.7;}#help{width:100%;height:100vh;position:fixed;top:0;left:0;display:flex;justify-content:center;align-items:center;}#help>div{flex:0 0 auto;box-shadow:0 0 6px rgba(0,0,0,.2);width:550px;height:auto;border:1px solid;}#help dt{float:left;clear:left;display:block;margin-right:0.5rem;}#help span.top,#help span.bottom{text-align:center;display:block;font-size:18px;}#help span.top{text-align:center;display:block;margin:10px 0;border-bottom:1px solid;padding-bottom:4px;margin-bottom:6px;}#help span.bottom{clear:both;border-top:1px solid;}#help dd{margin:5px 35px;}#help .infos{padding-left:0;}#help h1,#help h2{margin-top:0;}#help>div div{width:50%;float:left;padding:0 20px 20px 17px;;}.item-info .stab{display:table;}.stab{border-width:1px;border-style:solid;padding:3px;margin-bottom:5px;font-size:90%;font-weight:normal;}.stab p{display:inline;}.stab .emoji{font-size:1.5em;}.emoji{text-shadow:1px 0 0 black,-1px 0 0 black,0 1px 0 black,0 -1px 0 black;}.module-item .stab,.import-item .stab{border-radius:3px;display:inline-block;font-size:80%;line-height:1.2;margin-bottom:0;margin-left:.3em;padding:2px;vertical-align:text-bottom;}.module-item.unstable,.import-item.unstable{opacity:0.65;}.since{font-weight:normal;font-size:initial;}.impl-items .since,.impl .since,.methods .since{padding-left:12px;padding-right:2px;position:initial;}.impl-items .srclink,.impl .srclink,.methods .srclink{font-size:17px;font-weight:normal;}.rightside{float:right;}.has-srclink{font-size:16px;margin-bottom:12px;justify-content:space-between;}.variants_table{width:100%;}.variants_table tbody tr td:first-child{width:1%;}td.summary-column{width:100%;}.summary{padding-right:0px;}pre.rust .question-mark{font-weight:bold;}a.test-arrow{display:inline-block;position:absolute;padding:5px 10px 5px 10px;border-radius:5px;font-size:130%;top:5px;right:5px;z-index:1;}a.test-arrow:hover{text-decoration:none;}.section-header:hover a:before{position:absolute;left:-25px;padding-right:10px;content:'\2002\00a7\2002';}.section-header:hover a{text-decoration:none;}.section-header a{color:inherit;}.code-attribute{font-weight:300;}.since+.srclink{padding-left:10px;}.item-spacer{width:100%;height:12px;}.out-of-band>span.since{position:initial;font-size:20px;margin-right:5px;}h3.variant{font-weight:600;font-size:1.1em;margin-bottom:10px;border-bottom:none;}.sub-variant h4{font-size:1em;font-weight:400;border-bottom:none;margin-top:0;margin-bottom:0;}.sub-variant{margin-left:24px;margin-bottom:40px;}.sub-variant>.sub-variant-field{margin-left:24px;}.toggle-label{display:inline-block;margin-left:4px;margin-top:3px;}.docblock>.section-header:first-child{margin-left:15px;margin-top:0;}.docblock>.section-header:first-child:hover>a:before{left:-10px;}:target>code,:target>.code-header{opacity:1;}:target{padding-right:3px;}.information{position:absolute;left:-25px;margin-top:7px;z-index:1;}.tooltip{position:relative;display:inline-block;cursor:pointer;}.tooltip::after{display:none;text-align:center;padding:5px 3px 3px 3px;border-radius:6px;margin-left:5px;font-size:16px;}.tooltip.ignore::after{content:"This example is not tested";}.tooltip.compile_fail::after{content:"This example deliberately fails to compile";}.tooltip.should_panic::after{content:"This example panics";}.tooltip.edition::after{content:"This code runs with edition " attr(data-edition);}.tooltip::before{content:" ";position:absolute;top:50%;left:16px;margin-top:-5px;border-width:5px;border-style:solid;display:none;}.tooltip:hover::before,.tooltip:hover::after{display:inline;}.tooltip.compile_fail,.tooltip.should_panic,.tooltip.ignore{font-weight:bold;font-size:20px;}.notable-traits-tooltip{display:inline-block;cursor:pointer;}.notable-traits:hover .notable-traits-tooltiptext,.notable-traits .notable-traits-tooltiptext.force-tooltip{display:inline-block;}.notable-traits .notable-traits-tooltiptext{display:none;padding:5px 3px 3px 3px;border-radius:6px;margin-left:5px;z-index:10;font-size:16px;cursor:default;position:absolute;border:1px solid;}.notable-traits-tooltip::after{content:"\00a0\00a0\00a0";}.notable-traits .notable,.notable-traits .docblock{margin:0;}.notable-traits .notable{margin:0;margin-bottom:13px;font-size:19px;font-weight:600;}.notable-traits .docblock code.content{margin:0;padding:0;font-size:20px;}pre.rust.rust-example-rendered{position:relative;}pre.rust{tab-size:4;-moz-tab-size:4;}.search-failed{text-align:center;margin-top:20px;display:none;}.search-failed.active{display:block;}.search-failed>ul{text-align:left;max-width:570px;margin-left:auto;margin-right:auto;}#titles{height:35px;}#titles>button{float:left;width:33.3%;text-align:center;font-size:18px;cursor:pointer;border:0;border-top:2px solid;}#titles>button:not(:last-child){margin-right:1px;width:calc(33.3% - 1px);}#titles>button>div.count{display:inline-block;font-size:16px;}.notable-traits{cursor:pointer;z-index:2;margin-left:5px;}#all-types{text-align:center;border:1px solid;margin:0 10px;margin-bottom:10px;display:block;border-radius:7px;}#all-types>p{margin:5px 0;}#sidebar-toggle{position:fixed;top:30px;left:300px;z-index:10;padding:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;cursor:pointer;font-weight:bold;transition:left .5s;font-size:1.2em;border:1px solid;border-left:0;}#source-sidebar{position:fixed;top:0;bottom:0;left:0;width:300px;z-index:1;overflow:auto;transition:left .5s;border-right:1px solid;}#source-sidebar>.title{font-size:1.5em;text-align:center;border-bottom:1px solid;margin-bottom:6px;}.theme-picker{position:absolute;left:211px;top:19px;}.theme-picker button{outline:none;}#settings-menu,#help-button{position:absolute;top:10px;}#settings-menu{right:0;outline:none;}#theme-picker,#settings-menu,#help-button,#copy-path{padding:4px;width:27px;height:29px;border:1px solid;border-radius:3px;cursor:pointer;}#help-button{right:30px;font-family:"Fira Sans",Arial,sans-serif;text-align:center;font-size:17px;padding-top:2px;}#copy-path{background:initial;margin-left:10px;padding:0;padding-left:2px;border:0;}#theme-choices{display:none;position:absolute;left:0;top:28px;border:1px solid;border-radius:3px;z-index:1;cursor:pointer;}#theme-choices>button{border:none;width:100%;padding:4px 8px;text-align:center;background:rgba(0,0,0,0);}#theme-choices>button:not(:first-child){border-top:1px solid;}kbd{display:inline-block;padding:3px 5px;font:15px monospace;line-height:10px;vertical-align:middle;border:solid 1px;border-radius:3px;box-shadow:inset 0 -1px 0;cursor:default;}.hidden-by-impl-hider,.hidden-by-usual-hider{display:none !important;}#implementations-list>h3>span.in-band{width:100%;}.table-display{width:100%;border:0;border-collapse:collapse;border-spacing:0;font-size:16px;}.table-display tr td:first-child{padding-right:0;}.table-display tr td:last-child{float:right;}.table-display .out-of-band{position:relative;font-size:19px;display:block;}#implementors-list>.impl-items .table-display .out-of-band{font-size:17px;}.table-display td:hover .anchor{display:block;top:2px;left:-5px;}#main>ul{padding-left:10px;}#main>ul>li{list-style:none;}.non-exhaustive{margin-bottom:1em;}div.children{padding-left:27px;display:none;}div.name{cursor:pointer;position:relative;margin-left:16px;}div.files>a{display:block;padding:0 3px;}div.files>a:hover,div.name:hover{background-color:#a14b4b;}div.name.expand+.children{display:block;}div.name::before{content:"\25B6";padding-left:4px;font-size:0.7em;position:absolute;left:-16px;top:4px;}div.name.expand::before{transform:rotate(90deg);left:-15px;top:2px;}details.rustdoc-toggle>summary.hideme{cursor:pointer;}details.rustdoc-toggle>summary{list-style:none;}details.rustdoc-toggle>summary::-webkit-details-marker,details.rustdoc-toggle>summary::marker{display:none;}details.rustdoc-toggle>summary.hideme>span{margin-left:9px;}details.rustdoc-toggle>summary::before{content:"";cursor:pointer;width:17px;height:max(17px,1.1em);background-repeat:no-repeat;background-position:top left;display:inline-block;vertical-align:middle;opacity:.5;}details.rustdoc-toggle>summary::after{content:"Expand";overflow:hidden;width:0;height:0;position:absolute;}details.rustdoc-toggle>summary.hideme::after{content:"";}details.rustdoc-toggle>summary:focus::before,details.rustdoc-toggle>summary:hover::before{opacity:1;}details.rustdoc-toggle.top-doc>summary,details.rustdoc-toggle.top-doc>summary::before,details.rustdoc-toggle.non-exhaustive>summary,details.rustdoc-toggle.non-exhaustive>summary::before{font-family:'Fira Sans';font-size:16px;}details.non-exhaustive{margin-bottom:8px;}details.rustdoc-toggle>summary.hideme::before{position:relative;}details.rustdoc-toggle>summary:not(.hideme)::before{position:absolute;left:-24px;top:3px;}.impl-items>details.rustdoc-toggle>summary:not(.hideme)::before{position:absolute;left:-24px;}details.rustdoc-toggle[open] >summary.hideme{position:absolute;}details.rustdoc-toggle{position:relative;}details.rustdoc-toggle[open] >summary.hideme>span{display:none;}details.rustdoc-toggle[open] >summary::before,details.rustdoc-toggle[open] >summary.hideme::before{width:17px;height:max(17px,1.1em);background-repeat:no-repeat;background-position:top left;display:inline-block;content:"";}details.rustdoc-toggle[open] >summary::after,details.rustdoc-toggle[open] >summary.hideme::after{content:"Collapse";}@media (min-width:701px){.docblock>.information:first-child>.tooltip{margin-top:16px;}}@media (max-width:700px){body{padding-top:0px;}.rustdoc>.sidebar{height:45px;min-height:40px;margin:0;margin-left:-15px;padding:0 15px;position:static;z-index:11;}.sidebar>.location{float:right;margin:0px;margin-top:2px;padding:3px 10px 1px 10px;min-height:39px;background:inherit;text-align:left;font-size:24px;}.sidebar .location:empty{padding:0;}.sidebar .logo-container{width:35px;height:35px;margin-top:5px;margin-bottom:5px;float:left;margin-left:50px;}.sidebar .logo-container>img{max-width:35px;max-height:35px;}.sidebar-menu{position:fixed;z-index:10;font-size:2rem;cursor:pointer;width:45px;left:0;text-align:center;display:block;border-bottom:1px solid;border-right:1px solid;height:45px;}.rustdoc.source>.sidebar>.sidebar-menu{display:none;}.sidebar-elems{position:fixed;z-index:1;top:45px;bottom:0;width:246px;left:-246px;overflow-y:auto;border-right:1px solid;}.sidebar>.block.version{overflow:hidden;border-bottom:none;margin-bottom:0;height:100%;padding-left:12px;}.sidebar>.block.version>div.narrow-helper{float:left;width:1px;height:100%;}.sidebar>.block.version>p{margin:0;min-width:55px;display:flex;align-items:center;height:100%;}nav.sub{width:calc(100% - 32px);float:right;}.content{margin-left:0px;}#main,#search{margin-top:45px;padding:0;}#search{margin-left:0;}.anchor{display:none !important;}.theme-picker{left:10px;top:54px;z-index:1;}.notable-traits{position:absolute;left:-22px;top:24px;}#titles>button>div.count{float:left;width:100%;}#titles{height:50px;}.sidebar.mobile{position:fixed;width:100%;margin-left:0;background-color:rgba(0,0,0,0);height:100%;}.sidebar.mobile>div.version{overflow:hidden;max-height:33px;}.sidebar{width:calc(100% + 30px);}.show-it,.sidebar-elems:focus-within{z-index:2;left:0;}.show-it>.block.items{margin:8px 0;}.show-it>.block.items>ul{margin:0;}.show-it>.block.items>ul>li{text-align:center;margin:2px 0;}.show-it>.block.items>ul>li>a{font-size:21px;}#sidebar-filler{position:fixed;left:45px;width:calc(100% - 45px);top:0;height:45px;z-index:-1;border-bottom:1px solid;}#main>details.rustdoc-toggle>summary::before,#main>div>details.rustdoc-toggle>summary::before{left:-11px;}#all-types{margin:10px;}#sidebar-toggle{top:100px;width:30px;font-size:1.5rem;text-align:center;padding:0;}#source-sidebar{z-index:11;}#main>.line-numbers{margin-top:0;}.notable-traits .notable-traits-tooltiptext{left:0;top:100%;}#help-button{display:none;}.item-table{display:block;}.item-row{display:flex;flex-flow:column wrap;}.item-left,.item-right{width:100%;}.search-container>div{width:calc(100% - 32px);}.search-results>a{border-bottom:1px solid #aaa9;padding:5px 0px;}.search-results .result-name,.search-results div.desc,.search-results .result-description{width:100%;}.search-results div.desc,.search-results .result-description,.item-right{padding-left:2em;}}@media print{nav.sub,.content .out-of-band{display:none;}}@media (max-width:464px){#titles,#titles>button{height:73px;}#main,#search{margin-top:100px;}#main>table:not(.table-display) td{word-break:break-word;width:50%;}.search-container>div{display:block;width:calc(100% - 37px);}#crate-search{width:100%;border-radius:4px;border:0;}#crate-search+.search-input{width:calc(100% + 71px);margin-left:-36px;}#theme-picker,#settings-menu{padding:5px;width:31px;height:31px;}#theme-picker{margin-top:-2px;}#settings-menu{top:7px;}.docblock{margin-left:12px;}.docblock code{overflow-wrap:anywhere;}}.scraped-example-title{font-family:'Fira Sans';}.scraped-example:not(.expanded) .code-wrapper pre.line-numbers{overflow:hidden;max-height:240px;}.scraped-example:not(.expanded) .code-wrapper .example-wrap pre.rust{overflow-y:hidden;max-height:240px;padding-bottom:0;}.scraped-example .code-wrapper .prev{position:absolute;top:0.25em;right:2.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper .next{position:absolute;top:0.25em;right:1.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper .expand{position:absolute;top:0.25em;right:0.25em;z-index:100;cursor:pointer;}.scraped-example .code-wrapper{position:relative;display:flex;flex-direction:row;flex-wrap:wrap;width:100%;}.scraped-example:not(.expanded) .code-wrapper:before{content:" ";width:100%;height:5px;position:absolute;z-index:100;top:0;background:linear-gradient(to bottom,rgba(255,255,255,1),rgba(255,255,255,0));}.scraped-example:not(.expanded) .code-wrapper:after{content:" ";width:100%;height:5px;position:absolute;z-index:100;bottom:0;background:linear-gradient(to top,rgba(255,255,255,1),rgba(255,255,255,0));}.scraped-example:not(.expanded) .code-wrapper{overflow:hidden;max-height:240px;}.scraped-example .code-wrapper .line-numbers{margin:0;padding:14px 0;}.scraped-example .code-wrapper .line-numbers span{padding:0 14px;}.scraped-example .code-wrapper .example-wrap{flex:1;overflow-x:auto;overflow-y:hidden;margin-bottom:0;}.scraped-example .code-wrapper .example-wrap pre.rust{overflow-x:inherit;width:inherit;overflow-y:hidden;}.scraped-example .example-wrap .rust span.highlight{background:#fcffd6;}.scraped-example .example-wrap .rust span.highlight.focus{background:#f6fdb0;}.more-examples-toggle{margin-top:10px;}.more-examples-toggle summary{color:#999;font-family:'Fira Sans';}.more-scraped-examples{margin-left:25px;display:flex;flex-direction:row;width:calc(100% - 25px);}.more-scraped-examples-inner{width:calc(100% - 20px);}.toggle-line{align-self:stretch;margin-right:10px;margin-top:5px;padding:0 4px;cursor:pointer;}.toggle-line:hover .toggle-line-inner{background:#aaa;}.toggle-line-inner{min-width:2px;background:#ddd;height:100%;}.more-scraped-examples .scraped-example{margin-bottom:20px;}.more-scraped-examples .scraped-example:last-child{margin-bottom:0;}.example-links a{margin-top:20px;font-family:'Fira Sans';}.example-links ul{margin-bottom:0;}details.undocumented[open] >summary::before,details.rustdoc-toggle[open] >summary::before,details.rustdoc-toggle[open] >summary.hideme::before{background-image:url(toggle-minus.svg);}details.undocumented>summary::before,details.rustdoc-toggle>summary::before{background-image:url(toggle-plus.svg);}
\ No newline at end of file
diff --git a/rustdoc/latest/search-index.js b/rustdoc/latest/search-index.js
index 3bbcaea7..567a59b9 100644
--- a/rustdoc/latest/search-index.js
+++ b/rustdoc/latest/search-index.js
@@ -1,4 +1,4 @@
var searchIndex = JSON.parse('{\
-"halo2":{"doc":"halo2","t":[0,0,0,0,0,0,16,16,16,18,3,8,8,16,18,8,8,8,8,18,18,18,18,18,16,16,16,3,18,18,18,10,10,10,10,5,5,11,11,11,11,11,11,5,11,10,11,11,11,11,11,11,11,10,10,11,11,10,5,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,10,10,10,10,11,11,11,11,10,5,5,11,10,10,10,5,11,11,11,11,11,10,10,11,11,5,10,10,11,11,10,11,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,3,8,16,8,16,3,3,3,3,16,3,3,11,11,11,11,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,10,11,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,13,4,8,3,13,8,10,11,10,11,10,11,10,10,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,13,3,13,13,13,3,13,4,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,3,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,13,13,4,4,8,13,8,3,8,16,13,3,3,13,4,4,3,13,13,8,16,3,13,13,13,13,13,13,13,13,3,3,13,3,13,13,3,13,13,13,3,13,13,3,3,13,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,10,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,8,3,4,3,3,3,13,3,3,3,13,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,3,3,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,3,3,12,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,11,11,11,11,11,11,11,11,5,11,11,3,3,3,3,8,16,8,8,8,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11],"n":["arithmetic","circuit","dev","plonk","poly","transcript","AffineExt","Base","Base","CURVE_ID","Coordinates","CurveAffine","CurveExt","CurveExt","DELTA","Field","Field","FieldExt","Group","MODULUS","RESCUE_ALPHA","RESCUE_INVALPHA","ROOT_OF_UNITY","ROOT_OF_UNITY_INV","Scalar","ScalarExt","ScalarExt","SqrtTables","TWO_INV","T_MINUS1_OVER2","ZETA","a","a","b","b","best_fft","best_multiexp","borrow","borrow","borrow_mut","borrow_mut","clone","clone_into","compute_inner_product","conditional_select","coordinates","cube","cube","default","deref","deref","deref_mut","deref_mut","double","double","drop","drop","endo","eval_polynomial","fmt","fmt","from","from","from_bytes","from_bytes_wide","from_u128","from_u64","from_xy","get_lower_128","get_lower_32","group_add","group_scale","group_sub","group_zero","hash_to_curve","init","init","into","into","invert","invert","is_on_curve","is_on_curve","is_zero","is_zero","is_zero_vartime","is_zero_vartime","jacobian_coordinates","kate_division","lagrange_interpolate","new","new_jacobian","one","one","parallelize","pow","pow_by_t_minus1_over2","pow_vartime","pow_vartime","rand","random","random","read","read","small_multiexp","sqrt","sqrt","sqrt_alt","sqrt_alt","sqrt_ratio","sqrt_ratio","square","square","to_bytes","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","u","v","vzip","vzip","write","write","x","y","zero","zero","Cell","Chip","Config","Layouter","Loaded","NamespacedLayouter","Region","RegionIndex","RegionStart","Root","SimpleFloorPlanner","Table","assign_advice","assign_advice_from_constant","assign_advice_from_instance","assign_cell","assign_fixed","assign_region","assign_region","assign_table","assign_table","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone_into","clone_into","clone_into","config","constrain_constant","constrain_equal","constrain_instance","constrain_instance","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","drop","drop","drop","eq","floor_planner","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","get_root","get_root","init","init","init","init","init","init","init","into","into","into","into","into","into","into","layouter","loaded","namespace","ne","pop_namespace","pop_namespace","push_namespace","push_namespace","synthesize","to_owned","to_owned","to_owned","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","type_id","type_id","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","vzip","vzip","V1","V1Pass","assign_region","assign_table","borrow","borrow","borrow_mut","borrow_mut","constrain_instance","deref","deref","deref_mut","deref_mut","drop","drop","fmt","fmt","from","from","get_root","init","init","into","into","pop_namespace","push_namespace","synthesize","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","Column","RegionColumn","RegionLayouter","RegionShape","Selector","TableLayouter","assign_advice","assign_advice","assign_advice_from_constant","assign_advice_from_constant","assign_advice_from_instance","assign_advice_from_instance","assign_cell","assign_fixed","assign_fixed","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","cmp","columns","constrain_constant","constrain_constant","constrain_equal","constrain_equal","deref","deref","deref_mut","deref_mut","drop","drop","enable_selector","enable_selector","eq","fmt","fmt","from","from","from","from","hash","init","init","into","into","ne","new","partial_cmp","region_index","row_count","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","0","0","Cell","CircuitGates","ConstraintNotSatisfied","ConstraintPoisoned","Lookup","MockProver","Permutation","VerifyFailure","assign_advice","assign_fixed","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","collect","copy","cost","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","enable_selector","enter_region","eq","exit_region","fill_from_row","fmt","fmt","fmt","fmt","fmt","from","from","from","init","init","init","into","into","into","metadata","ne","pop_namespace","push_namespace","queries_to_csv","query_instance","run","to_string","to_string","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","verify","vzip","vzip","vzip","cell_values","column","column","constraint","constraint","gate","lookup_index","offset","region","row","row","row","CircuitCost","MarginalProofSize","ProofSize","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","init","init","init","into","into","into","marginal_proof_size","measure","proof_size","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Column","Constraint","Gate","Region","VirtualCell","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cmp","cmp","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","eq","eq","eq","eq","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","from","init","init","init","init","init","into","into","into","into","into","ne","ne","ne","ne","ne","partial_cmp","partial_cmp","to_string","to_string","to_string","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","Advice","Advice","Advice","Any","Assigned","Assignment","BoundsFailure","Circuit","Column","ColumnType","Config","Constant","Constraint","ConstraintSystem","ConstraintSystemFailure","Error","Expression","Fixed","Fixed","Fixed","FloorPlanner","FloorPlanner","Instance","Instance","Instance","InstanceTooLarge","InvalidInstances","Negated","NotEnoughColumnsForConstants","NotEnoughRowsAvailable","Opening","PinnedConstraintSystem","PinnedVerificationKey","Product","ProvingKey","Rational","Scaled","Selector","Selector","Sum","Synthesis","TableColumn","Transcript","Trivial","VerifyingKey","VirtualCells","Zero","add","add","add","advice_column","assign_advice","assign_fixed","blinding_factors","borrow","borrow","borrow","borrow","borrow","borrow","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","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","cmp","cmp","complex_selector","configure","copy","create_gate","create_proof","default","degree","degree","denominator","deref","deref","deref","deref","deref","deref","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","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable_constant","enable_equality","enable_selector","enter_region","eq","eq","eq","eq","eq","eq","eq","evaluate","evaluate","exit_region","fill_from_row","fixed_column","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","get_domain","get_vk","hash","hash","hash","hash","hash","hash","hash","hash_into","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","instance_column","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","invert","is_simple","keygen_pk","keygen_vk","lookup","lookup_table_column","minimum_rows","mul","mul","mul","mul","ne","ne","ne","neg","neg","numerator","partial_cmp","partial_cmp","pinned","pinned","pop_namespace","push_namespace","query_advice","query_any","query_fixed","query_instance","query_instance","query_selector","read","selector","set_minimum_degree","source","square","sub","sub","sub","synthesize","synthesize","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_string","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","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","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","type_id","type_id","type_id","type_id","type_id","type_id","verify_proof","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","without_witnesses","write","0","0","1","0","current_k","0","0","0","0","0","0","1","1","1","column_index","column_index","column_index","query_index","query_index","query_index","rotation","rotation","rotation","0","Basis","Coeff","Error","EvaluationDomain","ExtendedLagrangeCoeff","LagrangeCoeff","OpeningError","PinnedEvaluationDomain","Polynomial","Rotation","SamplingError","add","add_extended","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","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","coeff_from_vec","coeff_to_extended","commitment","constant_extended","constant_lagrange","cur","default","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","divide_by_vanishing_poly","drop","drop","drop","drop","drop","drop","drop","drop","empty_coeff","empty_extended","empty_lagrange","eq","extended_len","extended_to_coeff","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","get_extended_omega","get_omega","get_omega_inv","get_quotient_poly_degree","index","index","index","index_mut","index_mut","index_mut","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","iter","iter_mut","l_i_range","lagrange_from_vec","lagrange_to_coeff","mul","mul","mul_extended","multiopen","ne","neg","new","next","num_coeffs","one_minus","pinned","prev","rotate","rotate_extended","rotate_omega","sub","sub_extended","to_owned","to_owned","to_owned","to_owned","to_owned","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","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","0","Accumulator","Blind","Guard","MSM","Params","add","add_assign","add_assign","add_constant_term","add_msm","add_to_g_scalars","add_to_h_scalar","add_to_u_scalar","append_term","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","challenges_packed","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","commit","commit_lagrange","compute_g","create_proof","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","empty_msm","eq","eval","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","g","get_g","init","init","init","init","init","into","into","into","into","into","mul","mul_assign","mul_assign","ne","new","new","read","scale","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","use_challenges","use_g","verify_proof","vzip","vzip","vzip","vzip","vzip","write","ProverQuery","VerifierQuery","blind","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","create_proof","deref","deref","deref_mut","deref_mut","drop","drop","fmt","fmt","from","from","init","init","into","into","new_commitment","new_msm","point","poly","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","verify_proof","vzip","vzip","Blake2bRead","Blake2bWrite","Challenge255","ChallengeScalar","EncodedChallenge","Input","Transcript","TranscriptRead","TranscriptWrite","as_challenge_scalar","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","common_point","common_point","common_point","common_scalar","common_scalar","common_scalar","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","finalize","fmt","fmt","fmt","fmt","from","from","from","from","get_scalar","get_scalar","init","init","init","init","init","init","into","into","into","into","new","new","read_point","read_point","read_scalar","read_scalar","squeeze_challenge","squeeze_challenge","squeeze_challenge","squeeze_challenge_scalar","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","vzip","vzip","vzip","vzip","write_point","write_point","write_scalar","write_scalar"],"q":["halo2","","","","","","halo2::arithmetic","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::floor_planner","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::layouter","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::layouter::RegionColumn","","halo2::dev","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::dev::VerifyFailure","","","","","","","","","","","","halo2::dev::cost","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::dev::metadata","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::plonk","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::plonk::Assigned","","","halo2::plonk::Error","","halo2::plonk::Expression","","","","","","","","","","","","","","","","","","halo2::poly","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::poly::commitment","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::poly::multiopen","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::transcript","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"d":["This module provides common utilities, traits and …","Traits and structs for implementing circuit components.","Tools for developing circuits.","This module provides an implementation of a variant of …","Contains utilities for performing arithmetic over …","This module contains utilities and traits for dealing with …","The affine version of the curve","The base field over which this elliptic curve is …","The base field over which this elliptic curve is …","CURVE_ID used for hash-to-curve.","The affine coordinates of a point on an elliptic curve.","This trait is the affine counterpart to Curve and is used …","This trait is a common interface for dealing with elements …","The projective form of the curve","Generator of the $t-order$ multiplicative subgroup","This trait represents an element of a field.","This trait represents an element of a field.","This trait is a common interface for dealing with elements …","This represents an element of a group with basic …","Modulus of the field written as a string for display …","Ideally the smallest prime $\\\\alpha$ such that gcd($p - 1$, …","$RESCUE_INVALPHA \\\\cdot RESCUE_ALPHA = 1 \\\\mod p - 1$ such …","Generator of the $2^S$ multiplicative subgroup","Inverse of ROOT_OF_UNITY","The group is assumed to be of prime order $p$. Scalar is …","The scalar field of this elliptic curve.","The scalar field of this elliptic curve.","Tables used for square root computation.","Inverse of $2$ in the field.","The value $(T-1)/2$ such that $2^S \\\\cdot T = p - 1$ with …","Element of multiplicative order $3$.","Returns the curve constant a.","Returns the curve constant $a$.","Returns the curve constant b.","Returns the curve constant $b$.","Performs a radix-$2$ Fast-Fourier Transformation (FFT) on …","Performs a multi-exponentiation operation.","","","","","","","This computes the inner product of two vectors a and b.","","Gets the coordinates of this point.","Cubes this element.","Cubes this element.","","","","","","Doubles this element.","Doubles this element.","","","Apply the curve endomorphism by multiplying the …","This evaluates a provided polynomial (in coefficient form) …","","","","","Attempts to obtain a field element from its normalized, …","Obtains a field element that is congruent to the provided …","Obtains a field element congruent to the integer v.","Obtains a field element congruent to the integer v.","Obtains a point given $(x, y)$, failing if it is not on the","Gets the lower 128 bits of this field element when …","Gets the lower 32 bits of this field element when expressed","Adds rhs to this group element.","Scales this group element by a scalar.","Subtracts rhs from this group element.","Returns the additive identity of the group.","Requests a hasher that accepts messages and returns …","","","","","Computes the multiplicative inverse of this element, …","Computes the multiplicative inverse of this element, …","Returns whether or not this element is on the curve; should","Returns whether or not this element is on the curve; should","Returns true iff this element is zero.","Returns true iff this element is zero.","Returns true iff this element is zero.","Returns true iff this element is zero.","Return the Jacobian coordinates of this point.","Divides polynomial a in X by X - b with no remainder.","Returns coefficients of an n - 1 degree polynomial given a …","Build tables given parameters for the perfect hash.","Obtains a point given Jacobian coordinates $X : Y : Z$, …","Returns the one element of the field, the multiplicative …","Returns the one element of the field, the multiplicative …","This simple utility function will parallelize an operation …","Exponentiates self by by, where by is a little-endian order","Raise this field element to the power T_MINUS1_OVER2. …","Exponentiates self by exp, where exp is a little-endian …","Exponentiates self by exp, where exp is a little-endian …","This computes a random element of the field using system …","Returns an element chosen uniformly at random using a …","Returns an element chosen uniformly at random using a …","Reads a compressed element from the buffer and attempts to …","Reads a normalized, little endian represented field …","Performs a small multi-exponentiation operation. Uses the …","Returns the square root of the field element, if it is …","Returns the square root of the field element, if it is …","Equivalent to sqrt_ratio(self, one()).","Same as sqrt_ratio(u, one()) but more efficient.","Computes:","Computes:","Squares this element.","Squares this element.","Converts this field element to its normalized, little …","","","","","","","","Returns the u-coordinate.","Returns the v-coordinate.","","","Writes an element in compressed form to the buffer.","Writes this element in its normalized, little endian form …","Returns the x-coordinate.","Returns the y-coordinate.","Returns the zero element of the field, the additive …","Returns the zero element of the field, the additive …","A pointer to a cell within a circuit.","A chip implements a set of instructions that can be used …","A type that holds the configuration for this chip, and any …","A layout strategy within a circuit. The layouter is …","A type that holds any general chip state that needs to be …","This is a “namespaced” layouter which borrows a …","A region of the circuit in which a Chip can assign cells.","Index of a region in a layouter","Starting row of a region in a layouter","Represents the type of the “root” of this layouter, so …","A simple FloorPlanner that performs minimal optimizations.","A lookup table in the circuit.","Assign an advice column value (witness).","Assigns a constant value to the column advice at offset …","Assign the value of the instance column’s cell at …","Assigns a fixed value to a table cell.","Assign a fixed value.","Assign a region of gates to an absolute row number.","","Assign a table region to an absolute row number.","","","","","","","","","","","","","","","","","","","","","","The chip holds its own configuration.","Constrains a cell to have a constant value.","Constrains two cells to have the same value.","Constrains a Cell to equal an instance column’s row …","","","","","","","","","","","","","","","","","","","","","","","","","","","Implementations of common circuit floor planners.","","","","","","","","","","","","","","","","","","","Gets the “root” of this assignment, bypassing the …","","","","","","","","","","","","","","","","Implementations of common circuit layouters.","Provides access to general chip state loaded at the …","Enters into a namespace.","","Exits out of the existing namespace.","","Creates a new (sub)namespace and enters into it.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","The version 1 FloorPlanner provided by halo2.","A single pass of the V1 layouter.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Concrete column","The virtual column involved in a region. This includes …","Helper trait for implementing a custom Layouter.","The shape of a region. For a region at a certain index, we …","Virtual column representing a (boolean) selector","Helper trait for implementing a custom Layouter.","Assign an advice column value (witness)","","Assigns a constant value to the column advice at offset …","","Assign the value of the instance column’s cell at …","","Assigns a fixed value to a table cell.","Assign a fixed value","","","","","","","","","","","Get a reference to the set of columns used in a RegionShape…","Constrains a cell to have a constant value.","","Constraint two cells to have the same value.","","","","","","","","Enables a selector at the given offset.","","","","","","","","","","","","","","","Create a new RegionShape for a region at region_index.","","Get the region_index of a RegionShape.","Get the row_count of a RegionShape.","","","","","","","","","","","","","A cell used in an active gate was not assigned to.","A struct for collecting and displaying the gates within a …","A constraint was not satisfied for a particular row.","A constraint was active on an unusable row, and is likely …","A lookup input did not exist in its corresponding table.","A test prover for debugging circuits.","A permutation did not preserve the original value of a …","The reasons why a particular circuit is not satisfied.","","","","","","","","","Collects the gates from within the circuit.","","Developer tools for investigating the cost of a circuit.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Metadata about circuits.","","","","Prints the queries in this circuit to a CSV grid.","","Runs a synthetic keygen-and-prove operation on the given …","","","","","","","","","","","","Returns Ok(()) if this MockProver is satisfied, or a list …","","","","The values of the virtual cells used by this constraint.","The column in which this cell should be assigned.","The column in which this permutation is not satisfied.","The polynomial constraint that is not satisfied.","The polynomial constraint that is not satisfied.","The index of the active gate.","The index of the lookup that is not satisfied. These …","The offset (relative to the start of the region) at which …","The region in which this cell should be assigned.","The row on which this constraint is not satisfied.","The row on which this lookup is not satisfied.","The row on which this permutation is not satisfied.","Measures a circuit to determine its costs, and explain …","The marginal size of a Halo 2 proof, broken down into its …","The size of a Halo 2 proof, broken down into its …","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the marginal proof size per instance of this …","Measures a circuit with parameter constant k.","Returns the proof size for the given number of instances …","","","","","","","","","","","","","Metadata about a column within a circuit.","Metadata about a configured constraint within a circuit.","Metadata about a configured gate within a circuit.","Metadata about an assigned region within a circuit.","A “virtual cell” is a PLONK cell that has been queried …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","An advice column","An Advice variant","This is an advice (witness) column queried at a certain …","An enum over the Advice, Fixed, Instance structs","A value assigned to a cell within a circuit.","This trait allows a Circuit to direct some backend to …","Out of bounds index passed to a backend","This is a trait that circuits provide implementations for …","A column with an index and type","A column type","This is a configuration object that stores things like …","This is a constant polynomial","An individual polynomial constraint.","This is a description of the circuit environment, such as …","The constraint system is not satisfied.","This is an error that could occur during proving or …","Low-degree expression representing an identity that must …","A fixed column","A Fixed variant","This is a fixed column queried at a certain relative …","A floor planning strategy for a circuit.","The floor planner used for this circuit. This is an …","An instance column","An Instance variant","This is an instance (external) column queried at a certain …","Instance provided exceeds number of available rows","The provided instances do not match the circuit parameters.","This is a negated polynomial","Circuit synthesis requires global constants, but circuit …","k is too small for the given circuit.","Opening error","Represents the minimal parameters that determine a …","Minimal representation of a verification key that can be …","This is the product of two polynomials","This is a proving key which allows for the creation of …","A value stored as a fraction to enable batch inversion.","This is a scaled polynomial","A selector, representing a fixed boolean value per row of …","This is a virtual selector","This is the sum of two polynomials","This is an error that can occur during synthesis of the …","A fixed column of a lookup table.","Transcript error","A value that does not require inversion to evaluate.","This is a verifying key which allows for the verification …","Exposes the “virtual cells” that can be queried while …","The field element zero.","","","","Allocate a new advice column","Assign an advice column value (witness)","Assign a fixed value","Compute the number of blinding factors necessary to …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Allocate a new complex selector that can appear anywhere …","The circuit is given an opportunity to describe the exact …","Assign two cells to have the same value","Creates a new gate.","This creates a proof for the provided circuit when given …","","Compute the degree of this polynomial","Compute the degree of the constraint system (the maximum …","Returns the denominator, if non-trivial.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Enable this selector at the given offset within the given …","Enables this fixed column to be used for global constant …","Enable the ability to enforce equality over cells in this …","Enables a selector at the given row.","Creates a new region and enters into it.","","","","","","","","Evaluates this assigned value directly, performing an …","Evaluate the polynomial using the provided closures to …","Exits the current region.","Fills a fixed column starting from the given row with …","Allocate a new fixed column","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Get the underlying EvaluationDomain.","Get the underlying VerifyingKey.","","","","","","","","Hashes a verification key into a transcript.","","","","","","","","","","","","","","","","","","Allocate a new instance column","","","","","","","","","","","","","","","","","","Inverts this assigned value.","Is this selector “simple”? Simple selectors can only …","Generate a ProvingKey from a VerifyingKey and an instance …","Generate a VerifyingKey from an instance of Circuit.","Add a lookup argument for some input expressions and table …","Allocates a new fixed column that can be used in a lookup …","Returns the minimum necessary rows that need to exist in …","","","","","","","","","","Returns the numerator.","","","Obtain a pinned version of this constraint system; a …","Obtains a pinned representation of this verification key …","Exits out of the existing namespace.","Creates a new (sub)namespace and enters into it.","Query an advice column at a relative position","Query an Any column at a relative position","Query a fixed column at a relative position","Queries the cell of an instance column at a particular …","Query an instance column at a relative position","Query a selector at the current position.","Reads a verification key from a buffer.","Allocate a new (simple) selector. Simple selectors cannot …","Sets the minimum degree required by the circuit, which can …","","Square this expression.","","","","Given the provided cs, synthesize the given circuit.","Given the provided cs, synthesize the circuit. The …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns a boolean indicating whether or not the proof is …","","","","","","","","","","","","","","","","","","Returns a copy of this circuit with no witness values …","Writes a verifying key to a buffer.","","","","","The current value of k being used.","","","","","","","","","","Column index","Column index","Column index","Query index","Query index","Query index","Rotation of this query","Rotation of this query","Rotation of this query","","The basis over which a polynomial is described.","The polynomial is defined as coefficients","This is an error that could occur during proving or …","This structure contains precomputed constants and other …","The polynomial is defined as coefficients of Lagrange …","The polynomial is defined as coefficients of Lagrange …","OpeningProof is not well-formed","Represents the minimal parameters that determine an …","Represents a univariate polynomial defined over a field …","Describes the relative rotation of a vector. Negative …","Caller needs to re-sample a point","","Add two polynomials in the extended domain, rotating the …","","","","","","","","","","","","","","","","","","","","","","","","","","","Obtains a polynomial in coefficient form when given a …","This takes us from an n-length coefficient vector into a …","This module contains an implementation of the polynomial …","Returns a constant polynomial in the extended Lagrange …","Returns a constant polynomial in the Lagrange coefficient …","The current location in the evaluation domain","","","","","","","","","","","","","","","","","","","","This divides the polynomial (in the extended domain) by …","","","","","","","","","Returns an empty (zero) polynomial in the coefficient basis","Returns an empty (zero) polynomial in the extended …","Returns an empty (zero) polynomial in the Lagrange …","","Get the size of the extended domain","This takes us from the extended evaluation domain and gets …","","","","","","","","","","","","","","","","","Get the generator of the extended domain’s …","Get $\\\\omega$, the generator of the $2^k$ order …","Get $\\\\omega^{-1}$, the inverse of the generator of the …","Gets the quotient polynomial’s degree (as a multiple of …","","","","","","","","","","","","","","","","","","","","","","","Iterate over the values, which are either in coefficient …","Iterate over the values mutably, which are either in …","Computes evaluations (at the point x, where xn = x^n) of …","Obtains a polynomial in Lagrange form when given a vector …","This takes us from an n-length vector into the coefficient …","","","Multiply two polynomials in the extended domain, rotating …","This module contains an optimisation of the polynomial …","","","This constructs a new evaluation domain object based on …","The next location in the evaluation domain","Gets the size of this polynomial in terms of the number of …","Maps every coefficient c in p to 1 - c.","Obtain a pinned version of this evaluation domain; a …","The previous location in the evaluation domain","Rotates the values in a Lagrange basis polynomial by …","Rotate the extended domain polynomial over the original …","Multiplies a value by some power of $\\\\omega$, essentially …","","Subtract a polynomial from another in the extended domain, …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","An accumulator instance consisting of an evaluation claim …","Wrapper type around a blinding factor.","A guard returned by the verifier","A multiscalar multiplication in the polynomial commitment …","These are the public parameters for the polynomial …","","","","Add a value to the first entry of g_scalars.","Add another multiexp into this one","Add a vector of scalars to g_scalars. This function will …","Add to h_scalar","Add to u_scalar","Add arbitrary term (the scalar and the point)","","","","","","","","","","","A vector of 128-bit challenges sampled by the verifier, to …","","","","","","","","","This computes a commitment to a polynomial described by …","This commits to a polynomial using its evaluations over …","Computes G + H, where G = ⟨s, params.g⟩ and H is used …","Create a polynomial commitment opening proof for the …","","","","","","","","","","","","","","","","","Generates an empty multiscalar multiplication struct using …","","Perform multiexp and check that it results in zero","","","","","","","","","","","The claimed output of the linear-time polycommit opening …","Getter for g generators","","","","","","","","","","","","","","","Create a new, empty MSM using the provided parameters.","Initializes parameters for the curve, given a random …","Reads params from a buffer.","Scale all scalars in the MSM by some scaling factor","","","","","","","","","","","","","","","","","","","","Lets caller supply the challenges and obtain an MSM with …","Lets caller supply the purported G point and simply appends","Checks to see if the proof represented within transcript …","","","","","","Writes params to a buffer.","A polynomial query at a point","A polynomial query at a point","blinding factor of polynomial","","","","","","","","","Create a multi-opening proof","","","","","","","","","","","","","","","Create a new verifier query based on a commitment","Create a new verifier query based on a linear combination …","point at which polynomial is queried","coefficients of polynomial","","","","","","","","","Verify a multi-opening proof","","","We will replace BLAKE2b with an algebraic hash function in …","We will replace BLAKE2b with an algebraic hash function in …","A 255-bit challenge.","The scalar representation of a verifier challenge.","EncodedChallenge<C> defines a challenge encoding with a …","The Input type used to derive the challenge encoding. For …","Generic transcript view (from either the prover or verifier…","Transcript view from the perspective of a verifier that …","Transcript view from the perspective of a prover that has …","Cast an encoded challenge as a typed ChallengeScalar.","","","","","","","","","","","","","","","","","Writing the point to the transcript without writing it to …","","","Writing the scalar to the transcript without writing it to …","","","","","","","","","","","","","","","","","Conclude the interaction and return the output buffer …","","","","","","","","","Get a scalar field element from an encoded challenge.","","Initialize a transcript given an input buffer.","","Initialize a transcript given an output buffer.","","","","","","","","Get an encoded challenge from a given input challenge.","","Read a curve point from the prover.","","Read a curve scalar from the prover.","","Squeeze an encoded verifier challenge from the transcript.","","","Squeeze a typed challenge (in the scalar field) from the …","","","","","","","","","","","","","","","","","","","","","Write a curve point to the proof and the transcript.","","Write a scalar to the proof and the transcript.",""],"i":[0,0,0,0,0,0,1,1,2,1,0,0,0,2,3,0,0,0,0,3,3,3,3,3,4,1,2,0,3,3,3,1,2,1,2,0,0,5,6,5,6,5,5,0,5,2,7,7,5,5,6,5,6,7,7,5,6,1,0,5,6,5,6,3,3,3,3,2,3,3,4,4,4,4,1,5,6,5,6,7,7,1,2,7,7,7,7,1,0,0,6,1,7,7,0,3,3,7,7,3,7,7,2,3,0,7,7,3,6,3,6,7,7,3,5,5,6,5,6,5,6,5,5,5,6,2,3,5,5,7,7,0,0,8,0,8,0,0,0,0,9,0,0,10,10,10,11,10,9,12,9,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,14,15,16,14,15,16,8,10,10,9,12,13,14,14,15,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,12,15,0,13,14,15,16,10,11,12,13,14,14,15,15,16,10,10,11,11,12,9,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,0,8,9,15,9,12,9,12,13,14,15,16,13,14,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,0,0,17,17,18,17,18,17,17,18,17,18,17,18,17,18,17,18,17,17,18,17,18,17,17,17,18,18,17,18,17,18,17,18,17,19,0,0,0,19,0,20,21,20,21,20,21,22,20,21,21,19,21,19,21,19,21,19,19,21,20,21,20,21,21,19,21,19,21,19,20,21,19,21,19,21,19,19,19,19,21,19,21,19,19,21,19,21,21,21,19,21,19,21,19,21,19,21,19,23,24,25,0,25,25,25,0,25,0,26,26,27,25,26,27,25,26,27,26,0,27,25,26,27,25,26,27,25,26,26,26,25,26,26,27,27,25,25,26,27,25,26,27,25,26,27,25,26,0,25,26,26,27,26,26,27,25,27,25,26,27,25,26,27,25,26,26,27,25,26,28,29,30,28,31,29,32,29,29,28,32,30,0,0,0,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,33,33,33,34,35,33,34,35,33,34,35,33,34,35,0,0,0,0,0,36,37,38,39,40,36,37,38,39,40,36,37,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,36,37,37,38,38,39,39,40,40,36,36,36,37,37,37,38,38,39,39,40,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,0,41,42,0,0,0,43,0,0,0,44,42,0,0,43,0,0,0,41,42,0,44,0,41,42,43,43,42,43,43,43,0,0,42,0,45,42,0,42,42,43,0,43,45,0,0,45,45,45,42,46,47,47,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,46,48,49,50,51,41,52,53,45,42,46,48,41,46,44,47,46,0,46,42,46,45,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,52,46,46,47,47,48,49,50,51,41,52,53,45,42,47,47,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,43,57,58,59,48,48,48,48,49,50,51,41,41,41,41,52,53,45,45,45,42,54,54,54,46,55,56,43,43,57,58,59,57,59,48,49,50,51,41,52,53,57,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,45,52,0,0,46,46,46,45,45,42,42,48,52,53,45,42,45,48,41,46,57,47,47,56,56,56,47,56,56,57,46,46,43,42,45,45,42,60,44,48,49,50,51,41,52,53,45,42,46,43,48,48,48,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,0,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,44,57,61,62,62,63,64,65,66,67,68,69,70,68,69,70,71,72,73,71,72,73,71,72,73,74,0,0,0,0,0,0,75,0,0,0,75,76,77,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,79,80,81,76,74,79,80,81,76,74,77,77,0,77,77,74,74,77,78,75,79,80,81,76,76,74,77,78,75,79,80,81,76,76,74,77,77,78,75,79,80,81,76,74,77,77,77,74,77,77,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,77,77,77,77,76,76,76,76,76,76,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,76,76,77,77,77,76,76,77,0,74,76,77,74,76,76,77,74,76,77,77,76,77,79,80,81,76,74,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,77,78,75,79,80,81,76,74,82,0,0,0,0,0,82,82,82,83,83,83,83,83,83,83,84,85,86,82,83,84,85,86,82,85,83,84,85,82,83,84,85,82,86,86,84,0,82,83,84,85,86,82,83,84,85,86,82,83,84,85,86,82,86,82,83,83,84,85,86,82,83,84,85,86,82,85,86,83,84,85,86,82,83,84,85,86,82,82,82,82,82,83,86,86,83,83,84,85,82,83,84,85,86,82,83,84,85,86,82,83,84,85,86,82,84,84,0,83,84,85,86,82,86,0,0,87,87,88,87,88,87,88,87,88,0,87,88,87,88,87,88,87,88,87,88,87,88,87,88,88,88,87,87,87,88,87,88,87,88,87,88,0,87,88,0,0,0,0,0,89,0,0,0,89,90,91,92,93,90,91,92,93,90,91,92,93,90,91,92,93,94,90,91,94,90,91,90,91,92,92,93,93,90,91,92,93,90,91,92,93,91,90,91,92,93,90,91,92,93,89,93,90,90,91,91,92,93,90,91,92,93,89,93,95,90,95,90,94,90,91,94,90,91,92,93,90,91,92,93,90,91,92,93,90,91,92,93,90,91,92,93,96,91,96,91],"f":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[]],[[]],[[]],[[]],[[["u32",15]]],[[]],[[]],[[]],[[]],[[]],[[],["coordinates",3]],[[]],[[],["field",8]],[[["coordinates",3],["coordinates",3],["choice",3]],["coordinates",3]],[[],["ctoption",3,[["coordinates",3]]]],[[]],[[]],[[],["coordinates",3]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[]],[[["usize",15]]],[[["usize",15]]],[[]],[[["field",8]],["field",8]],[[["formatter",3]],["result",4,[["error",3]]]],[[["formatter",3]],["result",4,[["error",3]]]],[[]],[[]],[[],["ctoption",3]],[[]],[[["u128",15]]],[[["u64",15]]],[[],["ctoption",3]],[[],["u128",15]],[[],["u32",15]],[[]],[[]],[[]],[[]],[[["str",15]],["box",3,[["fn",8],["global",3]]]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[],["ctoption",3]],[[],["ctoption",3]],[[],["choice",3]],[[],["choice",3]],[[],["choice",3]],[[],["choice",3]],[[],["bool",15]],[[],["bool",15]],[[]],[[["intoiterator",8],["field",8]],["vec",3,[["field",8]]]],[[],["vec",3,[["fieldext",8]]]],[[["u32",15],["usize",15]],["sqrttables",3]],[[],["ctoption",3]],[[]],[[]],[[["",26,[["fn",8],["send",8],["sync",8],["clone",8]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",4,[["error",3]]]],[[],["result",4,[["error",3]]]],[[]],[[],["ctoption",3]],[[],["ctoption",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[],["result",4,[["error",3]]]],[[],["result",4,[["error",3]]]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["tablecolumn",3],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["regionindex",3]],[[],["regionstart",3]],[[],["cell",3]],[[]],[[]],[[]],[[]],[[["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["regionstart",3]],["bool",15]],null,[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[["usize",15]],["regionindex",3]],[[]],[[["usize",15]],["regionstart",3]],[[]],[[]],[[["regionlayouter",8]]],[[]],[[]],[[["tablelayouter",8]]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,[[]],[[],["namespacedlayouter",3]],[[["regionstart",3]],["bool",15]],[[["option",4,[["string",3]]]]],[[["option",4,[["string",3]]]]],[[]],[[]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,null,[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[["option",4,[["string",3]]]]],[[]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],null,null,null,null,null,null,[[["fn",8],["column",3,[["advice",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["assigned",4]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["assigned",4]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["tablecolumn",3],["usize",15],["fnmut",8]],["result",4,[["error",4]]]],[[["fn",8],["column",3,[["fixed",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["fixed",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[]],[[]],[[]],[[]],[[],["regionshape",3]],[[],["regioncolumn",4]],[[]],[[]],[[],["ordering",4]],[[],["hashset",3]],[[["cell",3],["assigned",4]],["result",4,[["error",4]]]],[[["cell",3],["assigned",4]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["fn",8],["selector",3],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["selector",3],["usize",15]],["result",4,[["error",4]]]],[[["regioncolumn",4]],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[["selector",3]],["regioncolumn",4]],[[["column",3,[["any",4]]]],["regioncolumn",4]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[["regioncolumn",4]],["bool",15]],[[["regionindex",3]]],[[],["option",4,[["ordering",4]]]],[[],["regionindex",3]],[[],["usize",15]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["column",3,[["any",4]]],["usize",15],["column",3,[["any",4]]],["usize",15]],["result",4,[["error",4]]]],null,[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["selector",3],["usize",15]],["result",4,[["error",4]]]],[[]],[[["verifyfailure",4]],["bool",15]],[[]],[[["column",3,[["fixed",3]]],["usize",15],["option",4,[["assigned",4]]]],["result",4,[["error",4]]]],[[["formatter",3]],["result",4,[["error",3]]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],null,[[["verifyfailure",4]],["bool",15]],[[["option",4,[["string",3]]]]],[[]],[[],["string",3]],[[["column",3,[["instance",3]]],["usize",15]],["result",4,[["option",4],["error",4]]]],[[["u32",15],["vec",3,[["vec",3]]]],["result",4,[["error",4]]]],[[],["string",3]],[[],["string",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["result",4,[["vec",3,[["verifyfailure",4]]]]]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[]],[[]],[[]],[[]],[[]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[],["marginalproofsize",3]],[[["usize",15]]],[[["usize",15]],["proofsize",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],null,null,null,null,null,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["column",3]],["ordering",4]],[[["virtualcell",3]],["ordering",4]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["column",3]],["bool",15]],[[["virtualcell",3]],["bool",15]],[[["gate",3]],["bool",15]],[[["constraint",3]],["bool",15]],[[["region",3]],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[["column",3,[["any",4]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[["column",3]],["bool",15]],[[["virtualcell",3]],["bool",15]],[[["gate",3]],["bool",15]],[[["constraint",3]],["bool",15]],[[["region",3]],["bool",15]],[[["column",3]],["option",4,[["ordering",4]]]],[[["virtualcell",3]],["option",4,[["ordering",4]]]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[["assigned",4]],["assigned",4]],[[],["assigned",4]],[[["expression",4]],["expression",4]],[[],["column",3,[["advice",3]]]],[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["error",4]]]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["column",3]],[[],["advice",3]],[[],["fixed",3]],[[],["instance",3]],[[],["any",4]],[[],["selector",3]],[[],["tablecolumn",3]],[[],["assigned",4]],[[],["expression",4]],[[],["constraintsystem",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["ordering",4]],[[],["ordering",4]],[[],["selector",3]],[[["constraintsystem",3]]],[[["column",3,[["any",4]]],["usize",15],["column",3,[["any",4]]],["usize",15]],["result",4,[["error",4]]]],[[["str",15]]],[[["params",3],["provingkey",3]],["result",4,[["error",4]]]],[[],["constraintsystem",3]],[[],["usize",15]],[[],["usize",15]],[[],["option",4]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["region",3],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]]]],[[["column",3,[["any",4]]]]],[[["selector",3],["usize",15]],["result",4,[["error",4]]]],[[]],[[["column",3]],["bool",15]],[[["advice",3]],["bool",15]],[[["fixed",3]],["bool",15]],[[["instance",3]],["bool",15]],[[["any",4]],["bool",15]],[[["selector",3]],["bool",15]],[[["tablecolumn",3]],["bool",15]],[[]],[[]],[[]],[[["column",3,[["fixed",3]]],["usize",15],["option",4,[["assigned",4]]]],["result",4,[["error",4]]]],[[],["column",3,[["fixed",3]]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["column",3,[["advice",3]]]],["column",3,[["any",4]]]],[[["column",3,[["fixed",3]]]],["column",3,[["any",4]]]],[[["column",3,[["instance",3]]]],["column",3,[["any",4]]]],[[]],[[]],[[]],[[]],[[["instance",3]],["any",4]],[[["advice",3]],["any",4]],[[["fixed",3]],["any",4]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["expression",4]]],[[]],[[]],[[]],[[]],[[]],[[]],[[["error",3]]],[[]],[[]],[[]],[[],["evaluationdomain",3]],[[],["verifyingkey",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["column",3,[["instance",3]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["bool",15]],[[["params",3],["verifyingkey",3]],["result",4,[["provingkey",3],["error",4]]]],[[["params",3]],["result",4,[["verifyingkey",3],["error",4]]]],[[],["usize",15]],[[],["tablecolumn",3]],[[],["usize",15]],[[],["assigned",4]],[[["assigned",4]],["assigned",4]],[[],["expression",4]],[[["expression",4]],["expression",4]],[[["column",3]],["bool",15]],[[["selector",3]],["bool",15]],[[["tablecolumn",3]],["bool",15]],[[]],[[]],[[]],[[],["option",4,[["ordering",4]]]],[[],["option",4,[["ordering",4]]]],[[],["pinnedconstraintsystem",3]],[[],["pinnedverificationkey",3]],[[["option",4,[["string",3]]]]],[[]],[[["column",3,[["advice",3]]],["rotation",3]],["expression",4]],[[["column",3,[["any",4]]],["rotation",3]],["expression",4]],[[["column",3,[["fixed",3]]],["rotation",3]],["expression",4]],[[["column",3,[["instance",3]]],["usize",15]],["result",4,[["option",4],["error",4]]]],[[["column",3,[["instance",3]]],["rotation",3]],["expression",4]],[[["selector",3]],["expression",4]],[[["params",3]],["result",6]],[[],["selector",3]],[[["usize",15]]],[[],["option",4,[["error",8]]]],[[]],[[["assigned",4]],["assigned",4]],[[],["assigned",4]],[[["expression",4]],["expression",4]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["string",3]],[[["column",3,[["any",4]]]],["result",4]],[[["column",3,[["any",4]]]],["result",4]],[[["column",3,[["any",4]]]],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[["params",3],["verifyingkey",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[["polynomial",3]],["polynomial",3]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["coeff",3]],[[],["lagrangecoeff",3]],[[],["extendedlagrangecoeff",3]],[[],["polynomial",3]],[[],["rotation",3]],[[]],[[]],[[]],[[]],[[]],[[["vec",3]],["polynomial",3,[["coeff",3]]]],[[["polynomial",3,[["coeff",3]]]],["polynomial",3,[["extendedlagrangecoeff",3]]]],null,[[],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[],["polynomial",3,[["lagrangecoeff",3]]]],[[],["rotation",3]],[[],["rotation",3]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["polynomial",3,[["extendedlagrangecoeff",3]]]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[],["polynomial",3,[["coeff",3]]]],[[],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[],["polynomial",3,[["lagrangecoeff",3]]]],[[["rotation",3]],["bool",15]],[[],["usize",15]],[[["polynomial",3,[["extendedlagrangecoeff",3]]]],["vec",3]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[["rangefull",3]]],[[["rangefrom",3,[["usize",15]]]]],[[["usize",15]]],[[["rangefrom",3,[["usize",15]]]]],[[["usize",15]]],[[["rangefull",3]]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["",26,[["intoiterator",8],["clone",8]]]],["vec",3]],[[["vec",3]],["polynomial",3,[["lagrangecoeff",3]]]],[[["polynomial",3,[["lagrangecoeff",3]]]],["polynomial",3,[["coeff",3]]]],[[],["polynomial",3]],[[["polynomial",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],null,[[["rotation",3]],["bool",15]],[[],["polynomial",3]],[[["u32",15],["u32",15]]],[[],["rotation",3]],[[],["usize",15]],[[]],[[],["pinnedevaluationdomain",3]],[[],["rotation",3]],[[["rotation",3]],["polynomial",3,[["lagrangecoeff",3]]]],[[["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["rotation",3]]],[[["polynomial",3]],["polynomial",3]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,[[["blind",3]]],[[]],[[["blind",3]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,[[],["msm",3]],[[],["guard",3]],[[],["accumulator",3]],[[],["blind",3]],[[]],[[]],[[]],[[]],[[["polynomial",3],["blind",3]]],[[["polynomial",3],["blind",3]]],[[]],[[["params",3],["polynomial",3],["blind",3]],["result",6]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[],["msm",3]],[[["blind",3]],["bool",15]],[[],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],null,[[],["vec",3]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[["blind",3]]],[[["blind",3]]],[[]],[[["blind",3]],["bool",15]],[[["params",3]]],[[["u32",15]]],[[],["result",6]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["msm",3]],[[]],[[["params",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],null,null,null,[[]],[[]],[[]],[[]],[[],["proverquery",3]],[[],["verifierquery",3]],[[]],[[]],[[["params",3]],["result",6]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[["msm",3]]],null,null,[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[["params",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],null,null,null,null,null,null,null,null,null,[[],["challengescalar",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["blake2bread",3]],[[],["blake2bwrite",3]],[[],["challengescalar",3]],[[],["challenge255",3]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[]],[[],["challenge255",3]],[[],["challenge255",3]],[[],["challengescalar",3]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]]],"p":[[8,"CurveExt"],[8,"CurveAffine"],[8,"FieldExt"],[8,"Group"],[3,"Coordinates"],[3,"SqrtTables"],[8,"Field"],[8,"Chip"],[8,"Layouter"],[3,"Region"],[3,"Table"],[3,"NamespacedLayouter"],[3,"SimpleFloorPlanner"],[3,"RegionIndex"],[3,"RegionStart"],[3,"Cell"],[3,"V1Pass"],[3,"V1"],[4,"RegionColumn"],[8,"RegionLayouter"],[3,"RegionShape"],[8,"TableLayouter"],[13,"Column"],[13,"Selector"],[4,"VerifyFailure"],[3,"MockProver"],[3,"CircuitGates"],[13,"ConstraintNotSatisfied"],[13,"Cell"],[13,"Permutation"],[13,"ConstraintPoisoned"],[13,"Lookup"],[3,"CircuitCost"],[3,"MarginalProofSize"],[3,"ProofSize"],[3,"Column"],[3,"VirtualCell"],[3,"Gate"],[3,"Constraint"],[3,"Region"],[4,"Any"],[4,"Expression"],[4,"Error"],[8,"Circuit"],[4,"Assigned"],[3,"ConstraintSystem"],[8,"Assignment"],[3,"Column"],[3,"Advice"],[3,"Fixed"],[3,"Instance"],[3,"Selector"],[3,"TableColumn"],[3,"Constraint"],[3,"PinnedConstraintSystem"],[3,"VirtualCells"],[3,"VerifyingKey"],[3,"PinnedVerificationKey"],[3,"ProvingKey"],[8,"FloorPlanner"],[13,"Trivial"],[13,"Rational"],[13,"Transcript"],[13,"NotEnoughRowsAvailable"],[13,"Constant"],[13,"Selector"],[13,"Negated"],[13,"Sum"],[13,"Product"],[13,"Scaled"],[13,"Fixed"],[13,"Advice"],[13,"Instance"],[3,"Rotation"],[4,"Error"],[3,"Polynomial"],[3,"EvaluationDomain"],[3,"PinnedEvaluationDomain"],[3,"Coeff"],[3,"LagrangeCoeff"],[3,"ExtendedLagrangeCoeff"],[3,"Blind"],[3,"MSM"],[3,"Guard"],[3,"Accumulator"],[3,"Params"],[3,"ProverQuery"],[3,"VerifierQuery"],[8,"EncodedChallenge"],[3,"Blake2bRead"],[3,"Blake2bWrite"],[3,"ChallengeScalar"],[3,"Challenge255"],[8,"Transcript"],[8,"TranscriptRead"],[8,"TranscriptWrite"]]}\
+"halo2":{"doc":"halo2","t":[0,0,0,0,0,0,16,16,16,18,3,8,8,16,18,8,8,8,8,18,18,18,18,18,16,16,16,3,18,18,18,10,10,10,10,5,5,11,11,11,11,11,11,5,11,10,11,11,11,11,11,11,11,10,10,11,11,10,5,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,10,10,10,10,11,11,11,11,10,5,5,11,10,10,10,5,11,11,11,11,11,10,10,11,11,5,10,10,11,11,10,11,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,3,8,16,8,16,3,3,3,3,16,3,3,11,11,11,11,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,10,11,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,13,4,8,3,13,8,10,11,10,11,10,11,10,10,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,13,3,13,13,13,3,13,4,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,3,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,3,13,13,4,4,8,13,8,3,13,8,16,13,3,3,13,4,4,3,13,13,8,16,3,13,13,13,13,13,13,13,13,3,3,13,3,13,13,3,13,13,13,3,13,13,3,3,13,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,10,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,8,3,4,3,3,3,13,3,3,3,13,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,3,3,3,3,3,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,3,3,12,11,11,11,11,11,11,11,11,5,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,11,11,11,11,11,11,11,11,5,11,11,3,3,3,3,8,16,8,8,8,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11,10,11,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,11,10,11],"n":["arithmetic","circuit","dev","plonk","poly","transcript","AffineExt","Base","Base","CURVE_ID","Coordinates","CurveAffine","CurveExt","CurveExt","DELTA","Field","Field","FieldExt","Group","MODULUS","RESCUE_ALPHA","RESCUE_INVALPHA","ROOT_OF_UNITY","ROOT_OF_UNITY_INV","Scalar","ScalarExt","ScalarExt","SqrtTables","TWO_INV","T_MINUS1_OVER2","ZETA","a","a","b","b","best_fft","best_multiexp","borrow","borrow","borrow_mut","borrow_mut","clone","clone_into","compute_inner_product","conditional_select","coordinates","cube","cube","default","deref","deref","deref_mut","deref_mut","double","double","drop","drop","endo","eval_polynomial","fmt","fmt","from","from","from_bytes","from_bytes_wide","from_u128","from_u64","from_xy","get_lower_128","get_lower_32","group_add","group_scale","group_sub","group_zero","hash_to_curve","init","init","into","into","invert","invert","is_on_curve","is_on_curve","is_zero","is_zero","is_zero_vartime","is_zero_vartime","jacobian_coordinates","kate_division","lagrange_interpolate","new","new_jacobian","one","one","parallelize","pow","pow_by_t_minus1_over2","pow_vartime","pow_vartime","rand","random","random","read","read","small_multiexp","sqrt","sqrt","sqrt_alt","sqrt_alt","sqrt_ratio","sqrt_ratio","square","square","to_bytes","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","u","v","vzip","vzip","write","write","x","y","zero","zero","Cell","Chip","Config","Layouter","Loaded","NamespacedLayouter","Region","RegionIndex","RegionStart","Root","SimpleFloorPlanner","Table","assign_advice","assign_advice_from_constant","assign_advice_from_instance","assign_cell","assign_fixed","assign_region","assign_region","assign_table","assign_table","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone_into","clone_into","clone_into","config","constrain_constant","constrain_equal","constrain_instance","constrain_instance","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","drop","drop","drop","eq","floor_planner","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","get_root","get_root","init","init","init","init","init","init","init","into","into","into","into","into","into","into","layouter","loaded","namespace","ne","pop_namespace","pop_namespace","push_namespace","push_namespace","synthesize","to_owned","to_owned","to_owned","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","type_id","type_id","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","vzip","vzip","V1","V1Pass","assign_region","assign_table","borrow","borrow","borrow_mut","borrow_mut","constrain_instance","deref","deref","deref_mut","deref_mut","drop","drop","fmt","fmt","from","from","get_root","init","init","into","into","pop_namespace","push_namespace","synthesize","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","Column","RegionColumn","RegionLayouter","RegionShape","Selector","TableLayouter","assign_advice","assign_advice","assign_advice_from_constant","assign_advice_from_constant","assign_advice_from_instance","assign_advice_from_instance","assign_cell","assign_fixed","assign_fixed","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","cmp","columns","constrain_constant","constrain_constant","constrain_equal","constrain_equal","deref","deref","deref_mut","deref_mut","drop","drop","enable_selector","enable_selector","eq","fmt","fmt","from","from","from","from","hash","init","init","into","into","ne","new","partial_cmp","region_index","row_count","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","0","0","Cell","CircuitGates","ConstraintNotSatisfied","ConstraintPoisoned","Lookup","MockProver","Permutation","VerifyFailure","assign_advice","assign_fixed","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","collect","copy","cost","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","enable_selector","enter_region","eq","exit_region","fill_from_row","fmt","fmt","fmt","fmt","fmt","from","from","from","init","init","init","into","into","into","metadata","ne","pop_namespace","push_namespace","queries_to_csv","query_instance","run","to_string","to_string","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","verify","vzip","vzip","vzip","cell_values","column","column","constraint","constraint","gate","lookup_index","offset","region","row","row","row","CircuitCost","MarginalProofSize","ProofSize","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","init","init","init","into","into","into","marginal_proof_size","measure","proof_size","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Column","Constraint","Gate","Region","VirtualCell","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cmp","cmp","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","eq","eq","eq","eq","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","from","init","init","init","init","init","into","into","into","into","into","ne","ne","ne","ne","ne","partial_cmp","partial_cmp","to_string","to_string","to_string","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","Advice","Advice","Advice","Any","Assigned","Assignment","BoundsFailure","Circuit","Column","ColumnNotInPermutation","ColumnType","Config","Constant","Constraint","ConstraintSystem","ConstraintSystemFailure","Error","Expression","Fixed","Fixed","Fixed","FloorPlanner","FloorPlanner","Instance","Instance","Instance","InstanceTooLarge","InvalidInstances","Negated","NotEnoughColumnsForConstants","NotEnoughRowsAvailable","Opening","PinnedConstraintSystem","PinnedVerificationKey","Product","ProvingKey","Rational","Scaled","Selector","Selector","Sum","Synthesis","TableColumn","Transcript","Trivial","VerifyingKey","VirtualCells","Zero","add","add","add","advice_column","assign_advice","assign_fixed","blinding_factors","borrow","borrow","borrow","borrow","borrow","borrow","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","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","cmp","cmp","complex_selector","configure","copy","create_gate","create_proof","default","degree","degree","denominator","deref","deref","deref","deref","deref","deref","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","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable_constant","enable_equality","enable_selector","enter_region","eq","eq","eq","eq","eq","eq","eq","evaluate","evaluate","exit_region","fill_from_row","fixed_column","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","get_domain","get_vk","hash","hash","hash","hash","hash","hash","hash","hash_into","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","init","instance_column","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","invert","is_simple","keygen_pk","keygen_vk","lookup","lookup_table_column","minimum_rows","mul","mul","mul","mul","ne","ne","ne","neg","neg","numerator","partial_cmp","partial_cmp","pinned","pinned","pop_namespace","push_namespace","query_advice","query_any","query_fixed","query_instance","query_instance","query_selector","read","selector","set_minimum_degree","source","square","sub","sub","sub","synthesize","synthesize","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_string","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","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","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","type_id","type_id","type_id","type_id","type_id","type_id","verify_proof","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","without_witnesses","write","0","0","1","0","0","current_k","0","0","0","0","0","0","1","1","1","column_index","column_index","column_index","query_index","query_index","query_index","rotation","rotation","rotation","0","Basis","Coeff","Error","EvaluationDomain","ExtendedLagrangeCoeff","LagrangeCoeff","OpeningError","PinnedEvaluationDomain","Polynomial","Rotation","SamplingError","add","add_extended","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","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","coeff_from_vec","coeff_to_extended","commitment","constant_extended","constant_lagrange","cur","default","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","divide_by_vanishing_poly","drop","drop","drop","drop","drop","drop","drop","drop","empty_coeff","empty_extended","empty_lagrange","eq","extended_len","extended_to_coeff","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","from","from","from","get_extended_omega","get_omega","get_omega_inv","get_quotient_poly_degree","index","index","index","index_mut","index_mut","index_mut","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","iter","iter_mut","l_i_range","lagrange_from_vec","lagrange_to_coeff","mul","mul","mul_extended","multiopen","ne","neg","new","next","num_coeffs","one_minus","pinned","prev","rotate","rotate_extended","rotate_omega","sub","sub_extended","to_owned","to_owned","to_owned","to_owned","to_owned","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","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","0","Accumulator","Blind","Guard","MSM","Params","add","add_assign","add_assign","add_constant_term","add_msm","add_to_g_scalars","add_to_h_scalar","add_to_u_scalar","append_term","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","challenges_packed","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","commit","commit_lagrange","compute_g","create_proof","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","empty_msm","eq","eval","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","g","get_g","init","init","init","init","init","into","into","into","into","into","mul","mul_assign","mul_assign","ne","new","new","read","scale","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","use_challenges","use_g","verify_proof","vzip","vzip","vzip","vzip","vzip","write","ProverQuery","VerifierQuery","blind","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","create_proof","deref","deref","deref_mut","deref_mut","drop","drop","fmt","fmt","from","from","init","init","into","into","new_commitment","new_msm","point","poly","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","verify_proof","vzip","vzip","Blake2bRead","Blake2bWrite","Challenge255","ChallengeScalar","EncodedChallenge","Input","Transcript","TranscriptRead","TranscriptWrite","as_challenge_scalar","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","common_point","common_point","common_point","common_scalar","common_scalar","common_scalar","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","finalize","fmt","fmt","fmt","fmt","from","from","from","from","get_scalar","get_scalar","init","init","init","init","init","init","into","into","into","into","new","new","read_point","read_point","read_scalar","read_scalar","squeeze_challenge","squeeze_challenge","squeeze_challenge","squeeze_challenge_scalar","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","vzip","vzip","vzip","vzip","write_point","write_point","write_scalar","write_scalar"],"q":["halo2","","","","","","halo2::arithmetic","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::floor_planner","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::layouter","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::circuit::layouter::RegionColumn","","halo2::dev","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::dev::VerifyFailure","","","","","","","","","","","","halo2::dev::cost","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::dev::metadata","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::plonk","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::plonk::Assigned","","","halo2::plonk::Error","","","halo2::plonk::Expression","","","","","","","","","","","","","","","","","","halo2::poly","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::poly::commitment","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::poly::multiopen","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","halo2::transcript","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"d":["This module provides common utilities, traits and …","Traits and structs for implementing circuit components.","Tools for developing circuits.","This module provides an implementation of a variant of …","Contains utilities for performing arithmetic over …","This module contains utilities and traits for dealing with …","The affine version of the curve","The base field over which this elliptic curve is …","The base field over which this elliptic curve is …","CURVE_ID used for hash-to-curve.","The affine coordinates of a point on an elliptic curve.","This trait is the affine counterpart to Curve and is used …","This trait is a common interface for dealing with elements …","The projective form of the curve","Generator of the $t-order$ multiplicative subgroup","This trait represents an element of a field.","This trait represents an element of a field.","This trait is a common interface for dealing with elements …","This represents an element of a group with basic …","Modulus of the field written as a string for display …","Ideally the smallest prime $\\\\alpha$ such that gcd($p - 1$, …","$RESCUE_INVALPHA \\\\cdot RESCUE_ALPHA = 1 \\\\mod p - 1$ such …","Generator of the $2^S$ multiplicative subgroup","Inverse of ROOT_OF_UNITY","The group is assumed to be of prime order $p$. Scalar is …","The scalar field of this elliptic curve.","The scalar field of this elliptic curve.","Tables used for square root computation.","Inverse of $2$ in the field.","The value $(T-1)/2$ such that $2^S \\\\cdot T = p - 1$ with …","Element of multiplicative order $3$.","Returns the curve constant a.","Returns the curve constant $a$.","Returns the curve constant b.","Returns the curve constant $b$.","Performs a radix-$2$ Fast-Fourier Transformation (FFT) on …","Performs a multi-exponentiation operation.","","","","","","","This computes the inner product of two vectors a and b.","","Gets the coordinates of this point.","Cubes this element.","Cubes this element.","","","","","","Doubles this element.","Doubles this element.","","","Apply the curve endomorphism by multiplying the …","This evaluates a provided polynomial (in coefficient form) …","","","","","Attempts to obtain a field element from its normalized, …","Obtains a field element that is congruent to the provided …","Obtains a field element congruent to the integer v.","Obtains a field element congruent to the integer v.","Obtains a point given $(x, y)$, failing if it is not on the","Gets the lower 128 bits of this field element when …","Gets the lower 32 bits of this field element when expressed","Adds rhs to this group element.","Scales this group element by a scalar.","Subtracts rhs from this group element.","Returns the additive identity of the group.","Requests a hasher that accepts messages and returns …","","","","","Computes the multiplicative inverse of this element, …","Computes the multiplicative inverse of this element, …","Returns whether or not this element is on the curve; should","Returns whether or not this element is on the curve; should","Returns true iff this element is zero.","Returns true iff this element is zero.","Returns true iff this element is zero.","Returns true iff this element is zero.","Return the Jacobian coordinates of this point.","Divides polynomial a in X by X - b with no remainder.","Returns coefficients of an n - 1 degree polynomial given a …","Build tables given parameters for the perfect hash.","Obtains a point given Jacobian coordinates $X : Y : Z$, …","Returns the one element of the field, the multiplicative …","Returns the one element of the field, the multiplicative …","This simple utility function will parallelize an operation …","Exponentiates self by by, where by is a little-endian order","Raise this field element to the power T_MINUS1_OVER2. …","Exponentiates self by exp, where exp is a little-endian …","Exponentiates self by exp, where exp is a little-endian …","This computes a random element of the field using system …","Returns an element chosen uniformly at random using a …","Returns an element chosen uniformly at random using a …","Reads a compressed element from the buffer and attempts to …","Reads a normalized, little endian represented field …","Performs a small multi-exponentiation operation. Uses the …","Returns the square root of the field element, if it is …","Returns the square root of the field element, if it is …","Equivalent to sqrt_ratio(self, one()).","Same as sqrt_ratio(u, one()) but more efficient.","Computes:","Computes:","Squares this element.","Squares this element.","Converts this field element to its normalized, little …","","","","","","","","Returns the u-coordinate.","Returns the v-coordinate.","","","Writes an element in compressed form to the buffer.","Writes this element in its normalized, little endian form …","Returns the x-coordinate.","Returns the y-coordinate.","Returns the zero element of the field, the additive …","Returns the zero element of the field, the additive …","A pointer to a cell within a circuit.","A chip implements a set of instructions that can be used …","A type that holds the configuration for this chip, and any …","A layout strategy within a circuit. The layouter is …","A type that holds any general chip state that needs to be …","This is a “namespaced” layouter which borrows a …","A region of the circuit in which a Chip can assign cells.","Index of a region in a layouter","Starting row of a region in a layouter","Represents the type of the “root” of this layouter, so …","A simple FloorPlanner that performs minimal optimizations.","A lookup table in the circuit.","Assign an advice column value (witness).","Assigns a constant value to the column advice at offset …","Assign the value of the instance column’s cell at …","Assigns a fixed value to a table cell.","Assign a fixed value.","Assign a region of gates to an absolute row number.","","Assign a table region to an absolute row number.","","","","","","","","","","","","","","","","","","","","","","The chip holds its own configuration.","Constrains a cell to have a constant value.","Constrains two cells to have the same value.","Constrains a Cell to equal an instance column’s row …","","","","","","","","","","","","","","","","","","","","","","","","","","","Implementations of common circuit floor planners.","","","","","","","","","","","","","","","","","","","Gets the “root” of this assignment, bypassing the …","","","","","","","","","","","","","","","","Implementations of common circuit layouters.","Provides access to general chip state loaded at the …","Enters into a namespace.","","Exits out of the existing namespace.","","Creates a new (sub)namespace and enters into it.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","The version 1 FloorPlanner provided by halo2.","A single pass of the V1 layouter.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Concrete column","The virtual column involved in a region. This includes …","Helper trait for implementing a custom Layouter.","The shape of a region. For a region at a certain index, we …","Virtual column representing a (boolean) selector","Helper trait for implementing a custom Layouter.","Assign an advice column value (witness)","","Assigns a constant value to the column advice at offset …","","Assign the value of the instance column’s cell at …","","Assigns a fixed value to a table cell.","Assign a fixed value","","","","","","","","","","","Get a reference to the set of columns used in a RegionShape…","Constrains a cell to have a constant value.","","Constraint two cells to have the same value.","","","","","","","","Enables a selector at the given offset.","","","","","","","","","","","","","","","Create a new RegionShape for a region at region_index.","","Get the region_index of a RegionShape.","Get the row_count of a RegionShape.","","","","","","","","","","","","","A cell used in an active gate was not assigned to.","A struct for collecting and displaying the gates within a …","A constraint was not satisfied for a particular row.","A constraint was active on an unusable row, and is likely …","A lookup input did not exist in its corresponding table.","A test prover for debugging circuits.","A permutation did not preserve the original value of a …","The reasons why a particular circuit is not satisfied.","","","","","","","","","Collects the gates from within the circuit.","","Developer tools for investigating the cost of a circuit.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Metadata about circuits.","","","","Prints the queries in this circuit to a CSV grid.","","Runs a synthetic keygen-and-prove operation on the given …","","","","","","","","","","","","Returns Ok(()) if this MockProver is satisfied, or a list …","","","","The values of the virtual cells used by this constraint.","The column in which this cell should be assigned.","The column in which this permutation is not satisfied.","The polynomial constraint that is not satisfied.","The polynomial constraint that is not satisfied.","The index of the active gate.","The index of the lookup that is not satisfied. These …","The offset (relative to the start of the region) at which …","The region in which this cell should be assigned.","The row on which this constraint is not satisfied.","The row on which this lookup is not satisfied.","The row on which this permutation is not satisfied.","Measures a circuit to determine its costs, and explain …","The marginal size of a Halo 2 proof, broken down into its …","The size of a Halo 2 proof, broken down into its …","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the marginal proof size per instance of this …","Measures a circuit with parameter constant k.","Returns the proof size for the given number of instances …","","","","","","","","","","","","","Metadata about a column within a circuit.","Metadata about a configured constraint within a circuit.","Metadata about a configured gate within a circuit.","Metadata about an assigned region within a circuit.","A “virtual cell” is a PLONK cell that has been queried …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","An advice column","An Advice variant","This is an advice (witness) column queried at a certain …","An enum over the Advice, Fixed, Instance structs","A value assigned to a cell within a circuit.","This trait allows a Circuit to direct some backend to …","Out of bounds index passed to a backend","This is a trait that circuits provide implementations for …","A column with an index and type","The instance sets up a copy constraint involving a column …","A column type","This is a configuration object that stores things like …","This is a constant polynomial","An individual polynomial constraint.","This is a description of the circuit environment, such as …","The constraint system is not satisfied.","This is an error that could occur during proving or …","Low-degree expression representing an identity that must …","A fixed column","A Fixed variant","This is a fixed column queried at a certain relative …","A floor planning strategy for a circuit.","The floor planner used for this circuit. This is an …","An instance column","An Instance variant","This is an instance (external) column queried at a certain …","Instance provided exceeds number of available rows","The provided instances do not match the circuit parameters.","This is a negated polynomial","Circuit synthesis requires global constants, but circuit …","k is too small for the given circuit.","Opening error","Represents the minimal parameters that determine a …","Minimal representation of a verification key that can be …","This is the product of two polynomials","This is a proving key which allows for the creation of …","A value stored as a fraction to enable batch inversion.","This is a scaled polynomial","A selector, representing a fixed boolean value per row of …","This is a virtual selector","This is the sum of two polynomials","This is an error that can occur during synthesis of the …","A fixed column of a lookup table.","Transcript error","A value that does not require inversion to evaluate.","This is a verifying key which allows for the verification …","Exposes the “virtual cells” that can be queried while …","The field element zero.","","","","Allocate a new advice column","Assign an advice column value (witness)","Assign a fixed value","Compute the number of blinding factors necessary to …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Allocate a new complex selector that can appear anywhere …","The circuit is given an opportunity to describe the exact …","Assign two cells to have the same value","Creates a new gate.","This creates a proof for the provided circuit when given …","","Compute the degree of this polynomial","Compute the degree of the constraint system (the maximum …","Returns the denominator, if non-trivial.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Enable this selector at the given offset within the given …","Enables this fixed column to be used for global constant …","Enable the ability to enforce equality over cells in this …","Enables a selector at the given row.","Creates a new region and enters into it.","","","","","","","","Evaluates this assigned value directly, performing an …","Evaluate the polynomial using the provided closures to …","Exits the current region.","Fills a fixed column starting from the given row with …","Allocate a new fixed column","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Get the underlying EvaluationDomain.","Get the underlying VerifyingKey.","","","","","","","","Hashes a verification key into a transcript.","","","","","","","","","","","","","","","","","","Allocate a new instance column","","","","","","","","","","","","","","","","","","Inverts this assigned value.","Is this selector “simple”? Simple selectors can only …","Generate a ProvingKey from a VerifyingKey and an instance …","Generate a VerifyingKey from an instance of Circuit.","Add a lookup argument for some input expressions and table …","Allocates a new fixed column that can be used in a lookup …","Returns the minimum necessary rows that need to exist in …","","","","","","","","","","Returns the numerator.","","","Obtain a pinned version of this constraint system; a …","Obtains a pinned representation of this verification key …","Exits out of the existing namespace.","Creates a new (sub)namespace and enters into it.","Query an advice column at a relative position","Query an Any column at a relative position","Query a fixed column at a relative position","Queries the cell of an instance column at a particular …","Query an instance column at a relative position","Query a selector at the current position.","Reads a verification key from a buffer.","Allocate a new (simple) selector. Simple selectors cannot …","Sets the minimum degree required by the circuit, which can …","","Square this expression.","","","","Given the provided cs, synthesize the given circuit.","Given the provided cs, synthesize the circuit. The …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns a boolean indicating whether or not the proof is …","","","","","","","","","","","","","","","","","","Returns a copy of this circuit with no witness values …","Writes a verifying key to a buffer.","","","","","","The current value of k being used.","","","","","","","","","","Column index","Column index","Column index","Query index","Query index","Query index","Rotation of this query","Rotation of this query","Rotation of this query","","The basis over which a polynomial is described.","The polynomial is defined as coefficients","This is an error that could occur during proving or …","This structure contains precomputed constants and other …","The polynomial is defined as coefficients of Lagrange …","The polynomial is defined as coefficients of Lagrange …","OpeningProof is not well-formed","Represents the minimal parameters that determine an …","Represents a univariate polynomial defined over a field …","Describes the relative rotation of a vector. Negative …","Caller needs to re-sample a point","","Add two polynomials in the extended domain, rotating the …","","","","","","","","","","","","","","","","","","","","","","","","","","","Obtains a polynomial in coefficient form when given a …","This takes us from an n-length coefficient vector into a …","This module contains an implementation of the polynomial …","Returns a constant polynomial in the extended Lagrange …","Returns a constant polynomial in the Lagrange coefficient …","The current location in the evaluation domain","","","","","","","","","","","","","","","","","","","","This divides the polynomial (in the extended domain) by …","","","","","","","","","Returns an empty (zero) polynomial in the coefficient basis","Returns an empty (zero) polynomial in the extended …","Returns an empty (zero) polynomial in the Lagrange …","","Get the size of the extended domain","This takes us from the extended evaluation domain and gets …","","","","","","","","","","","","","","","","","Get the generator of the extended domain’s …","Get $\\\\omega$, the generator of the $2^k$ order …","Get $\\\\omega^{-1}$, the inverse of the generator of the …","Gets the quotient polynomial’s degree (as a multiple of …","","","","","","","","","","","","","","","","","","","","","","","Iterate over the values, which are either in coefficient …","Iterate over the values mutably, which are either in …","Computes evaluations (at the point x, where xn = x^n) of …","Obtains a polynomial in Lagrange form when given a vector …","This takes us from an n-length vector into the coefficient …","","","Multiply two polynomials in the extended domain, rotating …","This module contains an optimisation of the polynomial …","","","This constructs a new evaluation domain object based on …","The next location in the evaluation domain","Gets the size of this polynomial in terms of the number of …","Maps every coefficient c in p to 1 - c.","Obtain a pinned version of this evaluation domain; a …","The previous location in the evaluation domain","Rotates the values in a Lagrange basis polynomial by …","Rotate the extended domain polynomial over the original …","Multiplies a value by some power of $\\\\omega$, essentially …","","Subtract a polynomial from another in the extended domain, …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","An accumulator instance consisting of an evaluation claim …","Wrapper type around a blinding factor.","A guard returned by the verifier","A multiscalar multiplication in the polynomial commitment …","These are the public parameters for the polynomial …","","","","Add a value to the first entry of g_scalars.","Add another multiexp into this one","Add a vector of scalars to g_scalars. This function will …","Add to h_scalar","Add to u_scalar","Add arbitrary term (the scalar and the point)","","","","","","","","","","","A vector of 128-bit challenges sampled by the verifier, to …","","","","","","","","","This computes a commitment to a polynomial described by …","This commits to a polynomial using its evaluations over …","Computes G + H, where G = ⟨s, params.g⟩ and H is used …","Create a polynomial commitment opening proof for the …","","","","","","","","","","","","","","","","","Generates an empty multiscalar multiplication struct using …","","Perform multiexp and check that it results in zero","","","","","","","","","","","The claimed output of the linear-time polycommit opening …","Getter for g generators","","","","","","","","","","","","","","","Create a new, empty MSM using the provided parameters.","Initializes parameters for the curve, given a random …","Reads params from a buffer.","Scale all scalars in the MSM by some scaling factor","","","","","","","","","","","","","","","","","","","","Lets caller supply the challenges and obtain an MSM with …","Lets caller supply the purported G point and simply appends","Checks to see if the proof represented within transcript …","","","","","","Writes params to a buffer.","A polynomial query at a point","A polynomial query at a point","blinding factor of polynomial","","","","","","","","","Create a multi-opening proof","","","","","","","","","","","","","","","Create a new verifier query based on a commitment","Create a new verifier query based on a linear combination …","point at which polynomial is queried","coefficients of polynomial","","","","","","","","","Verify a multi-opening proof","","","We will replace BLAKE2b with an algebraic hash function in …","We will replace BLAKE2b with an algebraic hash function in …","A 255-bit challenge.","The scalar representation of a verifier challenge.","EncodedChallenge<C> defines a challenge encoding with a …","The Input type used to derive the challenge encoding. For …","Generic transcript view (from either the prover or verifier…","Transcript view from the perspective of a verifier that …","Transcript view from the perspective of a prover that has …","Cast an encoded challenge as a typed ChallengeScalar.","","","","","","","","","","","","","","","","","Writing the point to the transcript without writing it to …","","","Writing the scalar to the transcript without writing it to …","","","","","","","","","","","","","","","","","Conclude the interaction and return the output buffer …","","","","","","","","","Get a scalar field element from an encoded challenge.","","Initialize a transcript given an input buffer.","","Initialize a transcript given an output buffer.","","","","","","","","Get an encoded challenge from a given input challenge.","","Read a curve point from the prover.","","Read a curve scalar from the prover.","","Squeeze an encoded verifier challenge from the transcript.","","","Squeeze a typed challenge (in the scalar field) from the …","","","","","","","","","","","","","","","","","","","","","Write a curve point to the proof and the transcript.","","Write a scalar to the proof and the transcript.",""],"i":[0,0,0,0,0,0,1,1,2,1,0,0,0,2,3,0,0,0,0,3,3,3,3,3,4,1,2,0,3,3,3,1,2,1,2,0,0,5,6,5,6,5,5,0,5,2,7,7,5,5,6,5,6,7,7,5,6,1,0,5,6,5,6,3,3,3,3,2,3,3,4,4,4,4,1,5,6,5,6,7,7,1,2,7,7,7,7,1,0,0,6,1,7,7,0,3,3,7,7,3,7,7,2,3,0,7,7,3,6,3,6,7,7,3,5,5,6,5,6,5,6,5,5,5,6,2,3,5,5,7,7,0,0,8,0,8,0,0,0,0,9,0,0,10,10,10,11,10,9,12,9,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,14,15,16,14,15,16,8,10,10,9,12,13,14,14,15,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,12,15,0,13,14,15,16,10,11,12,13,14,14,15,15,16,10,10,11,11,12,9,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,0,8,9,15,9,12,9,12,13,14,15,16,13,14,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,13,14,15,16,10,11,12,0,0,17,17,18,17,18,17,17,18,17,18,17,18,17,18,17,18,17,17,18,17,18,17,17,17,18,18,17,18,17,18,17,18,17,19,0,0,0,19,0,20,21,20,21,20,21,22,20,21,21,19,21,19,21,19,21,19,19,21,20,21,20,21,21,19,21,19,21,19,20,21,19,21,19,21,19,19,19,19,21,19,21,19,19,21,19,21,21,21,19,21,19,21,19,21,19,21,19,23,24,25,0,25,25,25,0,25,0,26,26,27,25,26,27,25,26,27,26,0,27,25,26,27,25,26,27,25,26,26,26,25,26,26,27,27,25,25,26,27,25,26,27,25,26,27,25,26,0,25,26,26,27,26,26,27,25,27,25,26,27,25,26,27,25,26,26,27,25,26,28,29,30,28,31,29,32,29,29,28,32,30,0,0,0,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,34,35,33,33,33,33,34,35,33,34,35,33,34,35,33,34,35,0,0,0,0,0,36,37,38,39,40,36,37,38,39,40,36,37,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,36,37,37,38,38,39,39,40,40,36,36,36,37,37,37,38,38,39,39,40,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,36,37,38,39,40,0,41,42,0,0,0,43,0,0,43,0,44,42,0,0,43,0,0,0,41,42,0,44,0,41,42,43,43,42,43,43,43,0,0,42,0,45,42,0,42,42,43,0,43,45,0,0,45,45,45,42,46,47,47,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,46,48,49,50,51,41,52,53,45,42,46,48,41,46,44,47,46,0,46,42,46,45,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,52,46,46,47,47,48,49,50,51,41,52,53,45,42,47,47,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,43,57,58,59,48,48,48,48,49,50,51,41,41,41,41,52,53,45,45,45,42,54,54,54,46,55,56,43,43,57,58,59,57,59,48,49,50,51,41,52,53,57,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,46,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,45,52,0,0,46,46,46,45,45,42,42,48,52,53,45,42,45,48,41,46,57,47,47,56,56,56,47,56,56,57,46,46,43,42,45,45,42,60,44,48,49,50,51,41,52,53,45,42,46,43,48,48,48,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,0,48,49,50,51,41,52,53,45,42,54,46,55,56,43,57,58,59,44,57,61,62,62,63,64,65,66,67,68,69,70,71,69,70,71,72,73,74,72,73,74,72,73,74,75,0,0,0,0,0,0,76,0,0,0,76,77,78,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,80,81,82,77,75,80,81,82,77,75,78,78,0,78,78,75,75,78,79,76,80,81,82,77,77,75,78,79,76,80,81,82,77,77,75,78,78,79,76,80,81,82,77,75,78,78,78,75,78,78,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,78,78,78,78,77,77,77,77,77,77,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,77,77,78,78,78,77,77,78,0,75,77,78,75,77,77,78,75,77,78,78,77,78,80,81,82,77,75,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,78,79,76,80,81,82,77,75,83,0,0,0,0,0,83,83,83,84,84,84,84,84,84,84,85,86,87,83,84,85,86,87,83,86,84,85,86,83,84,85,86,83,87,87,85,0,83,84,85,86,87,83,84,85,86,87,83,84,85,86,87,83,87,83,84,84,85,86,87,83,84,85,86,87,83,86,87,84,85,86,87,83,84,85,86,87,83,83,83,83,83,84,87,87,84,84,85,86,83,84,85,86,87,83,84,85,86,87,83,84,85,86,87,83,85,85,0,84,85,86,87,83,87,0,0,88,88,89,88,89,88,89,88,89,0,88,89,88,89,88,89,88,89,88,89,88,89,88,89,89,89,88,88,88,89,88,89,88,89,88,89,0,88,89,0,0,0,0,0,90,0,0,0,90,91,92,93,94,91,92,93,94,91,92,93,94,91,92,93,94,95,91,92,95,91,92,91,92,93,93,94,94,91,92,93,94,91,92,93,94,92,91,92,93,94,91,92,93,94,90,94,91,91,92,92,93,94,91,92,93,94,90,94,96,91,96,91,95,91,92,95,91,92,93,94,91,92,93,94,91,92,93,94,91,92,93,94,91,92,93,94,97,92,97,92],"f":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[]],[[]],[[]],[[]],[[["u32",15]]],[[]],[[]],[[]],[[]],[[]],[[],["coordinates",3]],[[]],[[],["field",8]],[[["coordinates",3],["coordinates",3],["choice",3]],["coordinates",3]],[[],["ctoption",3,[["coordinates",3]]]],[[]],[[]],[[],["coordinates",3]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[]],[[["usize",15]]],[[["usize",15]]],[[]],[[["field",8]],["field",8]],[[["formatter",3]],["result",4,[["error",3]]]],[[["formatter",3]],["result",4,[["error",3]]]],[[]],[[]],[[],["ctoption",3]],[[]],[[["u128",15]]],[[["u64",15]]],[[],["ctoption",3]],[[],["u128",15]],[[],["u32",15]],[[]],[[]],[[]],[[]],[[["str",15]],["box",3,[["fn",8],["global",3]]]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[],["ctoption",3]],[[],["ctoption",3]],[[],["choice",3]],[[],["choice",3]],[[],["choice",3]],[[],["choice",3]],[[],["bool",15]],[[],["bool",15]],[[]],[[["intoiterator",8],["field",8]],["vec",3,[["field",8]]]],[[],["vec",3,[["fieldext",8]]]],[[["u32",15],["usize",15]],["sqrttables",3]],[[],["ctoption",3]],[[]],[[]],[[["",26,[["fn",8],["send",8],["sync",8],["clone",8]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",4,[["error",3]]]],[[],["result",4,[["error",3]]]],[[]],[[],["ctoption",3]],[[],["ctoption",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[],["result",4,[["error",3]]]],[[],["result",4,[["error",3]]]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["tablecolumn",3],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["cell",3],["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["regionindex",3]],[[],["regionstart",3]],[[],["cell",3]],[[]],[[]],[[]],[[]],[[["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["usize",15]]],[[]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["regionstart",3]],["bool",15]],null,[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[["usize",15]],["regionindex",3]],[[]],[[]],[[["usize",15]],["regionstart",3]],[[]],[[]],[[["regionlayouter",8]]],[[["tablelayouter",8]]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,[[]],[[],["namespacedlayouter",3]],[[["regionstart",3]],["bool",15]],[[["option",4,[["string",3]]]]],[[["option",4,[["string",3]]]]],[[]],[[]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,null,[[],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[["cell",3],["column",3,[["instance",3]]],["usize",15]],["result",4,[["error",4]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[["option",4,[["string",3]]]]],[[]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],null,null,null,null,null,null,[[["fn",8],["column",3,[["advice",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["assigned",4]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["advice",3]]],["usize",15],["assigned",4]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["column",3,[["instance",3]]],["usize",15],["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["tablecolumn",3],["usize",15],["fnmut",8]],["result",4,[["error",4]]]],[[["fn",8],["column",3,[["fixed",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[["fn",8],["column",3,[["fixed",3]]],["usize",15],["fnmut",8]],["result",4,[["cell",3],["error",4]]]],[[]],[[]],[[]],[[]],[[],["regionshape",3]],[[],["regioncolumn",4]],[[]],[[]],[[],["ordering",4]],[[],["hashset",3]],[[["cell",3],["assigned",4]],["result",4,[["error",4]]]],[[["cell",3],["assigned",4]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["cell",3],["cell",3]],["result",4,[["error",4]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["fn",8],["selector",3],["usize",15]],["result",4,[["error",4]]]],[[["fn",8],["selector",3],["usize",15]],["result",4,[["error",4]]]],[[["regioncolumn",4]],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[["selector",3]],["regioncolumn",4]],[[["column",3,[["any",4]]]],["regioncolumn",4]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[["regioncolumn",4]],["bool",15]],[[["regionindex",3]]],[[],["option",4,[["ordering",4]]]],[[],["regionindex",3]],[[],["usize",15]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["column",3,[["any",4]]],["usize",15],["column",3,[["any",4]]],["usize",15]],["result",4,[["error",4]]]],null,[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["selector",3],["usize",15]],["result",4,[["error",4]]]],[[]],[[["verifyfailure",4]],["bool",15]],[[]],[[["column",3,[["fixed",3]]],["usize",15],["option",4,[["assigned",4]]]],["result",4,[["error",4]]]],[[["formatter",3]],["result",4,[["error",3]]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],null,[[["verifyfailure",4]],["bool",15]],[[["option",4,[["string",3]]]]],[[]],[[],["string",3]],[[["column",3,[["instance",3]]],["usize",15]],["result",4,[["option",4],["error",4]]]],[[["u32",15],["vec",3,[["vec",3]]]],["result",4,[["error",4]]]],[[],["string",3]],[[],["string",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["result",4,[["vec",3,[["verifyfailure",4]]]]]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[]],[[]],[[]],[[]],[[]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[],["marginalproofsize",3]],[[["usize",15]]],[[["usize",15]],["proofsize",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],null,null,null,null,null,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["column",3]],["ordering",4]],[[["virtualcell",3]],["ordering",4]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["column",3]],["bool",15]],[[["virtualcell",3]],["bool",15]],[[["gate",3]],["bool",15]],[[["constraint",3]],["bool",15]],[[["region",3]],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[["column",3,[["any",4]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[["column",3]],["bool",15]],[[["virtualcell",3]],["bool",15]],[[["gate",3]],["bool",15]],[[["constraint",3]],["bool",15]],[[["region",3]],["bool",15]],[[["column",3]],["option",4,[["ordering",4]]]],[[["virtualcell",3]],["option",4,[["ordering",4]]]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["string",3]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[],["assigned",4]],[[["assigned",4]],["assigned",4]],[[["expression",4]],["expression",4]],[[],["column",3,[["advice",3]]]],[[["column",3,[["advice",3]]],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]],["usize",15]],["result",4,[["error",4]]]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["column",3]],[[],["advice",3]],[[],["fixed",3]],[[],["instance",3]],[[],["any",4]],[[],["selector",3]],[[],["tablecolumn",3]],[[],["assigned",4]],[[],["expression",4]],[[],["constraintsystem",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["ordering",4]],[[],["ordering",4]],[[],["selector",3]],[[["constraintsystem",3]]],[[["column",3,[["any",4]]],["usize",15],["column",3,[["any",4]]],["usize",15]],["result",4,[["error",4]]]],[[["str",15]]],[[["params",3],["provingkey",3]],["result",4,[["error",4]]]],[[],["constraintsystem",3]],[[],["usize",15]],[[],["usize",15]],[[],["option",4]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["region",3],["usize",15]],["result",4,[["error",4]]]],[[["column",3,[["fixed",3]]]]],[[["column",3,[["any",4]]]]],[[["selector",3],["usize",15]],["result",4,[["error",4]]]],[[]],[[["column",3]],["bool",15]],[[["advice",3]],["bool",15]],[[["fixed",3]],["bool",15]],[[["instance",3]],["bool",15]],[[["any",4]],["bool",15]],[[["selector",3]],["bool",15]],[[["tablecolumn",3]],["bool",15]],[[]],[[]],[[]],[[["column",3,[["fixed",3]]],["usize",15],["option",4,[["assigned",4]]]],["result",4,[["error",4]]]],[[],["column",3,[["fixed",3]]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[["column",3,[["instance",3]]]],["column",3,[["any",4]]]],[[["column",3,[["fixed",3]]]],["column",3,[["any",4]]]],[[["column",3,[["advice",3]]]],["column",3,[["any",4]]]],[[]],[[]],[[]],[[]],[[["advice",3]],["any",4]],[[["fixed",3]],["any",4]],[[["instance",3]],["any",4]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["expression",4]]],[[]],[[]],[[]],[[]],[[["error",3]]],[[]],[[]],[[]],[[]],[[],["evaluationdomain",3]],[[],["verifyingkey",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["column",3,[["instance",3]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["bool",15]],[[["params",3],["verifyingkey",3]],["result",4,[["provingkey",3],["error",4]]]],[[["params",3]],["result",4,[["verifyingkey",3],["error",4]]]],[[],["usize",15]],[[],["tablecolumn",3]],[[],["usize",15]],[[["assigned",4]],["assigned",4]],[[],["assigned",4]],[[["expression",4]],["expression",4]],[[],["expression",4]],[[["column",3]],["bool",15]],[[["selector",3]],["bool",15]],[[["tablecolumn",3]],["bool",15]],[[]],[[]],[[]],[[],["option",4,[["ordering",4]]]],[[],["option",4,[["ordering",4]]]],[[],["pinnedconstraintsystem",3]],[[],["pinnedverificationkey",3]],[[["option",4,[["string",3]]]]],[[]],[[["column",3,[["advice",3]]],["rotation",3]],["expression",4]],[[["column",3,[["any",4]]],["rotation",3]],["expression",4]],[[["column",3,[["fixed",3]]],["rotation",3]],["expression",4]],[[["column",3,[["instance",3]]],["usize",15]],["result",4,[["option",4],["error",4]]]],[[["column",3,[["instance",3]]],["rotation",3]],["expression",4]],[[["selector",3]],["expression",4]],[[["params",3]],["result",6]],[[],["selector",3]],[[["usize",15]]],[[],["option",4,[["error",8]]]],[[]],[[],["assigned",4]],[[["assigned",4]],["assigned",4]],[[["expression",4]],["expression",4]],[[["vec",3,[["column",3,[["fixed",3]]]]]],["result",4,[["error",4]]]],[[],["result",4,[["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["string",3]],[[["column",3,[["any",4]]]],["result",4]],[[["column",3,[["any",4]]]],["result",4]],[[],["result",4]],[[["column",3,[["any",4]]]],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[["params",3],["verifyingkey",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,[[["polynomial",3]],["polynomial",3]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["coeff",3]],[[],["lagrangecoeff",3]],[[],["extendedlagrangecoeff",3]],[[],["polynomial",3]],[[],["rotation",3]],[[]],[[]],[[]],[[]],[[]],[[["vec",3]],["polynomial",3,[["coeff",3]]]],[[["polynomial",3,[["coeff",3]]]],["polynomial",3,[["extendedlagrangecoeff",3]]]],null,[[],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[],["polynomial",3,[["lagrangecoeff",3]]]],[[],["rotation",3]],[[],["rotation",3]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[["polynomial",3,[["extendedlagrangecoeff",3]]]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[],["polynomial",3,[["coeff",3]]]],[[],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[],["polynomial",3,[["lagrangecoeff",3]]]],[[["rotation",3]],["bool",15]],[[],["usize",15]],[[["polynomial",3,[["extendedlagrangecoeff",3]]]],["vec",3]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[["rangefrom",3,[["usize",15]]]]],[[["rangefull",3]]],[[["usize",15]]],[[["usize",15]]],[[["rangefull",3]]],[[["rangefrom",3,[["usize",15]]]]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[["",26,[["intoiterator",8],["clone",8]]]],["vec",3]],[[["vec",3]],["polynomial",3,[["lagrangecoeff",3]]]],[[["polynomial",3,[["lagrangecoeff",3]]]],["polynomial",3,[["coeff",3]]]],[[],["polynomial",3]],[[["polynomial",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],null,[[["rotation",3]],["bool",15]],[[],["polynomial",3]],[[["u32",15],["u32",15]]],[[],["rotation",3]],[[],["usize",15]],[[]],[[],["pinnedevaluationdomain",3]],[[],["rotation",3]],[[["rotation",3]],["polynomial",3,[["lagrangecoeff",3]]]],[[["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[["rotation",3]]],[[["polynomial",3]],["polynomial",3]],[[["polynomial",3,[["extendedlagrangecoeff",3]]],["polynomial",3],["rotation",3]],["polynomial",3,[["extendedlagrangecoeff",3]]]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,null,null,null,null,null,[[["blind",3]]],[[["blind",3]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],null,[[],["msm",3]],[[],["guard",3]],[[],["accumulator",3]],[[],["blind",3]],[[]],[[]],[[]],[[]],[[["polynomial",3],["blind",3]]],[[["polynomial",3],["blind",3]]],[[]],[[["params",3],["polynomial",3],["blind",3]],["result",6]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[],["msm",3]],[[["blind",3]],["bool",15]],[[],["bool",15]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],null,[[],["vec",3]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[["blind",3]]],[[["blind",3]]],[[]],[[["blind",3]],["bool",15]],[[["params",3]]],[[["u32",15]]],[[],["result",6]],[[]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["msm",3]],[[]],[[["params",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],null,null,null,[[]],[[]],[[]],[[]],[[],["proverquery",3]],[[],["verifierquery",3]],[[]],[[]],[[["params",3]],["result",6]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[["msm",3]]],null,null,[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[["params",3],["msm",3,[["curveaffine",8]]]],["result",4,[["guard",3,[["curveaffine",8],["encodedchallenge",8,[["curveaffine",8]]]]],["error",4]]]],[[]],[[]],null,null,null,null,null,null,null,null,null,[[],["challengescalar",3]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["blake2bread",3]],[[],["blake2bwrite",3]],[[],["challengescalar",3]],[[],["challenge255",3]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["usize",15]]],[[]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[["usize",15]]],[[]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[["formatter",3]],["result",6]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["usize",15]],[[]],[[],["usize",15]],[[],["usize",15]],[[],["usize",15]],[[]],[[]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[]],[[],["challenge255",3]],[[],["challenge255",3]],[[],["challengescalar",3]],[[]],[[]],[[]],[[]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["result",4]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[],["typeid",3]],[[]],[[]],[[]],[[]],[[],["result",6]],[[],["result",6]],[[],["result",6]],[[],["result",6]]],"p":[[8,"CurveExt"],[8,"CurveAffine"],[8,"FieldExt"],[8,"Group"],[3,"Coordinates"],[3,"SqrtTables"],[8,"Field"],[8,"Chip"],[8,"Layouter"],[3,"Region"],[3,"Table"],[3,"NamespacedLayouter"],[3,"SimpleFloorPlanner"],[3,"RegionIndex"],[3,"RegionStart"],[3,"Cell"],[3,"V1Pass"],[3,"V1"],[4,"RegionColumn"],[8,"RegionLayouter"],[3,"RegionShape"],[8,"TableLayouter"],[13,"Column"],[13,"Selector"],[4,"VerifyFailure"],[3,"MockProver"],[3,"CircuitGates"],[13,"ConstraintNotSatisfied"],[13,"Cell"],[13,"Permutation"],[13,"ConstraintPoisoned"],[13,"Lookup"],[3,"CircuitCost"],[3,"MarginalProofSize"],[3,"ProofSize"],[3,"Column"],[3,"VirtualCell"],[3,"Gate"],[3,"Constraint"],[3,"Region"],[4,"Any"],[4,"Expression"],[4,"Error"],[8,"Circuit"],[4,"Assigned"],[3,"ConstraintSystem"],[8,"Assignment"],[3,"Column"],[3,"Advice"],[3,"Fixed"],[3,"Instance"],[3,"Selector"],[3,"TableColumn"],[3,"Constraint"],[3,"PinnedConstraintSystem"],[3,"VirtualCells"],[3,"VerifyingKey"],[3,"PinnedVerificationKey"],[3,"ProvingKey"],[8,"FloorPlanner"],[13,"Trivial"],[13,"Rational"],[13,"Transcript"],[13,"ColumnNotInPermutation"],[13,"NotEnoughRowsAvailable"],[13,"Constant"],[13,"Selector"],[13,"Negated"],[13,"Sum"],[13,"Product"],[13,"Scaled"],[13,"Fixed"],[13,"Advice"],[13,"Instance"],[3,"Rotation"],[4,"Error"],[3,"Polynomial"],[3,"EvaluationDomain"],[3,"PinnedEvaluationDomain"],[3,"Coeff"],[3,"LagrangeCoeff"],[3,"ExtendedLagrangeCoeff"],[3,"Blind"],[3,"MSM"],[3,"Guard"],[3,"Accumulator"],[3,"Params"],[3,"ProverQuery"],[3,"VerifierQuery"],[8,"EncodedChallenge"],[3,"Blake2bRead"],[3,"Blake2bWrite"],[3,"ChallengeScalar"],[3,"Challenge255"],[8,"Transcript"],[8,"TranscriptRead"],[8,"TranscriptWrite"]]}\
}');
if (window.initSearch) {window.initSearch(searchIndex)};
\ No newline at end of file
diff --git a/rustdoc/latest/settings.html b/rustdoc/latest/settings.html
index 9f645fda..da1ac5ad 100644
--- a/rustdoc/latest/settings.html
+++ b/rustdoc/latest/settings.html
@@ -1,4 +1,5 @@
-Rustdoc settings
+Rustdoc settings
+
Rustdoc settings
Theme preferencesUse system themePreferred dark themePreferred light theme
Auto-hide item contents for large items.Auto-hide item methods' documentationAuto-hide trait implementation documentationDirectly go to item in search if there is only one resultShow line numbers on code examplesDisable keyboard shortcutsarithmetic.rs - source
+arithmetic.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit.rs.html b/rustdoc/latest/src/halo2/circuit.rs.html
index 7c66370a..9bf8cc7b 100644
--- a/rustdoc/latest/src/halo2/circuit.rs.html
+++ b/rustdoc/latest/src/halo2/circuit.rs.html
@@ -1,4 +1,5 @@
-circuit.rs - source
+circuit.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit/floor_planner.rs.html b/rustdoc/latest/src/halo2/circuit/floor_planner.rs.html
index a344383c..0ce8c237 100644
--- a/rustdoc/latest/src/halo2/circuit/floor_planner.rs.html
+++ b/rustdoc/latest/src/halo2/circuit/floor_planner.rs.html
@@ -1,4 +1,5 @@
-floor_planner.rs - source
+floor_planner.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit/floor_planner/single_pass.rs.html b/rustdoc/latest/src/halo2/circuit/floor_planner/single_pass.rs.html
index 46c6f5c7..c4e97fc9 100644
--- a/rustdoc/latest/src/halo2/circuit/floor_planner/single_pass.rs.html
+++ b/rustdoc/latest/src/halo2/circuit/floor_planner/single_pass.rs.html
@@ -1,4 +1,5 @@
-single_pass.rs - source
+single_pass.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit/floor_planner/v1.rs.html b/rustdoc/latest/src/halo2/circuit/floor_planner/v1.rs.html
index 0e6c8af2..2bbe25cb 100644
--- a/rustdoc/latest/src/halo2/circuit/floor_planner/v1.rs.html
+++ b/rustdoc/latest/src/halo2/circuit/floor_planner/v1.rs.html
@@ -1,4 +1,5 @@
-v1.rs - source
+v1.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit/floor_planner/v1/strategy.rs.html b/rustdoc/latest/src/halo2/circuit/floor_planner/v1/strategy.rs.html
index 94dd1a1b..efeca387 100644
--- a/rustdoc/latest/src/halo2/circuit/floor_planner/v1/strategy.rs.html
+++ b/rustdoc/latest/src/halo2/circuit/floor_planner/v1/strategy.rs.html
@@ -1,4 +1,5 @@
-strategy.rs - source
+strategy.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/circuit/layouter.rs.html b/rustdoc/latest/src/halo2/circuit/layouter.rs.html
index 587b1eac..7105f1af 100644
--- a/rustdoc/latest/src/halo2/circuit/layouter.rs.html
+++ b/rustdoc/latest/src/halo2/circuit/layouter.rs.html
@@ -1,4 +1,5 @@
-layouter.rs - source
+layouter.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/dev.rs.html b/rustdoc/latest/src/halo2/dev.rs.html
index d73c775e..bc052474 100644
--- a/rustdoc/latest/src/halo2/dev.rs.html
+++ b/rustdoc/latest/src/halo2/dev.rs.html
@@ -1,4 +1,5 @@
-dev.rs - source
+dev.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/dev/cost.rs.html b/rustdoc/latest/src/halo2/dev/cost.rs.html
index 9a207424..01770dce 100644
--- a/rustdoc/latest/src/halo2/dev/cost.rs.html
+++ b/rustdoc/latest/src/halo2/dev/cost.rs.html
@@ -1,4 +1,5 @@
-cost.rs - source
+cost.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/dev/gates.rs.html b/rustdoc/latest/src/halo2/dev/gates.rs.html
index be00331b..16e4847e 100644
--- a/rustdoc/latest/src/halo2/dev/gates.rs.html
+++ b/rustdoc/latest/src/halo2/dev/gates.rs.html
@@ -1,4 +1,5 @@
-gates.rs - source
+gates.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/dev/metadata.rs.html b/rustdoc/latest/src/halo2/dev/metadata.rs.html
index 31756047..192a425c 100644
--- a/rustdoc/latest/src/halo2/dev/metadata.rs.html
+++ b/rustdoc/latest/src/halo2/dev/metadata.rs.html
@@ -1,4 +1,5 @@
-metadata.rs - source
+metadata.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/dev/util.rs.html b/rustdoc/latest/src/halo2/dev/util.rs.html
index fe578c90..7fb6866e 100644
--- a/rustdoc/latest/src/halo2/dev/util.rs.html
+++ b/rustdoc/latest/src/halo2/dev/util.rs.html
@@ -1,4 +1,5 @@
-util.rs - source
+util.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/helpers.rs.html b/rustdoc/latest/src/halo2/helpers.rs.html
index a14960a7..e94b701a 100644
--- a/rustdoc/latest/src/halo2/helpers.rs.html
+++ b/rustdoc/latest/src/halo2/helpers.rs.html
@@ -1,4 +1,5 @@
-helpers.rs - source
+helpers.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/lib.rs.html b/rustdoc/latest/src/halo2/lib.rs.html
index 67aff16c..8ca43cd0 100644
--- a/rustdoc/latest/src/halo2/lib.rs.html
+++ b/rustdoc/latest/src/halo2/lib.rs.html
@@ -1,4 +1,5 @@
-lib.rs - source
+lib.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/multicore.rs.html b/rustdoc/latest/src/halo2/multicore.rs.html
index b9ecf5db..bdf320e7 100644
--- a/rustdoc/latest/src/halo2/multicore.rs.html
+++ b/rustdoc/latest/src/halo2/multicore.rs.html
@@ -1,4 +1,5 @@
-multicore.rs - source
+multicore.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk.rs.html b/rustdoc/latest/src/halo2/plonk.rs.html
index 92b3274e..42f2bf82 100644
--- a/rustdoc/latest/src/halo2/plonk.rs.html
+++ b/rustdoc/latest/src/halo2/plonk.rs.html
@@ -1,4 +1,5 @@
-plonk.rs - source
+plonk.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/circuit.rs.html b/rustdoc/latest/src/halo2/plonk/circuit.rs.html
index cc8a67ea..69af8aa6 100644
--- a/rustdoc/latest/src/halo2/plonk/circuit.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/circuit.rs.html
@@ -1,4 +1,5 @@
-circuit.rs - source
+circuit.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/circuit/compress_selectors.rs.html b/rustdoc/latest/src/halo2/plonk/circuit/compress_selectors.rs.html
index a028b9f9..d729a147 100644
--- a/rustdoc/latest/src/halo2/plonk/circuit/compress_selectors.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/circuit/compress_selectors.rs.html
@@ -1,4 +1,5 @@
-compress_selectors.rs - source
+compress_selectors.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/error.rs.html b/rustdoc/latest/src/halo2/plonk/error.rs.html
index 3803866c..270d4308 100644
--- a/rustdoc/latest/src/halo2/plonk/error.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/error.rs.html
@@ -1,4 +1,5 @@
-error.rs - source
+error.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/keygen.rs.html b/rustdoc/latest/src/halo2/plonk/keygen.rs.html
index 350f5882..2a0dd286 100644
--- a/rustdoc/latest/src/halo2/plonk/keygen.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/keygen.rs.html
@@ -1,4 +1,5 @@
-keygen.rs - source
+keygen.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/lookup.rs.html b/rustdoc/latest/src/halo2/plonk/lookup.rs.html
index dee60cce..7265d005 100644
--- a/rustdoc/latest/src/halo2/plonk/lookup.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/lookup.rs.html
@@ -1,4 +1,5 @@
-lookup.rs - source
+lookup.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/lookup/prover.rs.html b/rustdoc/latest/src/halo2/plonk/lookup/prover.rs.html
index 71a83d5a..5ec71cd1 100644
--- a/rustdoc/latest/src/halo2/plonk/lookup/prover.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/lookup/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/lookup/verifier.rs.html b/rustdoc/latest/src/halo2/plonk/lookup/verifier.rs.html
index 8bd9cc3d..9ecc3bc0 100644
--- a/rustdoc/latest/src/halo2/plonk/lookup/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/lookup/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/permutation.rs.html b/rustdoc/latest/src/halo2/plonk/permutation.rs.html
index d43f2183..843d7abe 100644
--- a/rustdoc/latest/src/halo2/plonk/permutation.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/permutation.rs.html
@@ -1,4 +1,5 @@
-permutation.rs - source
+permutation.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/permutation/keygen.rs.html b/rustdoc/latest/src/halo2/plonk/permutation/keygen.rs.html
index ad13df28..0ec9b39b 100644
--- a/rustdoc/latest/src/halo2/plonk/permutation/keygen.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/permutation/keygen.rs.html
@@ -1,4 +1,5 @@
-keygen.rs - source
+keygen.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/permutation/prover.rs.html b/rustdoc/latest/src/halo2/plonk/permutation/prover.rs.html
index 720ce0c1..82aae783 100644
--- a/rustdoc/latest/src/halo2/plonk/permutation/prover.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/permutation/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/permutation/verifier.rs.html b/rustdoc/latest/src/halo2/plonk/permutation/verifier.rs.html
index dfd7ccae..6bd4a654 100644
--- a/rustdoc/latest/src/halo2/plonk/permutation/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/permutation/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/prover.rs.html b/rustdoc/latest/src/halo2/plonk/prover.rs.html
index 484d1a2a..aa9e8d65 100644
--- a/rustdoc/latest/src/halo2/plonk/prover.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/vanishing.rs.html b/rustdoc/latest/src/halo2/plonk/vanishing.rs.html
index 270a3bec..444a29d3 100644
--- a/rustdoc/latest/src/halo2/plonk/vanishing.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/vanishing.rs.html
@@ -1,4 +1,5 @@
-vanishing.rs - source
+vanishing.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/vanishing/prover.rs.html b/rustdoc/latest/src/halo2/plonk/vanishing/prover.rs.html
index 3abacb57..c8f77734 100644
--- a/rustdoc/latest/src/halo2/plonk/vanishing/prover.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/vanishing/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/vanishing/verifier.rs.html b/rustdoc/latest/src/halo2/plonk/vanishing/verifier.rs.html
index 27b801b7..46e8dd0d 100644
--- a/rustdoc/latest/src/halo2/plonk/vanishing/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/vanishing/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/plonk/verifier.rs.html b/rustdoc/latest/src/halo2/plonk/verifier.rs.html
index cc099ab3..6b48ea7b 100644
--- a/rustdoc/latest/src/halo2/plonk/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/plonk/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly.rs.html b/rustdoc/latest/src/halo2/poly.rs.html
index 297a57bf..d88412be 100644
--- a/rustdoc/latest/src/halo2/poly.rs.html
+++ b/rustdoc/latest/src/halo2/poly.rs.html
@@ -1,4 +1,5 @@
-poly.rs - source
+poly.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/commitment.rs.html b/rustdoc/latest/src/halo2/poly/commitment.rs.html
index 355a5dfb..eb8be00f 100644
--- a/rustdoc/latest/src/halo2/poly/commitment.rs.html
+++ b/rustdoc/latest/src/halo2/poly/commitment.rs.html
@@ -1,4 +1,5 @@
-commitment.rs - source
+commitment.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/commitment/msm.rs.html b/rustdoc/latest/src/halo2/poly/commitment/msm.rs.html
index 3e92f67f..68665c1b 100644
--- a/rustdoc/latest/src/halo2/poly/commitment/msm.rs.html
+++ b/rustdoc/latest/src/halo2/poly/commitment/msm.rs.html
@@ -1,4 +1,5 @@
-msm.rs - source
+msm.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/commitment/prover.rs.html b/rustdoc/latest/src/halo2/poly/commitment/prover.rs.html
index 21edae2a..eb31a96d 100644
--- a/rustdoc/latest/src/halo2/poly/commitment/prover.rs.html
+++ b/rustdoc/latest/src/halo2/poly/commitment/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/commitment/verifier.rs.html b/rustdoc/latest/src/halo2/poly/commitment/verifier.rs.html
index 9909f03d..8659d4b4 100644
--- a/rustdoc/latest/src/halo2/poly/commitment/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/poly/commitment/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/domain.rs.html b/rustdoc/latest/src/halo2/poly/domain.rs.html
index 37c81e9b..9549e87d 100644
--- a/rustdoc/latest/src/halo2/poly/domain.rs.html
+++ b/rustdoc/latest/src/halo2/poly/domain.rs.html
@@ -1,4 +1,5 @@
-domain.rs - source
+domain.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/multiopen.rs.html b/rustdoc/latest/src/halo2/poly/multiopen.rs.html
index c1f87683..119523b1 100644
--- a/rustdoc/latest/src/halo2/poly/multiopen.rs.html
+++ b/rustdoc/latest/src/halo2/poly/multiopen.rs.html
@@ -1,4 +1,5 @@
-multiopen.rs - source
+multiopen.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/multiopen/prover.rs.html b/rustdoc/latest/src/halo2/poly/multiopen/prover.rs.html
index 4beed9e5..6866a6d8 100644
--- a/rustdoc/latest/src/halo2/poly/multiopen/prover.rs.html
+++ b/rustdoc/latest/src/halo2/poly/multiopen/prover.rs.html
@@ -1,4 +1,5 @@
-prover.rs - source
+prover.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/poly/multiopen/verifier.rs.html b/rustdoc/latest/src/halo2/poly/multiopen/verifier.rs.html
index aac942d3..c49a21b5 100644
--- a/rustdoc/latest/src/halo2/poly/multiopen/verifier.rs.html
+++ b/rustdoc/latest/src/halo2/poly/multiopen/verifier.rs.html
@@ -1,4 +1,5 @@
-verifier.rs - source
+verifier.rs - source
+
\ No newline at end of file
diff --git a/rustdoc/latest/src/halo2/transcript.rs.html b/rustdoc/latest/src/halo2/transcript.rs.html
index 5d13b5df..d4e5b36d 100644
--- a/rustdoc/latest/src/halo2/transcript.rs.html
+++ b/rustdoc/latest/src/halo2/transcript.rs.html
@@ -1,4 +1,5 @@
-transcript.rs - source
+transcript.rs - source
+
\ No newline at end of file