From 0a39e11480688fcf7f871e78bc1107174a6378b6 Mon Sep 17 00:00:00 2001
From: adria0
Date: Tue, 18 Jun 2024 13:12:29 +0000
Subject: [PATCH] deploy: 1a6468e730faee72967f3376ff902e4a8c7e7848
---
halo2_backend/plonk/enum.Error.html | 2 +-
.../struct.IPACommitmentScheme.html | 12 +-
.../ipa/multiopen/struct.VerifierIPA.html | 8 +-
.../struct.KZGCommitmentScheme.html | 14 +-
halo2_backend/poly/struct.Polynomial.html | 2 +-
.../transcript/struct.Challenge255.html | 36 +--
.../circuit/layouter/enum.RegionColumn.html | 2 +-
halo2_frontend/circuit/struct.Value.html | 36 +--
halo2_frontend/dev/enum.VerifyFailure.html | 7 +-
halo2_frontend/dev/index.html | 2 +-
.../dev/metadata/struct.Constraint.html | 2 +-
halo2_frontend/dev/metadata/struct.Gate.html | 2 +-
.../dev/metadata/struct.Region.html | 4 +-
.../dev/metadata/struct.VirtualCell.html | 7 +-
halo2_frontend/dev/struct.CircuitGates.html | 2 +-
halo2_frontend/dev/struct.MockProver.html | 50 ++--
.../plonk/assigned/enum.Assigned.html | 4 +-
.../constraint_system/struct.VirtualCell.html | 2 +-
.../circuit/expression/enum.Expression.html | 4 +-
.../circuit/expression/struct.Column.html | 4 +-
.../plonk/circuit/trait.Assignment.html | 2 +-
halo2_frontend/plonk/error/enum.Error.html | 2 +-
halo2_proofs/all.html | 2 +-
halo2_proofs/circuit/struct.Value.html | 50 ++--
halo2_proofs/dev/enum.CellValue.html | 142 ++++++++++
halo2_proofs/dev/enum.InstanceValue.html | 141 ++++++++++
halo2_proofs/dev/enum.VerifyFailure.html | 7 +-
halo2_proofs/dev/index.html | 2 +-
halo2_proofs/dev/metadata/struct.Region.html | 2 +-
.../dev/metadata/struct.VirtualCell.html | 9 +-
halo2_proofs/dev/sidebar-items.js | 2 +-
halo2_proofs/dev/struct.MockProver.html | 55 ++--
halo2_proofs/index.html | 2 +-
halo2_proofs/plonk/enum.Any.html | 2 +-
halo2_proofs/plonk/enum.Assigned.html | 36 +--
halo2_proofs/plonk/enum.Error.html | 2 +-
halo2_proofs/plonk/struct.Column.html | 6 +-
halo2_proofs/plonk/trait.Assignment.html | 2 +-
halo2_proofs/poly/index.html | 2 +-
.../struct.IPACommitmentScheme.html | 8 +-
.../ipa/multiopen/struct.VerifierIPA.html | 8 +-
.../struct.KZGCommitmentScheme.html | 8 +-
halo2_proofs/transcript/index.html | 2 +-
.../transcript/struct.Challenge255.html | 36 +--
search-index.js | 6 +-
.../halo2_frontend/halo2_frontend-desc-0-.js | 2 +-
.../halo2_proofs/halo2_proofs-desc-0-.js | 2 +-
src/halo2_frontend/dev.rs.html | 266 ++++++++++++++++++
src/halo2_frontend/dev/failure.rs.html | 2 +-
src/halo2_frontend/dev/metadata.rs.html | 2 +-
src/halo2_proofs/lib.rs.html | 6 +-
trait.impl/core/clone/trait.Clone.js | 2 +-
52 files changed, 791 insertions(+), 229 deletions(-)
create mode 100644 halo2_proofs/dev/enum.CellValue.html
create mode 100644 halo2_proofs/dev/enum.InstanceValue.html
diff --git a/halo2_backend/plonk/enum.Error.html b/halo2_backend/plonk/enum.Error.html
index d144732b1f..db2a2a32f0 100644
--- a/halo2_backend/plonk/enum.Error.html
+++ b/halo2_backend/plonk/enum.Error.html
@@ -39,7 +39,7 @@
included in the permutation.
Generic error not covered by previous cases
Constructs an Error::NotEnoughRowsAvailable
.
-
Formats the value using the given formatter.
Read more
Formats the value using the given formatter.
Read more
The lower-level source of this error, if any.
Read more
👎Deprecated since 1.42.0: use the Display impl or to_string()
👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
🔬This is a nightly-only experimental API. (error_generic_member_access
)
Provides type based access to context intended for error reports.
Read more
Converts to this type from the input type.
Formats the value using the given formatter.
Read more
Formats the value using the given formatter.
Read more
The lower-level source of this error, if any.
Read more
👎Deprecated since 1.42.0: use the Display impl or to_string()
👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
🔬This is a nightly-only experimental API. (error_generic_member_access
)
Provides type based access to context intended for error reports.
Read more
Converts to this type from the input type.
Immutably borrows from an owned value.
Read more
Mutably borrows from an owned value.
Read more
Query instance or not
Creates new prover instance
Create a multi-opening proof
Finalizes the batch and checks its validity.
+ R:
RngCore,
Create a multi-opening proof
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.
Finalizes the batch and checks its validity.
+output.
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
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 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.
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).