github/Sunscreen
1
1
Fork 0
mirror of https://github.com/Sunscreen-tech/Sunscreen.git synced 2026-04-19 03:00:06 -04:00
Code Issues Packages Projects Releases Wiki Activity
875 Commits 110 Branches 7 Tags
c1ec13f7877b288a6777d1967e5729f20009e113
Commit Graph

71 Commits

Author SHA1 Message Date
Matthew Liu
dd68f2cc1c conditioanl compilation for debugdata 2023-07-28 12:21:23 -07:00
Matthew Liu
a2fa6df913 fmt 2023-07-28 11:10:12 -07:00
Matthew Liu
5f15507af6 clippy 2023-07-28 11:09:14 -07:00
rickwebiii
30f293d752 SessionProvider 2023-07-27 14:28:18 -07:00
Bryan Li
1651eec0a5 added name metadata to zkp programs 2023-07-27 11:55:58 -07:00
Matthew Liu
21496d47a0 fmt 2023-07-26 03:15:36 -07:00
Matthew Liu
4f06873305 clippy 2023-07-26 03:15:29 -07:00
Matthew Liu
089eb22c2e can now display stack traces 2023-07-26 03:10:38 -07:00
Matthew Liu
9293f05e70 format 2023-07-24 11:26:42 -07:00
Matthew Liu
c571744480 changed serializable enums to be internally tagged 2023-07-24 10:27:30 -07:00
Matthew Liu
a193ab4aaf fmt changes. also can display coefficients of plaintexts 2023-07-21 15:09:29 -07:00
Matthew Liu
6dc90d80f4 more compilation errors for struct variants of Operatio nenum fixed 2023-07-20 13:53:09 -07:00
Matthew Liu
2309793881 two changes: modified Operation enum to be struct instead of tuple variants and fixed associated compilation errors, also removed multiplicaitve depth field from NOdeInfo and fixed corresponding compilation errors 2023-07-20 13:35:42 -07:00
Matthew Liu
2aff8d0f1f compile fixes, added multiplicative_depth field to nodeinfos 2023-07-20 12:30:10 -07:00
Matthew Liu
c950a0a5e6 put multiplicative depth on nodeinfo, also updated operationtrait 2023-07-20 01:27:12 -07:00
Matthew Liu
904361ff84 fmt 2023-07-19 15:39:16 -07:00
Matthew Liu
090a11834b sunscreen fhe znd zkp support for stack ids on ndoes 2023-07-19 15:16:03 -07:00
Matthew Liu
bb671603cb passes tests with debugger feature enabled and disabled 2023-07-18 11:47:53 -07:00
Matthew Liu
31c59c991d proc macro updates to be able to get source code of an fhe program with .source() 2023-07-17 12:05:32 -07:00
Matthew Liu
145295584b format 2023-07-16 23:06:17 -07:00
Matthew Liu
cb46c4b85b fixed more compilation errors and enabled debugger feature in sunscreen_backend. next step: figure out secret vs privatekey and change debug_fhe_program accordingly 2023-07-16 02:05:27 -07:00
Matthew Liu
2eba60472a fxied remaining compilation issues in run 2023-07-14 14:10:36 -07:00
Matthew Liu
7e0cdc212d more compilation error fixes + moved fhe-debugger into debugger module 2023-07-14 13:33:17 -07:00
Matthew Liu
8f6a1d7b98 cleaned up some conditional compilation logic in context, also formatting fixes 2023-07-10 11:28:56 -07:00
Matthew Liu
243d748cdf fixed references of .0 into .graph and enabled conditional compilation of debugging structs, but this broke fhe_program proc macro 2023-07-10 11:03:09 -07:00
Matthew Liu
479a3319d9 format changes 2023-06-27 17:10:52 -07:00
Matthew Liu
02baf6d961 added support for node group ids in fhe compiler 2023-06-27 17:10:42 -07:00
Matthew Liu
70b5d21d7c finished support for group id in zkp programs 2023-06-27 14:27:04 -07:00
Sam Tay
aadde9d162 Offer a simpler API for runtime creation (#246) 
* Offer a simpler API for runtime creation

* Update docs and examples to use `FheRuntime::new`
 2023-06-06 18:56:46 -07:00
Sam Tay
66211f75b1 Fix 64-bit pointer assumptions (#243) 
* Fix 64-bit pointer assumptions

* Appease clippy

* Bump proc-macro2

(Fixes wasm build)
 2023-05-30 11:59:20 -07:00
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
Sam Tay
9346677d5d Expose ZkpContextOps 2023-03-29 10:08:52 -07: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
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
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