Commit Graph

54 Commits

Author SHA1 Message Date
rickwebiii
8930295453 Rweber/zkp (#219)
* Add ZKP benchmarks for comparing fractional values
2023-03-03 09:49:51 -08:00
rickwebiii
6f713d6750 Rweber/zkp (#218)
Private tx range proof
2023-03-02 15:16:45 -08:00
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
4e236f7a39 CR comments (#206) 2023-01-20 13:55:41 -08:00
rickwebiii
61032735f8 Rweber/zkp (#205)
Can create pure R1CS BFV proof.
2023-01-20 13:38:04 -08:00
rickwebiii
b36480f0b0 Rweber/zkp (#204)
Can compute quotient and remainder in ZKP.
2023-01-18 17:03:50 -08:00
rickwebiii
e7b82bf6db Can do more comparison operations (#203)
Can do more comparison operations
2023-01-17 16:09:35 -08:00
rickwebiii
216fd1beda Rweber/zkp (#202)
Add less-than-equal comparison
2023-01-17 15:18: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
0ceb4a5208 Rweber/zkp (#199)
* Multiply WIP

* Polynomial multiplication works

* clippy

* CR comment

* cargo fmt
2023-01-11 10:51:04 -08:00
rickwebiii
38a67b7d97 Can encode negative numbers onto native fields (#198)
* Can encode negative numbers onto native fields
2023-01-05 15:38:18 -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
eac27d6ff5 Runtime now takes a ZKP backend (#192)
Runtime now takes a ZKP backend so we can JIT with NativeField
2022-12-03 11:31:43 -08:00
rickwebiii
2e5b7e834b Rweber/refactor (#190)
Refactor sunscreen_fhe_program to use types and functions in sunscreen_compiler_common
2022-11-30 18:02:45 -08:00
rickwebiii
72f00391ea Rweber/zkp (#188)
ZKP works E2E
2022-11-29 13:47:29 -08:00
rickwebiii
f79e2312af Rweber/clippy (#189)
Improve Errors (use thiserror and reduce their size). Fix clippy errors.
2022-11-29 13:18:45 -08:00
rickwebiii
3543b88387 Rweber/zkp (#187)
Refactor APIs to support ZKPs
2022-11-22 15:44:00 -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
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
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
b8cbacac69 Downgrade minimum required toolchain (#160) 2022-07-20 12:05:07 +01:00
rickwebiii
37bec208b3 Rweber/crateupdate (#151)
* Update crate info

* Update crates-io.md

* bump

Co-authored-by: ravital <47154865+ravital@users.noreply.github.com>
2022-07-14 11:16:08 -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
rickwebiii
17ea255f4e Add playground, rename seal->seal_fhe 2022-05-16 16:09:07 -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
4b0b3f38cd It works 2022-04-26 14:59:53 -07:00
Rick Weber
917c0efc82 WIP 2022-04-26 13:52:10 -07:00
Rick Weber
019dde0950 WIP 2022-04-26 12:53:56 -07:00
Rick Weber
6047fba925 Bump version 2022-04-19 10:44:17 -07:00
Rick Weber
fe23df89d2 hexl feature 2022-04-14 16:39:05 -07:00
Rick Weber
6efaede6b8 Add row major tests 2022-04-12 15:30:22 -07:00
Rick Weber
ad930251dc Add array support 2022-04-12 11:09:59 -07:00
Rick Weber
a8d6f9fdc0 Add comment on semver 2022-03-24 10:36:07 -07:00
Rick Weber
43728ccc99 Bump sunscreen 2022-03-23 14:50:14 -07:00
Rick Weber
08dec9edbc Add missing tests 2022-03-23 14:48:23 -07:00