Commit Graph

63 Commits

Author SHA1 Message Date
Matthew Liu
970cb3d902 remove debugger feature from launch configuration 2023-08-11 00:39:05 -07:00
Matthew Liu
413bf008db dependency updates and inserted a group in relinearization test 2023-08-07 17:21:30 -07:00
Bryan Li
1651eec0a5 added name metadata to zkp programs 2023-07-27 11:55:58 -07:00
Matthew Liu
5bc340849c removed changes to settings.json 2023-07-18 13:48:54 -07:00
Matthew Liu
f2d8f12227 rick fixes 2023-07-17 15:01:42 -07:00
Matthew Liu
c113eaf7d3 fixed async issues, now can support multiple sessions 2023-07-17 14:43:27 -07:00
Matthew Liu
75d59ce14d created start web server function 2023-07-14 15:21:35 -07:00
Matthew Liu
bf41566474 added fhe-debugger files as modules 2023-07-14 13:34:24 -07:00
Matthew Liu
0cb4a82498 rick's coimments/changes 2023-07-14 00:06:40 -07:00
Matthew Liu
8ff5b0e012 documentation, removed some unused dependencies 2023-07-13 12:07:47 -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
Matthew Liu
b8c6c77a08 programcontext/programgroup structs defined 2023-07-05 22:21:15 -07:00
Matthew Liu
a64ff7efcb support to add stack traces and updated dependencies 2023-06-29 15:04:55 -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
rickwebiii
6f713d6750 Rweber/zkp (#218)
Private tx range proof
2023-03-02 15:16:45 -08:00
rickwebiii
48ebc52576 Rweber/zkp (#211)
Metal GPU accelerated scalar multiplication
2023-02-16 14:31:55 -08:00
rickwebiii
d03207e67e Rweber/zkp (#196)
Add BFV playground, Polynomial addition
2022-12-19 12:00:23 -08:00
rickwebiii
d847021858 Rweber/zkp (#186)
Add ZKP backend for Bulletproofs
2022-11-18 20:06:48 -08:00
rickwebiii
28ea71118f Rweber/zkp (#185)
Start ZKP compiler and refactor common code.
2022-11-15 12:43:04 -08:00
rickwebiii
390a27b1cd Refactor some code to be shared (#184)
* Refactor some code to be shared

* Kill warnings

* Regenerate launch.json

* Add documentation

* CR comments

* Fix doc issues

* cargo fmt

* CR comments

* CR comments

* Fix warning

* argh clippy
2022-11-11 15:56:09 -08:00
rickwebiii
3cdd0a5193 Add chaining docs (#177)
* Port over docs changes from docs-preliminary

* Fix casing and typos

* Fix failing docs tests
2022-10-17 14:34:45 -07:00
rickwebiii
334355067a Rweber/chaining (#171)
Chaining
2022-08-15 13:58:22 -07:00
rickwebiii
e0f5b126a8 Add debug to launch.json 2022-08-09 15:06:52 -07:00
rickwebiii
4bbd0e4388 Add invariant noise (#166) 2022-08-08 12:26:34 -07:00
rickwebiii
5e9c1d99af With code hacks, you can now use canonical embedding norm model (#162)
* With code hacks, you can now use canonical embedding norm model

* Cargo fmt
2022-07-22 16:48:05 +01:00
rickwebiii
0b86d5dfad Rweber/model (#161)
Add support for noise models in determining parameter selection
2022-07-22 15:56:39 +01:00
rickwebiii
1c8e8dddbb Add debug target (#159) 2022-07-18 16:50:13 +01: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
917c0efc82 WIP 2022-04-26 13:52:10 -07:00
Rick Weber
18131f5646 PIR 2022-04-23 18:21:15 -07:00
Rick Weber
48301f780f WIP 2022-04-21 23:39:54 -07:00
Rick Weber
ad930251dc Add array support 2022-04-12 11:09:59 -07:00
Rick Weber
13c1e7545d Fix more rational division issues 2022-03-23 14:34:33 -07:00
Rick Weber
01ee12d7f5 AMM example works 2022-03-23 11:39:45 -07:00
Rick Weber
5639f3c16b Rename sunscreen_compiler to sunscreen 2022-03-22 14:29:35 -07:00
Rick Weber
ac1bae3e62 Permit unused inputs 2022-02-16 20:32:15 -08:00
Rick Weber
274d2234e9 Update launch.json 2022-02-02 10:34:09 -08:00
Rick Weber
a08eb1f5a6 Rename SIMD to Batched 2022-02-01 16:45:34 -08:00
Rick Weber
13bee724ec Rename circuit to FHE program 2022-02-01 16:35:45 -08:00
Rick Weber
904d34e3b2 Fix relin bug. Add chi squared example 2022-01-28 19:32:38 -08:00
Rick Weber
b7ab182039 dot product example 2022-01-28 12:33:41 -08:00
Rick Weber
628c0036a7 Can create SIMD types 2022-01-26 15:43:01 -08:00
Rick Weber
c19edf33fa Can encode/decode SIMD type 2022-01-26 14:33:05 -08:00
Rick Weber
46c9e26b0e Can divide fractional by constant 2022-01-24 13:18:21 -08:00
Rick Weber
3dc12031be Add tests for signed values. Fix a bug in signed encoder 2022-01-24 10:21:47 -08:00
Rick Weber
5a9f1d125b Can now add literals 2022-01-21 14:01:09 -08:00
Rick Weber
2b51b85c84 Add is_encrypted to Type 2022-01-20 11:59:18 -08:00
Rick Weber
2aeeb9393b Can add Fractionals 2022-01-13 13:54:36 -08:00
Rick Weber
0890ff3c0a Check return types on circuits 2022-01-13 13:35:13 -08:00
Rick Weber
568194c7d9 Fractional WIP 2022-01-13 12:55:31 -08:00