Rust implementation of algorithms in Thaler's Proofs, Arguments and ZK study group.

1. Freivald: Freivald's algorithm on matrix multiplication verification
2. Lagrange: Multilinear extension (MLE) via Lagrange Interpolation

cargo test
cargo bench

To run a specific test:

cargo test --test test_name.rs
cargo bench --bench bench_name.rs