README.md

The code for https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html

Implement:

• Sum check protocol
• Fiat Shamir Transformation

Run:

cargo test