76 Commits

Author SHA1 Message Date
rickwebiii
6604afbf95 ZKP array inputs (#217)
* ZKP array inputs
2023-03-01 13:33:14 -08:00
rickwebiii
48ebc52576 Rweber/zkp (#211)
Metal GPU accelerated scalar multiplication
2023-02-16 14:31:55 -08:00
rickwebiii
61032735f8 Rweber/zkp (#205)
Can create pure R1CS BFV proof.
2023-01-20 13:38:04 -08:00
rickwebiii
c01f0c59e3 Improve assert binary gadget (#200)
* Improve assert binary gadget

* cargo fmt

* clippy

* clippy
2023-01-15 13:45:10 -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
72f00391ea Rweber/zkp (#188)
ZKP works E2E
2022-11-29 13:47:29 -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
Sam Tay
2db8e90a8d Allow type complexity for macro generated code 2022-10-31 15:30:34 -07: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
0ca0052018 Rweber/release 0.7 (#178)
* 0.7 release

* Fix docs links
2022-10-17 14:56:27 -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
b8cbacac69 Downgrade minimum required toolchain (#160) 2022-07-20 12:05:07 +01:00
rickwebiii
136d03f081 Rweber/crateupdate (#152)
* Fix broken links

* Bump packages
2022-07-14 11:37:27 -07:00
rickwebiii
123da60636 Rweber/packages (#150)
* No network during build

* Bump packages
2022-07-13 18:47:54 -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
rickwebiii
04d0ee90d2 Fixup Cargo.toml files for release 2022-05-16 18:00:39 -07:00
Rick Weber
2ad081f9c7 Version bump 2022-04-28 16:07:35 -07:00
Rick Weber
a6592b9760 Can return arrays from FHE programs 2022-04-26 21:44:37 -07:00
Rick Weber
fb7241acc7 Unit test self in macro 2022-04-26 16:12:28 -07:00
Rick Weber
4b0b3f38cd It works 2022-04-26 14:59:53 -07:00
Rick Weber
9d57a490a4 WIP 2022-04-26 13:58:58 -07:00
Rick Weber
917c0efc82 WIP 2022-04-26 13:52:10 -07:00
Rick Weber
6047fba925 Bump version 2022-04-19 10:44:17 -07:00
Rick Weber
ad930251dc Add array support 2022-04-12 11:09:59 -07:00
Rick Weber
5639f3c16b Rename sunscreen_compiler to sunscreen 2022-03-22 14:29:35 -07:00
Rick Weber
539ca57087 Bump seal crate version 2022-02-28 15:03:06 -08:00
Rick Weber
e4f50ba996 Move tests to break dependency cycle 2022-02-14 18:57:43 -08:00
Rick Weber
7a08ddb1ef update registry 2022-02-14 18:15:24 -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
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
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
7a54d63a99 Remove Unsigned type; it doesn't support subtraction 2022-01-24 17:14:20 -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