Currently has two parts:
This bit has comments and describes the construction of a "quadratic arithmetic program" for computing the standard deviation of a set of three values. The resulting polynomials are then stored in csv files. The polynomials are related as follows:
To run this just go into the directory and do cargo run
. This has a few pieces:
a. main.rs
runs the verifier-prover interaction to check the relationship
b. polynomials.rs
has a generic polynomial evaluation function and an fhe version of the same.
c. utils.rs
has utitilies to read in coefficients from csv files and to generate powers of a given number.
d. roles.rs
has structures for the prover and verifier with functions to generating and executing queries.
All code borrows heavily from examples in the sunscreen documentation.