p3-batch-stark 0.4.2

Batched STARK wrapper atop p3-uni-stark that reuses FRI openings across instances.
Documentation

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)?;