Struct snarkvm_marlin::ahp::ahp::AHPForR1CS [−][src]
pub struct AHPForR1CS<F: Field> { /* fields omitted */ }
Expand description
The algebraic holographic proof defined in CHMMVW19. Currently, this AHP only supports inputs of size one less than a power of 2 (i.e., of the form 2^n - 1).
Implementations
The labels for the polynomials output by the AHP indexer.
The labels for the polynomials output and vanishing polynomials by the AHP indexer.
The linear combinations that are statically known to evaluate to zero.
The labels for the polynomials output by the AHP prover.
Check that the (formatted) public input is of the form 2^n for some integer n.
Check that the (formatted) public input is of the form 2^n for some integer n.
The maximum degree of polynomials produced by the indexer and prover of this protocol. The number of the variables must include the “one” variable. That is, it must be with respect to the number of formatted public inputs.
Get all the strict degree bounds enforced in the AHP.
pub fn construct_linear_combinations<E: EvaluationsProvider<F>>(
public_input: &[F],
evals: &E,
state: &VerifierState<F>,
with_vanishing: bool
) -> Result<Vec<LinearCombination<F>>, AHPError>
[src]
pub fn construct_linear_combinations<E: EvaluationsProvider<F>>(
public_input: &[F],
evals: &E,
state: &VerifierState<F>,
with_vanishing: bool
) -> Result<Vec<LinearCombination<F>>, AHPError>
[src]Construct the linear combinations that are checked by the AHP.
pub fn prover_init<'a, C: ConstraintSynthesizer<F>>(
index: &'a Circuit<F>,
circuit: &C
) -> Result<ProverState<'a, F>, AHPError>
[src]
pub fn prover_init<'a, C: ConstraintSynthesizer<F>>(
index: &'a Circuit<F>,
circuit: &C
) -> Result<ProverState<'a, F>, AHPError>
[src]Initialize the AHP prover.
Output the first round message and the next state.
Output the number of oracles sent by the prover in the first round.
pub fn prover_first_round_degree_bounds(
_info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]
pub fn prover_first_round_degree_bounds(
_info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]Output the degree bounds of oracles in the first round.
Output the second round message and the next state.
Output the number of oracles sent by the prover in the second round.
pub fn prover_second_round_degree_bounds(
info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]
pub fn prover_second_round_degree_bounds(
info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]Output the degree bounds of oracles in the second round.
Output the third round message and the next state.
Output the number of oracles sent by the prover in the third round.
pub fn prover_third_round_degree_bounds(
info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]
pub fn prover_third_round_degree_bounds(
info: &CircuitInfo<F>
) -> impl Iterator<Item = Option<usize>>
[src]Output the degree bounds of oracles in the third round.
pub fn verifier_first_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
index_info: CircuitInfo<TargetField>,
fs_rng: &mut R
) -> Result<(VerifierFirstMessage<TargetField>, VerifierState<TargetField>), AHPError>
[src]
pub fn verifier_first_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
index_info: CircuitInfo<TargetField>,
fs_rng: &mut R
) -> Result<(VerifierFirstMessage<TargetField>, VerifierState<TargetField>), AHPError>
[src]Output the first message and next round state.
pub fn verifier_second_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
state: VerifierState<TargetField>,
fs_rng: &mut R
) -> Result<(VerifierSecondMessage<TargetField>, VerifierState<TargetField>), AHPError>
[src]
pub fn verifier_second_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
state: VerifierState<TargetField>,
fs_rng: &mut R
) -> Result<(VerifierSecondMessage<TargetField>, VerifierState<TargetField>), AHPError>
[src]Output the second message and next round state.
pub fn verifier_third_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
state: VerifierState<TargetField>,
fs_rng: &mut R
) -> Result<VerifierState<TargetField>, AHPError>
[src]
pub fn verifier_third_round<BaseField: PrimeField, R: FiatShamirRng<TargetField, BaseField>>(
state: VerifierState<TargetField>,
fs_rng: &mut R
) -> Result<VerifierState<TargetField>, AHPError>
[src]Output the third message and next round state.
Auto Trait Implementations
impl<F> RefUnwindSafe for AHPForR1CS<F> where
F: RefUnwindSafe,
impl<F> Send for AHPForR1CS<F>
impl<F> Sync for AHPForR1CS<F>
impl<F> Unpin for AHPForR1CS<F> where
F: Unpin,
impl<F> UnwindSafe for AHPForR1CS<F> where
F: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
fn fmt_binary(self) -> FmtBinary<Self> where
Self: Binary,
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,
fn fmt_display(self) -> FmtDisplay<Self> where
Self: Display,
Causes self
to use its Display
implementation when
Debug
-formatted. Read more
fn fmt_lower_exp(self) -> FmtLowerExp<Self> where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self> where
Self: LowerExp,
Causes self
to use its LowerExp
implementation when
Debug
-formatted. Read more
fn fmt_lower_hex(self) -> FmtLowerHex<Self> where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self> where
Self: LowerHex,
Causes self
to use its LowerHex
implementation when
Debug
-formatted. Read more
Causes self
to use its Octal
implementation when Debug
-formatted.
fn fmt_pointer(self) -> FmtPointer<Self> where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self> where
Self: Pointer,
Causes self
to use its Pointer
implementation when
Debug
-formatted. Read more
fn fmt_upper_exp(self) -> FmtUpperExp<Self> where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self> where
Self: UpperExp,
Causes self
to use its UpperExp
implementation when
Debug
-formatted. Read more
fn fmt_upper_hex(self) -> FmtUpperHex<Self> where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self> where
Self: UpperHex,
Causes self
to use its UpperHex
implementation when
Debug
-formatted. Read more
impl<T> Pipe for T where
T: ?Sized,
impl<T> Pipe for T where
T: ?Sized,
Pipes by value. This is generally the method you want to use. Read more
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,
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>,
R: 'a,
B: 'a + ?Sized,
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R where
Self: Borrow<B>,
R: 'a,
B: 'a + ?Sized,
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>,
R: 'a,
B: 'a + ?Sized,
fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R where
Self: BorrowMut<B>,
R: 'a,
B: 'a + ?Sized,
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>,
R: 'a,
U: 'a + ?Sized,
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R where
Self: AsRef<U>,
R: 'a,
U: 'a + ?Sized,
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>,
R: 'a,
U: 'a + ?Sized,
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R where
Self: AsMut<U>,
R: 'a,
U: 'a + ?Sized,
Mutably borrows self
, then passes self.as_mut()
into the pipe
function. Read more
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,
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.
type Output = T
type Output = T
Should always be Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
Immutable access to the Borrow<B>
of a value. Read more
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
Mutable access to the BorrowMut<B>
of a value. Read more
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,
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
Immutable access to the Deref::Target
of a value. Read more
Mutable access to the Deref::Target
of a value. Read more
Calls .tap()
only in debug builds, and is erased in release builds.
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls .tap_mut()
only in debug builds, and is erased in release
builds. Read more
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
Calls .tap_borrow()
only in debug builds, and is erased in release
builds. Read more
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
Calls .tap_borrow_mut()
only in debug builds, and is erased in release
builds. Read more
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self where
Self: AsRef<R>,
R: ?Sized,
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. Read more
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self where
Self: AsMut<R>,
R: ?Sized,
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. Read more
pub fn vzip(self) -> V