diff --git a/halo2_backend/arithmetic/trait.CurveAffine.html b/halo2_backend/arithmetic/trait.CurveAffine.html
index 98f636408..bc81d656e 100644
--- a/halo2_backend/arithmetic/trait.CurveAffine.html
+++ b/halo2_backend/arithmetic/trait.CurveAffine.html
@@ -42,19 +42,19 @@
§This operation is variable time with respect to self
, for all exponent. If
the exponent is fixed, this operation is effectively constant time. However, for
stronger constant-time guarantees, Field::pow
should be used.
-
Computes the multiplicative inverse of this element,
-failing if the element is zero.
-
Computes the square root of this element, if it exists.
-
Returns the multiplicative inverse of the
+
Computes the square root of this element, if it exists.
+
Returns the multiplicative inverse of the
element. If it is zero, the method fails.
-
Computes the square root of this element, if it exists.
-
Returns the multiplicative inverse of the
+
Computes the square root of this element, if it exists.
+
Returns the multiplicative inverse of the
element. If it is zero, the method fails.
-
Computes the square root of this element, if it exists.
+
Computes the multiplicative inverse of this element,
+failing if the element is zero.
+
Computes the square root of this element, if it exists.
Computes the multiplicative inverse of this element,
failing if the element is zero.
Computes the multiplicative inverse of this element,
-failing if the element is zero.
-
Returns the multiplicative inverse of the
+ S: AsRef<[u64]>,
Computes the square root of this element, if it exists.
+
Returns the multiplicative inverse of the
element. If it is zero, the method fails.
-
Computes the square root of this element, if it exists.
-
Returns the multiplicative inverse of the
+
Returns the multiplicative inverse of the
element. If it is zero, the method fails.
-
Returns the multiplicative inverse of the
+
Returns the multiplicative inverse of the
element. If it is zero, the method fails.
-
Computes the square root of this element, if it exists.
+
Computes the multiplicative inverse of this element,
+failing if the element is zero.
+
Computes the square root of this element, if it exists.
Computes the multiplicative inverse of this element,
failing if the element is zero.
Finalizes the batch and checks its validity.
Returns false
if some proof was invalid. If the caller needs to identify
specific failing proofs, it must re-process the proofs separately.
-
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
Obtains an MSM from the verifier strategy and yields back the strategy’s
output.
Unfinalized verification result. This is returned in verification
-to allow developer to compress or combine verification results
Accumulator for compressed verification
Query instance or not
Creates new verifier instance
Accumulator for compressed verification
Query instance or not
Creates new verifier instance
Define accumulator type as DualMSM
-
Multi scalar engine which is not evaluated yet.
Create a multi-opening proof
-
Create a multi-opening proof
-
Query instance or not
Creates new prover instance
Query instance or not
Creates new prover instance
Create a multi-opening proof
-
Create a multi-opening proof
-
Query instance or not
Creates new prover instance
Query instance or not
Creates new prover instance
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
Obtains an MSM from the verifier strategy and yields back the strategy’s
-output.
Finalizes the batch and checks its validity.
Read more
Finalizes the batch and checks its validity.
Read more
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
The output type of this verification strategy after processing a proof.
Creates new verification strategy instance
Obtains an MSM from the verifier strategy and yields back the strategy’s
-output.
Finalizes the batch and checks its validity.
Read more
Finalizes the batch and checks its validity.
Read more
Unfinalized verification result. This is returned in verification
-to allow developer to compress or combine verification results
Accumulator for compressed verification
Query instance or not
Creates new verifier instance
Unfinalized verification result. This is returned in verification
+to allow developer to compress or combine verification results
Accumulator for compressed verification
Query instance or not
Creates new verifier instance
Verify a multi-opening proof
-
Unfinalized verification result. This is returned in verification
-to allow developer to compress or combine verification results
Accumulator for compressed verification
Query instance or not
Creates new verifier instance
The resulting type after applying the +
operator.
Performs copy-assignment from
source
.
Read more
Formats the value using the given formatter.
Read more
The resulting type after dereferencing.
Dereferences the value.
Mutably dereferences the value.
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
The resulting type after applying the *
operator.
The resulting type after applying the -
operator.
The resulting type after applying the -
operator.
The resulting type after applying the +
operator.
Performs copy-assignment from
source
.
Read more
Formats the value using the given formatter.
Read more
The resulting type after dereferencing.
Dereferences the value.
Mutably dereferences the value.
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
The returned type after indexing.
Performs the indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
Performs the mutable indexing (
container[index]
) operation.
Read more
The resulting type after applying the *
operator.
The resulting type after applying the -
operator.
The resulting type after applying the -
operator.
The Input type used to derive the challenge encoding. For example,
an input from the Poseidon hash would be a base field element;
an input from the Blake2b hash would be a [u8; 64].
Get an encoded challenge from a given input challenge.
Get a scalar field element from an encoded challenge.
Cast an encoded challenge as a typed ChallengeScalar
.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
-treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
-treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
+treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
+treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
-treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
-treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Squeeze an encoded verifier challenge from the transcript.
Writing the point to the transcript without writing it to the proof,
+treating it as a common input.
Writing the scalar to the transcript without writing it to the proof,
+treating it as a common input.
Squeeze a typed challenge (in the scalar field) from the transcript.
Read a curve point from the prover.
Read a curve scalar from the prover.
Read a curve point from the prover.
Read a curve scalar from the prover.
Initialize a transcript given an input buffer.
+ C::Scalar: FromUniformBytes<64>,
Initialize a transcript given an input buffer.
Initialize a transcript given an input buffer.
+ C::Scalar: FromUniformBytes<64>,
Initialize a transcript given an input buffer.
Write a curve point to the proof and the transcript.
Write a scalar to the proof and the transcript.
Write a curve point to the proof and the transcript.
Write a scalar to the proof and the transcript.
Initialize a transcript given an output buffer.
-
Conclude the interaction and return the output buffer (writer).
Initialize a transcript given an output buffer.
-
Conclude the interaction and return the output buffer (writer).
+ C::Scalar: FromUniformBytes<64>,
Initialize a transcript given an output buffer.
+
Conclude the interaction and return the output buffer (writer).
Initialize a transcript given an output buffer.
+
Conclude the interaction and return the output buffer (writer).