/thaler

Primary LanguageRust

Thaler Algorithms

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

Get Started

cargo test
cargo bench

To run a specific test:

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