48 Commits

Author SHA1 Message Date
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
Rick Weber
0c20afbeb8 Calculator works 2021-12-16 17:21:35 -08:00
Rick Weber
88b757fbbc WIP 2021-12-15 22:53:04 -08:00
Rick Weber
87d1505409 Pack integers into multiple coefficients, encoders are dead. 2021-12-08 19:38:19 -08:00
Rick Weber
ebc7fdb880 Remove encoders WIP 2021-12-08 17:15:58 -08:00
Rick Weber
b1a7aad82c megarefactor parameter selection to frontend 2021-11-30 20:48:52 -08:00
Rick Weber
feae81a051 Can collect outputs 2021-11-30 12:34:04 -08:00
Rick Weber
c44b60a00d Can auto-pick params for circuit. 2021-11-22 20:35:04 -08:00
Rick Weber
e144b3f8ec Runtime works. 2021-11-19 17:15:09 -08:00
Rick Weber
665596edcf Tree shaking works, added a bunch of tests 2021-11-18 12:02:53 -08:00
Rick Weber
a523f8ccc0 Can insert relinearizations 2021-11-17 14:13:31 -08:00
Rick Weber
d917343573 Debug tests 2021-11-15 10:37:04 -08:00
Rick Weber
abc799e421 Relin out of band 2021-11-09 13:42:47 -08:00
Rick Weber
8a9a8e6bea WIP 2021-11-03 22:49:04 -07:00