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
alexander-camuto/rs-gkr
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|