Rust implementation of algorithms in Thaler's Proofs, Arguments and ZK study group.
Freivald
: Freivald's algorithm on matrix multiplication verificationLagrange
: 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