594 Commits

Author SHA1 Message Date
rickwebiii
e0d5dcb56e Decryption times 2023-03-13 16:54:03 -07:00
rickwebiii
764798a925 amm 4096 2023-03-10 15:29:13 -08:00
rickwebiii
24fe2a0214 more benchy 2023-03-10 12:32:28 -08:00
rickwebiii
0aab780ad4 Instrument 2023-03-09 14:29:54 -08:00
rickwebiii
32cdba8cf1 mean variance 2023-03-09 14:27:13 -08:00
rickwebiii
1e42462973 hack chi sq 2023-03-09 14:07:27 -08:00
rickwebiii
8b43c6db24 chi sq and unshield proofs (#225)
chi sq and unshield proofs
2023-03-09 13:46:09 -08:00
rickwebiii
af4849ddb5 Time shield circuits (#224)
* Time shield/unshield circuits
2023-03-08 19:19:59 -08:00
rickwebiii
c034f761e7 Rweber/zkp (#223)
* Add smart FHE TX benchmark
2023-03-08 17:49:08 -08:00
rickwebiii
ad17d5ca03 specify poly degree (#222) 2023-03-08 17:03:56 -08:00
rickwebiii
d29f18fbee Rweber/zkp (#221)
* Speed up scalar inversion, move linear relation to criterion benchmark
2023-03-08 16:29:26 -08:00
rickwebiii
55dfdda88c Rweber/zkp (#220)
WebGPU implementation WIP
2023-03-05 16:39:31 -08:00
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
745b9b6996 Rweber/zkp (#216)
* GPU accelerate Scalar inversion
* CPU-GPU work sharing
2023-02-28 09:16:07 -08:00
rickwebiii
ee830d6d70 Rweber/zkp (#215)
Bring logproofs into monorepo
2023-02-17 14:44:03 -08:00
rickwebiii
48ebc52576 Rweber/zkp (#211)
Metal GPU accelerated scalar multiplication
2023-02-16 14:31:55 -08:00
rickwebiii
6837de9290 Randomness range proof now correct (#210) 2023-02-01 15:28:03 -08:00
Ryan Orendorff
70f28be1ee Fix wasm activate instruction to activate 3.1.3 (#209) 2023-01-31 10:25:20 -07:00
rickwebiii
a8be112cb8 Randomness range proof in R1CS now correct (#208)
* Randomness range proof now correct
2023-01-25 11:06:13 -08:00
rickwebiii
dbafe86200 Fix O(N^2) behavior in graph traversal (#207)
* Fix O(N^2) behavior in graph traversal

* Ref count LinearCombinations in Bulletproofs backend, dramatically reducing memory usage.
2023-01-23 16:50:25 -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
2f9acb39a7 Upgrade deps (#201) 2023-01-15 14:01:07 -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
Or Neeman
fb25011de5 README: make git submodule command recursive (#191) 2022-12-08 12:00:36 -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
d721ff6d96 Bump rust-playground (#183) 2022-10-31 15:39:54 -07:00
Sam Tay
c525ee6d5d Separate clippy into separate job 2022-10-31 15:30:34 -07:00
Sam Tay
2db8e90a8d Allow type complexity for macro generated code 2022-10-31 15:30:34 -07:00
Sam Tay
5fcba12967 Simplify example 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