Struct StarkProver 

pub struct StarkProver<C>
where
    C: StarkGenericConfig,
{ /* private fields */ }

zk-STARK prover

This is a high-level wrapper around the STARK proving functionality. It provides a convenient interface for generating STARK proofs with a given configuration.

Example

use lib_q_zkp::stark::{StarkProver, default_config};
use Complex;
use Mersenne31;

type Val = Complex<Mersenne31>;

let config = default_config();
let prover = StarkProver::new(config);
// air: implements Air trait
// trace: RowMajorMatrix<Val>
// public_values: &[Val]
let proof = prover.prove(&air, trace, &public_values);

Implementations

impl<C> StarkProver<C>

where C: StarkGenericConfig,

pub fn new(config: C) -> StarkProver<C>

Create a new zk-STARK prover with the given configuration

pub fn prove<A>( &self, air: &A, trace: DenseMatrix<<<<C as StarkGenericConfig>::Pcs as Pcs<<C as StarkGenericConfig>::Challenge, <C as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>, public_values: &[<<<C as StarkGenericConfig>::Pcs as Pcs<<C as StarkGenericConfig>::Challenge, <C as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val], ) -> Result<Proof<C>, ProverError>

where A: Air<SymbolicAirBuilder<<<<C as StarkGenericConfig>::Pcs as Pcs<<C as StarkGenericConfig>::Challenge, <C as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>> + for<'a> Air<ProverConstraintFolder<'a, C>> + for<'a> Air<DebugConstraintBuilder<'a, <<<C as StarkGenericConfig>::Pcs as Pcs<<C as StarkGenericConfig>::Challenge, <C as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>,

pub fn config(&self) -> &C

Get a reference to the underlying configuration