github/Sunscreen
1
1
Fork 0
mirror of https://github.com/Sunscreen-tech/Sunscreen.git synced 2026-01-15 00:28:21 -05:00
Code Issues Packages Projects Releases Wiki Activity
646 Commits 110 Branches 7 Tags
docs
Commit Graph

646 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sam Tay
ace6d97140 Add a bfv::Unsigned type (#236) 
* Add a bfv::Unsigned type

* Fix decoding from polynomial?

* Add prop test for addition

* Proptest sub, mul, and mixed cipher/plaintexts

* Reduce code dupe

* Add test for 0 - 1

* Add a few more tests
 2023-04-24 11:57:33 -07:00
rickwebiii
ee5d6d9cdc Rweber/cuda (#235) 
CUDA implementation
 2023-04-10 19:54:24 +01:00
rickwebiii
1ba1419691 Rweber/perf (#234) 
Use Bulletproofs optimization section 3.1
 2023-04-02 15:55:30 +01:00
rickwebiii
9785670ae0 Cargo update (#233) 2023-03-30 12:59:01 -07:00
rickwebiii
5c0b2f5539 Parallelize RistrettoVec encoding (#231) 
* Parallelize RistrettoVec encoding
 2023-03-30 08:47:38 -07:00
Sam Tay
9346677d5d Expose ZkpContextOps 2023-03-29 10:08:52 -07:00
Sam Tay
680d475d7d Glob all examples as workspace members 2023-03-29 10:08:52 -07:00
rickwebiii
06e9c1cb2b Rweber/opencl (#230) 
OpenCL implementation of curve25519 operations
 2023-03-22 14:30:45 -07: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