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 |
|