Commit Graph

682 Commits

Author SHA1 Message Date
Sam Tay
cb20e8d030 Decrypt statements (#348) 2024-02-20 22:55:49 +00:00
rickwebiii
4db46f0967 Rweber/high level (#351)
Add sample_extract to high_level API. More assertions.
2024-02-20 13:42:06 -08:00
Ryan Orendorff
37e884ef48 Bump cargo deps (#350) 2024-02-16 22:44:40 -07:00
Ryan Orendorff
dc8fdeab81 Sunscreen's TFHE implementation (#349)
Co-authored-by: Sam Tay <samctay@pm.me>
2024-02-16 22:29:35 +00:00
Ryan Orendorff
ab6a01e0b2 Add lwe_std_to_security_level (#347) 2024-02-14 12:56:43 -07:00
Sam Tay
14ce61f5bf Diverge link methods (#346) 2024-02-13 16:24:01 +00:00
Sam Tay
e9125df70d Allow insecure params for tests (#344) 2024-02-11 16:03:00 -05:00
Sam Tay
ae42ab7199 Disallow repeating linked inputs (#345) 2024-02-11 16:01:58 -05:00
Sam Tay
b0df5e7c37 Expose symmetric encryptions (#343) 2024-02-11 15:14:57 +00:00
Sam Tay
191536e5e7 Avoid extra CI builds (#340) 2024-02-08 00:22:36 +00:00
Sam Tay
c3cbf3781e Fix linked proof commitments (#342) 2024-02-07 17:46:00 -05:00
Sam Tay
a4f1cf6647 Link unsigned and rational FHE types (#341) 2024-02-05 14:22:10 -05:00
Sam Tay
18ea59b542 Proof linking (#339) 2024-02-03 20:01:24 +00:00
Sam Tay
7e17f2f3f7 Bump curve22519 fork (#338) 2024-01-18 13:04:13 -05:00
Sam Tay
94b7d0bd31 Generating SDLP for BFV statements (#337) 2024-01-17 18:22:47 +00:00
Ryan Orendorff
5cccd88ac0 Increase lwe_std_for_security_level dim 1024->2048 (#335) 2024-01-05 14:54:21 -07:00
Ryan Orendorff
66c5702641 Add combinations, stats, and security functions (#334) 2023-12-11 13:47:26 -07:00
rickwebiii
1f5a2b7356 fix broken doc links (#333)
Co-authored-by: Sam Tay <samctay@pm.me>
2023-11-30 13:29:29 -08:00
rickwebiii
5662da53f9 API docs typo (#332) 2023-10-26 23:53:08 +00:00
Ryan Orendorff
bc7cfb2ce2 Linked prove and verify functions (#328) 2023-10-25 16:20:20 -06:00
Ryan Orendorff
f341e89d02 Remove unused imports (#331) 2023-10-25 14:42:51 -06:00
Sexosexosexo
150fd11dd4 Fix ToUInt: 2^n doesn't fit n bits (#323) 2023-10-25 16:24:59 -04:00
Ryan Orendorff
5ac9ad4e46 SDLP commit to w_shared (#329) 2023-10-20 16:10:12 +00:00
Ryan Orendorff
66740aad5f Bump sunscreen_bulletproofs (#327) 2023-10-18 22:50:41 +00:00
Ryan Orendorff
85f68eb3ce SDLP and R1CS BP shared inputs (#324) 2023-10-18 16:16:46 -06:00
rickwebiii
59da8edb8c Rweber/asserts (#326) 2023-10-18 12:59:30 -07:00
Ryan Orendorff
82a7f2b801 Address clippy comments (#325) 2023-10-17 16:52:09 -06:00
Ryan Orendorff
5d843565f7 Use same jit_prover ordering as specified in lib (#322) 2023-10-10 17:04:57 -06:00
rickwebiii
f6131d47c8 Rweber/zint (#317) 2023-09-19 15:11:41 -07:00
rickwebiii
1b5e50e47c Tune workflow (#315)
Use 8-core runner for beefy tasks and shitty ones for shitty tasks
2023-09-11 17:22:41 -07:00
rickwebiii
08fbebf5ea Rweber/zq (#313)
Replace ark-ff in logproof with Sunscreen Ring traits.
2023-09-12 00:03:08 +00:00
Sam Tay
d9f64f4283 Bump all versions to 0.8.1 (#314) v0.8.1 2023-09-11 21:39:56 +00:00
Sam Tay
cbfa03bafe Fix odd type inference issue (#312) 2023-09-06 14:02:16 -04:00
rickwebiii
8681347d6a Rweber/zq (#310)
Update refify to be proc macro.
2023-08-29 14:11:52 -07:00
rickwebiii
aa17f7fd24 Rweber/emscripten (#309) 2023-08-28 14:43:09 +00:00
Ryan Orendorff
69891249f4 Add deterministic linux hash, gh actions workflow (#308) 2023-08-24 13:00:31 -06:00
Sam Tay
f0cdbe8a76 Bump mdbook (#307) 2023-08-23 15:04:14 +00:00
Sam Tay
9b4de3ca09 Fix missing version in dependencies (#306)
* Fix missing version in dependencies

* Fix crates.io metadata
v0.8.0
2023-08-22 22:27:47 -04:00
Sam Tay
cbbe0bafbe Bump all versions to 0.8.0 (#305) 2023-08-22 19:40:54 -04:00
Sam Tay
1c825db46e Make sure docs.rs builds with bulletproofs (#304) 2023-08-22 18:39:26 -04:00
Sam Tay
8eb8936f51 Add ZKP compiler docs (#302)
* Enable folding

* Move troubleshooting.md

* Merge in zkp docs

* Convert all absolute links to relative

* Fix CI
2023-08-22 18:35:53 -04:00
Ryan Orendorff
e90c11910c Add deterministic encryption (#303)
* Add deterministic encryption

* Add deterministic encryption flag, runtime

* Fix clippy

* Address PR comments
2023-08-21 17:57:43 -06:00
Sam Tay
4018eab87d Bump playground (#301) 2023-08-18 10:42:54 -04:00
Sam Tay
5b3ee93b3b Fixup api docs a bit (#300)
* Fixup api docs a bit

* FieldSpec should live in types::zkp along with Field
2023-08-17 13:48:00 -04:00
Ryan Orendorff
c0ef426ca0 Export components used in BFV, prove BFV is valid in SDLP (#285) 2023-08-10 12:13:29 -06:00
Ryan Orendorff
9af787075a Add restore-keys to github actions (#297) 2023-08-10 10:17:37 -06:00
rickwebiii
480453fe13 Update dependencies (#296)
Update dependencies
2023-08-04 22:44:23 -07:00
rickwebiii
641bf96bd4 Rweber/deps (#295)
Move all deps to [workspace.dependencies]
2023-08-04 17:23:06 -07:00
rickwebiii
7049199a29 Rweber/zq (#293)
Add Barret reduction for Ring type
2023-08-04 14:36:32 -07:00
Sam Tay
8fe63d6e88 Fix benchmark (#289) 2023-08-01 16:24:25 -04:00