Trait ProxTestOracleProver 

pub trait ProxTestOracleProver<F>
where
    F: Field,
{
    type Commitment;

    // Required method
    fn open_queries<Channel>(
        &self,
        indices: &[<Channel as WordIPProverChannel<F>>::Word],
        channel: &mut Channel,
    )
       where Channel: MerkleIPProverChannel<F, Commitment = Self::Commitment>;
}

The prover counterpart of a ProxTestOracle (verifier side), producing the per-oracle query openings.

Required Associated Types

type Commitment

The Merkle commitment handle for the committed oracle.

Required Methods

fn open_queries<Channel>( &self, indices: &[<Channel as WordIPProverChannel<F>>::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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<F, C> ProxTestOracleProver<F> for FRIOracleProver<F, C>

where F: Field,

type Commitment = C

impl<F, P, C, Data> ProxTestOracleProver<F> for BatchBrakedownOracleProver<P, C, Data>

where F: Field, P: PackedField<Scalar = F>, Data: Deref<Target = [P]>,

type Commitment = C

impl<F, P, C, Data> ProxTestOracleProver<F> for BrakedownOracleProver<P, C, Data>

where F: Field, P: PackedField<Scalar = F>, Data: Deref<Target = [P]>,

type Commitment = C