Commit Graph

39 Commits

Author SHA1 Message Date
Matthew Liu
6da0352a84 refactor code to not have current zkp or fhe ctx, instead generic enum 2023-08-01 12:34:20 -07:00
rickwebiii
1dcfdaa5be Fix lookup 2023-07-27 16:28:45 -07:00
Matthew Liu
e2659060d7 updated construction of expected graphs for fhe_program_tests 2023-07-27 12:55:24 -07:00
Matthew Liu
6efb216ffc removed unncessary comments from fhe_program_tests 2023-07-18 13:49:50 -07:00
Matthew Liu
6f628d39a1 fmt fixes 2023-07-18 11:48:15 -07:00
Matthew Liu
d73ae29146 fhe program tests now pass with debugger feature enabled, updated group counter when assigning ids to nodes 2023-07-18 11:37:49 -07:00
Matthew Liu
b00714b6ec updated fhe_program_tests to have metadata fields and group_id. need to fix construction of graph so that group ids are updated 2023-07-18 11:24:16 -07:00
Matthew Liu
6cf313ada2 managed to get webserver up and running. remains to figure out how to get the graph data 2023-07-17 02:50:21 -07:00
Matthew Liu
f3df943daa fixed errors due to conditional compilation with debugger feature in fhe_program_tests 2023-07-17 01:04:37 -07:00
Matthew Liu
930db4b619 format fixes 2023-07-12 15:07:33 -07:00
Matthew Liu
b9bd9cc0fe fixed some fhe program tests based on changes to compilationresult data structure 2023-07-12 15:06:21 -07:00
Matthew Liu
243d748cdf fixed references of .0 into .graph and enabled conditional compilation of debugging structs, but this broke fhe_program proc macro 2023-07-10 11:03:09 -07:00
Sam Tay
aadde9d162 Offer a simpler API for runtime creation (#246)
* Offer a simpler API for runtime creation

* Update docs and examples to use `FheRuntime::new`
2023-06-06 18:56:46 -07:00
rickwebiii
1089e00d1b Separate OpenCL shaders into multiple files (#239)
* Separate OpenCL shaders into multiple files
2023-05-12 17:06:53 -07:00
Sam Tay
60b345cc5e Make gadgets sync (#237)
* Make gadgets send/sync

This lets Application types be send/sync

* Bump curve25519 to appease clippy

* Speed up unsigned tests a tiny bit
2023-05-01 17:45:25 -07:00
Sam Tay
ace6d97140 Add a bfv::Unsigned type (#236)
* Add a bfv::Unsigned type

* Fix decoding from polynomial?

* Add prop test for addition

* Proptest sub, mul, and mixed cipher/plaintexts

* Reduce code dupe

* Add test for 0 - 1

* Add a few more tests
2023-04-24 11:57:33 -07:00
rickwebiii
6604afbf95 ZKP array inputs (#217)
* ZKP array inputs
2023-03-01 13:33:14 -08:00
rickwebiii
64036ccaee Rweber/zkp (#197)
Plumb BackendField to NativeField for negative number support.
2023-01-04 11:38:18 -08:00
rickwebiii
d03207e67e Rweber/zkp (#196)
Add BFV playground, Polynomial addition
2022-12-19 12:00:23 -08:00
rickwebiii
18fb031953 Rweber/zkp (#195)
Can now use #[constant] and #[public] inputs
2022-12-09 16:21:34 -08:00
rickwebiii
85e3a60e35 Rweber/zkp (#194)
Add to_unsigned gadget and test
2022-12-08 17:57:31 -08:00
rickwebiii
c6056bf8d9 Rweber/zkp (#193)
Can use gadgets
2022-12-08 10:08:57 -08:00
rickwebiii
eac27d6ff5 Runtime now takes a ZKP backend (#192)
Runtime now takes a ZKP backend so we can JIT with NativeField
2022-12-03 11:31:43 -08:00
rickwebiii
72f00391ea Rweber/zkp (#188)
ZKP works E2E
2022-11-29 13:47:29 -08:00
rickwebiii
f79e2312af Rweber/clippy (#189)
Improve Errors (use thiserror and reduce their size). Fix clippy errors.
2022-11-29 13:18:45 -08:00
rickwebiii
3543b88387 Rweber/zkp (#187)
Refactor APIs to support ZKPs
2022-11-22 15:44:00 -08:00
rickwebiii
28ea71118f Rweber/zkp (#185)
Start ZKP compiler and refactor common code.
2022-11-15 12:43:04 -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
c2b1850fab Rweber/maint (#176)
Fix security vulnerability warning for unmaintained ansi_term.
2022-09-22 11:55:59 -07:00
rickwebiii
334355067a Rweber/chaining (#171)
Chaining
2022-08-15 13:58:22 -07:00
rickwebiii
121e7be325 Rweber/multiprogram (#130)
Allow compiling multiple FHE programs to use the same parameters.
2022-07-06 17:04:43 -07:00
Rick Weber
a6592b9760 Can return arrays from FHE programs 2022-04-26 21:44:37 -07:00
Rick Weber
4b0b3f38cd It works 2022-04-26 14:59:53 -07:00
Rick Weber
6efaede6b8 Add row major tests 2022-04-12 15:30:22 -07:00
Rick Weber
ad930251dc Add array support 2022-04-12 11:09:59 -07:00
Rick Weber
08dec9edbc Add missing tests 2022-03-23 14:48:23 -07:00
Rick Weber
13c1e7545d Fix more rational division issues 2022-03-23 14:34:33 -07:00
Rick Weber
5639f3c16b Rename sunscreen_compiler to sunscreen 2022-03-22 14:29:35 -07:00