Commit Graph

55 Commits

Author SHA1 Message Date
Rick Weber
ac1bae3e62 Permit unused inputs 2022-02-16 20:32:15 -08:00
Rick Weber
e4f50ba996 Move tests to break dependency cycle 2022-02-14 18:57:43 -08:00
Rick Weber
fc63ba110b Rename noise_margin 2022-02-01 17:22:03 -08:00
Rick Weber
03b120e824 Rename Secret/Public to PrivateKey/PublicKey 2022-02-01 17:14:25 -08:00
Rick Weber
a08eb1f5a6 Rename SIMD to Batched 2022-02-01 16:45:34 -08:00
Rick Weber
b92ac2d442 cargo fmt 2022-02-01 16:36:03 -08:00
Rick Weber
13bee724ec Rename circuit to FHE program 2022-02-01 16:35:45 -08:00
Rick Weber
37f9167f04 Rename circuit WIP 2022-02-01 16:20:06 -08:00
Rick Weber
483ee9e296 circuit rename WIP 2022-02-01 15:59:05 -08:00
Rick Weber
4554dc2c05 Rename circuit WIP 2022-02-01 15:50:27 -08:00
Rick Weber
b7ab182039 dot product example 2022-01-28 12:33:41 -08:00
Rick Weber
a4a0201ce1 Can non-FHE fractional 2022-01-27 22:42:47 -08:00
Rick Weber
912a43e47e Simd non-FHE 2022-01-27 18:59:47 -08:00
Rick Weber
8903334462 WIP 2022-01-27 16:53:04 -08:00
Rick Weber
82779a3d54 Can non-FHE compute Signed and Rational 2022-01-27 16:17:30 -08:00
Rick Weber
32cc96224e typo fix 2022-01-27 12:06:17 -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
89a8287df8 Rationals work with plaintexts 2022-01-25 12:32:33 -08:00
Rick Weber
a39e85056a Plaintext stuff for rationals 2022-01-25 11:59:26 -08:00
Rick Weber
7a54d63a99 Remove Unsigned type; it doesn't support subtraction 2022-01-24 17:14:20 -08:00
Rick Weber
fe012c43e4 Can subtract fractional 2022-01-24 16:53:47 -08:00
Rick Weber
cad2242bbc Rename some tests 2022-01-24 16:37:50 -08:00
Rick Weber
c49c360fd0 Can subtract signed 2022-01-24 16:00:29 -08:00
Rick Weber
eabb194bec sub plain for signed 2022-01-24 15:45:47 -08:00
Rick Weber
5e438dfc4a Can subtract signed values 2022-01-24 14:30:40 -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
ee1d5b5f78 Can multiply by literals 2022-01-21 17:01:06 -08:00
Rick Weber
0313d7e728 Multiply ciphertexts 2022-01-21 16:38:18 -08:00
Rick Weber
5a9f1d125b Can now add literals 2022-01-21 14:01:09 -08:00
Rick Weber
8b128fa29e Reorganize modules 2022-01-21 11:54:42 -08:00
Rick Weber
a04209b558 Can add plaintexts 2022-01-20 21:01:15 -08:00
Rick Weber
e459b8e9b5 WIP 2022-01-19 17:34:26 -08:00
Rick Weber
b352881e5d tests pass again with Cipher type 2022-01-19 15:45:34 -08:00
Rick Weber
e1e3511ae2 Cipher type works 2022-01-19 15:29:30 -08:00
Rick Weber
00a94b247b WIP 2022-01-19 13:46:54 -08:00
Rick Weber
fade90ecf1 sub 2022-01-14 11:37:18 -08:00
Rick Weber
276641ed50 Tests 2022-01-14 11:34:59 -08:00
Rick Weber
bf6023d307 Add type comparison 2022-01-13 20:45:52 -08:00
Rick Weber
07e4ef92d5 Update docs, format 2022-01-13 18:27:45 -08:00
Rick Weber
3fe58cd661 Document fractional encoder 2022-01-13 16:17:06 -08:00
Rick Weber
6606d80cc8 Can multiply with fractional encoder 2022-01-13 15:22:40 -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
0038005c8d Rationals work 2021-12-16 13:15:42 -08:00
Rick Weber
a3f28d8bd8 Can divide rational numbers 2021-12-16 11:50:45 -08:00
Rick Weber
758cc51f61 Can multiply rationals 2021-12-16 11:45:08 -08:00
Rick Weber
af5ff3ab6d Can add rationals 2021-12-16 11:41:07 -08:00
Rick Weber
048ed78ff6 Signed encoder works 2021-12-16 11:16:57 -08:00