README.md

rs-gkr

Implementation of the GKR protocol as detailed in Justin Thaler's Proof, Arguments, and Zero Knowledge. This implementation also adds Fiat-Shamir to make the protocol non-interactive.

To run tests:

cargo test