Struct halo2_backend :: plonk :: prover :: ProverMulti Copy item path

impl<'a, 'params, Scheme: CommitmentScheme, P: Prover<'params, Scheme>, E: EncodedChallenge<Scheme::Curve>, R: RngCore, T: TranscriptWrite<Scheme::Curve, E>, M: MsmAccel<Scheme::Curve>> ProverMulti<'a, 'params, Scheme, P, E, R, T, M>

pub fn new_with_engine( engine: PlonkEngine<Scheme::Curve, M>, params: &'params Scheme::ParamsProver, pk: &'a ProvingKey<Scheme::Curve>, circuits_instances: &[Vec<Vec<Scheme::Scalar>>], rng: R, transcript: &'a mut T ) -> Result<Self, Error>
where Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,

Create a new prover object

pub fn commit_phase( &mut self, phase: u8, witness: Vec<Vec<Option<Vec<Scheme::Scalar>>>> ) -> Result<HashMap<usize, Scheme::Scalar>, Error>
where Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,

Commit the witness at phase and return the challenges after phase.

pub fn create_proof(self) -> Result<(), Error>
where Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,

Finalizes the proof creation. The following steps are performed:

1. Generate committed lookup polys
1. Generate committed permutation polys
1. Generate committed lookup polys
1. Generate committed shuffle polys
1. Commit to the vanishing argument’s random polynomial
1. Generate the advice polys
1. Evaluate the h(X) polynomial
1. Construct the vanishing argument’s h(X) commitments
1. Compute x
1. Compute and hash instance evals for the circuit instance
1. Compute and hash fixed evals
1. Evaluate permutation, lookups and shuffles at x
1. Generate all queries ([ProverQuery])
1. Send the queries to the Prover

pub fn phases(&self) -> &[u8] ⓘ

Returns the phases of the circuit

pub fn new( params: &'params Scheme::ParamsProver, pk: &'a ProvingKey<Scheme::Curve>, circuits_instances: &[Vec<Vec<Scheme::Scalar>>], rng: R, transcript: &'a mut T ) -> Result<ProverMulti<'a, 'params, Scheme, P, E, R, T, H2cEngine>, Error>
where Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>,

Create a new prover object

Trait Implementations§

impl<'a, 'params, Scheme: Debug + CommitmentScheme, P: Debug + Prover<'params, Scheme>, E: Debug + EncodedChallenge<Scheme::Curve>, R: Debug + RngCore, T: Debug + TranscriptWrite<Scheme::Curve, E>, M: Debug + MsmAccel<Scheme::Curve>> Debug for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where Scheme::Curve: Debug, Scheme::ParamsProver: Debug, Scheme::Scalar: Debug,

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl<'a, 'params, Scheme, P, E, R, T, M> Freeze for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where R: Freeze, M: Freeze,

impl<'a, 'params, Scheme, P, E, R, T, M> RefUnwindSafe for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where R: RefUnwindSafe, M: RefUnwindSafe, <Scheme as CommitmentScheme>::ParamsProver: RefUnwindSafe, T: RefUnwindSafe, <Scheme as CommitmentScheme>::Curve: RefUnwindSafe, P: RefUnwindSafe, E: RefUnwindSafe, <Scheme as CommitmentScheme>::Scalar: RefUnwindSafe,

impl<'a, 'params, Scheme, P, E, R, T, M> Send for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where R: Send, M: Send, <Scheme as CommitmentScheme>::ParamsProver: Sync, T: Send, P: Send, E: Send,

impl<'a, 'params, Scheme, P, E, R, T, M> Sync for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where R: Sync, M: Sync, <Scheme as CommitmentScheme>::ParamsProver: Sync, T: Sync, P: Sync, E: Sync,

impl<'a, 'params, Scheme, P, E, R, T, M> Unpin for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>
where R: Unpin, M: Unpin, <Scheme as CommitmentScheme>::Curve: Unpin, P: Unpin, E: Unpin, <Scheme as CommitmentScheme>::Scalar: Unpin,

impl<'a, 'params, Scheme, P, E, R, T, M> !UnwindSafe for ProverMulti<'a, 'params, Scheme, P, E, R, T, M>

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> Conv for T

fn conv<T>(self) -> T
where Self: Into<T>,

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

impl<T> FmtForward for T

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Formats each item in a sequence. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

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

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<T> Pipe for T
where T: ?Sized,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<T> Pointable for T

const ALIGN: usize = _

The alignment of pointer.

type Init = T

The type for initializers.

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

Initializes a with the given initializer. Read more

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

Dereferences the given pointer. Read more

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

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

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

impl<T> Same for T

type Output = T

Should always be Self

impl<T> Tap for T

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

Immutable access to a value. Read more

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

Mutable access to a value. Read more

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

Immutable access to the Borrow of a value. Read more

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

Mutable access to the BorrowMut of a value. Read more

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<T> TryConv for T

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

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

impl<T, U> TryFrom for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto for T
where U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,