Crate p3_batch_stark 

Batch-STARK proving and verification.

use p3_batch_stark::{prove_batch, verify_batch, CommonData, StarkInstance};

let instances = vec![
    StarkInstance { air: &air1, trace: trace1, public_values: pv1 },
    StarkInstance { air: &air2, trace: trace2, public_values: pv2 },
];

let common = CommonData::from_instances(&config, &instances);
let proof = prove_batch(&config, instances, &common);
verify_batch(&config, &[air1, air2], &proof, &[pv1, pv2], &common)?;

Re-exports

pub use common::CommonData;

pub use common::get_perm_challenges;

pub use config::Challenge;

pub use config::Commitment;

pub use config::PcsProof;

pub use proof::BatchCommitments;

pub use proof::BatchOpenedValues;

pub use proof::BatchProof;

pub use prover::StarkInstance;

pub use prover::prove_batch;

pub use verifier::verify_batch;

Modules

common

Shared data between batch-STARK prover and verifier.

config

Configuration utilities for batch-STARK proofs.

proof

prover

symbolic

verifier

Structs

DebugConstraintBuilderWithLookups

A builder that runs constraint assertions during testing.

OpenedValues

Enums

VerificationError

Traits

StarkGenericConfig

Type Aliases

Domain

PackedChallenge

PackedVal

PcsError

Val