Expand description
Batch-STARK proving and verification.
ⓘ
use p3_batch_stark::{prove_batch, verify_batch, ProverData, StarkInstance};
let instances = vec![
StarkInstance { air: &air1, trace: trace1, public_values: pv1, lookups: vec![] },
StarkInstance { air: &air2, trace: trace2, public_values: pv2, lookups: vec![] },
];
let prover_data = ProverData::from_instances(&config, &instances);
let common = &prover_data.common;
let proof = prove_batch(&config, &instances, &prover_data);
verify_batch(&config, &[air1, air2], &proof, &[pv1, pv2], common)?;Re-exports§
pub use common::CommonData;pub use common::ProverData;pub use common::ProverOnlyData;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