pub struct FRIOracleProver<F, C>where
F: Field,{ /* private fields */ }Expand description
The ProxTestOracleProver for a FRI-style code proximity check.
Implementations§
Source§impl<F, C> FRIOracleProver<F, C>where
F: Field,
impl<F, C> FRIOracleProver<F, C>where
F: Field,
Sourcepub const fn new(
codeword: FieldBuffer<F>,
commitment: C,
coset_log_size: usize,
) -> Self
pub const fn new( codeword: FieldBuffer<F>, commitment: C, coset_log_size: usize, ) -> Self
Constructs a new oracle prover wrapping a committed fold-round codeword.
coset_log_size is the base-2 log of the coset size of the fold that consumes this
codeword, which must equal the commitment’s leaf size.
Trait Implementations§
Source§impl<F, C> ProxTestOracleProver<F> for FRIOracleProver<F, C>where
F: Field,
impl<F, C> ProxTestOracleProver<F> for FRIOracleProver<F, C>where
F: Field,
Source§type Commitment = C
type Commitment = C
The Merkle commitment handle for the committed oracle.
Source§fn open_queries<Channel>(
&self,
indices: &[Channel::Word],
channel: &mut Channel,
)where
Channel: MerkleIPProverChannel<F, Commitment = Self::Commitment>,
fn open_queries<Channel>(
&self,
indices: &[Channel::Word],
channel: &mut Channel,
)where
Channel: MerkleIPProverChannel<F, Commitment = Self::Commitment>,
Sends the per-oracle batched query openings: the oracle’s optimal Merkle layer once,
followed by each queried coset’s values and Merkle opening proof.
Auto Trait Implementations§
impl<F, C> Freeze for FRIOracleProver<F, C>where
C: Freeze,
impl<F, C> RefUnwindSafe for FRIOracleProver<F, C>where
C: RefUnwindSafe,
F: RefUnwindSafe,
impl<F, C> Send for FRIOracleProver<F, C>where
C: Send,
impl<F, C> Sync for FRIOracleProver<F, C>where
C: Sync,
impl<F, C> Unpin for FRIOracleProver<F, C>
impl<F, C> UnsafeUnpin for FRIOracleProver<F, C>where
C: UnsafeUnpin,
impl<F, C> UnwindSafe for FRIOracleProver<F, C>where
C: UnwindSafe,
F: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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