The code for https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html Implement: Sum check protocol Fiat Shamir Transformation Run: cargo test