Commit Graph

11 Commits

Author SHA1 Message Date
rickwebiii
6837de9290 Randomness range proof now correct (#210) 2023-02-01 15:28:03 -08:00
rickwebiii
a8be112cb8 Randomness range proof in R1CS now correct (#208)
* Randomness range proof now correct
2023-01-25 11:06:13 -08:00
rickwebiii
61032735f8 Rweber/zkp (#205)
Can create pure R1CS BFV proof.
2023-01-20 13:38:04 -08:00
rickwebiii
c01f0c59e3 Improve assert binary gadget (#200)
* Improve assert binary gadget

* cargo fmt

* clippy

* clippy
2023-01-15 13:45:10 -08:00
rickwebiii
d03207e67e Rweber/zkp (#196)
Add BFV playground, Polynomial addition
2022-12-19 12:00:23 -08:00
Sam Tay
e2e5da3f60 Manually fix the rest of the clippy warnings 2022-10-31 15:30:34 -07:00
Sam Tay
4b53103953 Auto fix clippy warnings 2022-10-31 15:30:34 -07:00
rickwebiii
3019c78496 Rweber/model (#170)
* WIP

* Fix prediction measurements
2022-08-12 15:52:36 -07:00
rickwebiii
507c70f1c3 Rweber/model (#167)
* Add invariant noise

* WIP

* Update Results

* cargo fmt

* cargo fmt

Co-authored-by: EC2 Default User <ec2-user@ip-172-31-36-95.us-west-2.compute.internal>
2022-08-09 13:13:45 -07:00
rickwebiii
51b942a849 Reduce test cases, eliminate multiple sampling where stddev is 0 (#164) 2022-08-05 10:42:31 -07:00
rickwebiii
2e70480e63 Add benchmark (#163) 2022-08-04 11:48:02 -07:00