Shared test suite for STARK backend implementations.

This crate provides generic test functions that can be used to verify any [StarkEngine] implementation against the BabyBearPoseidon2 configuration.

Usage

The easiest way to use this crate is via the [backend_test_suite!] macro, which generates the complete shared test suite with a single invocation:

openvm_backend_tests::backend_test_suite!(MyEngine);

Individual test functions can also be called directly for custom wrappers:

#[test]
fn test_proof_shape_verifier() {
    openvm_backend_tests::proof_shape_verifier::<MyEngine>().unwrap();
}

Adding New Tests

1. Add a pub fn here (with E: StarkEngine<SC = SC> bound for engine-generic tests).
2. Add the test to the [backend_test_suite!] macro.
3. Each backend automatically picks it up on next build.