A starter implementation for Freivald's algorithm over ark_bls12_381::Fr.
The point is to illustrate Freivalds’ algorithm does save runtime compared to the best known deterministic algorithm.
Implement the unimplemented! block, then run:
cargo test
cargo bench