openvm_stark_sdk::dummy_airs::interaction

Function verify_interactions

Source
pub fn verify_interactions(
    traces: Vec<RowMajorMatrix<BabyBear>>,
    airs: Vec<Arc<dyn AnyRap<BabyBearPoseidon2Config>>>,
    pis: Vec<Vec<BabyBear>>,
) -> Result<(), VerificationError>