Commit Graph

  • 839015613d Avoid having CI build things twice Sam Tay 2024-02-01 18:41:43 -05:00
  • 99ad7b1e06 Fix commands using --features bulletproofs at workspace root Sam Tay 2024-02-01 16:26:58 -05:00
  • 42751dd66a Pull linkedproof example out of workspace Sam Tay 2024-02-01 15:34:03 -05:00
  • d50034b36e Runtime doesnt actually need solo bp feature Sam Tay 2024-02-01 14:24:14 -05:00
  • 3b457f1f54 Disallow and fix warnings Sam Tay 2024-02-01 14:00:37 -05:00
  • eaf2ca6ecc Remove unnecessary dep Sam Tay 2024-02-01 13:30:40 -05:00
  • ae73fe84ff Try to make compiler.rs a little more understandable Sam Tay 2024-02-01 12:07:22 -05:00
  • 8834c5f07a Add docs Sam Tay 2024-02-01 11:30:32 -05:00
  • c84d17541e Dont share unsigned until ready to implement Sam Tay 2024-01-31 19:33:25 -05:00
  • d8d977234f Test compilation happens as expected Sam Tay 2024-01-31 19:28:41 -05:00
  • 33fa0fd3af Fix type param labels Sam Tay 2024-01-31 19:28:08 -05:00
  • c7a1fe57f5 Add test for arg mismatch error Sam Tay 2024-01-31 18:00:32 -05:00
  • 8416afda52 Validate shared ZKP args match signature Sam Tay 2024-01-31 17:29:20 -05:00
  • 74a50f69b8 Generalize arg validation so it can be used elsewhere Sam Tay 2024-01-31 17:28:09 -05:00
  • 238e654d81 Validate ZKP arg signature Sam Tay 2024-01-31 12:11:45 -05:00
  • f2503fcc2c Update TODOs/comments Sam Tay 2024-01-30 20:21:23 -05:00
  • ba8e3cec69 Fixup bfv statement warnings & tests Sam Tay 2024-01-30 20:14:17 -05:00
  • 9e47ff8ba5 Bump stack size for chi_sq test Sam Tay 2024-01-30 19:45:45 -05:00
  • 3840c73d6e Add test that rust compiler ensures valid sunscreen compiler usage Sam Tay 2024-01-30 19:16:17 -05:00
  • c8a4f74f42 Test that footguns are caught, at least at runtime Sam Tay 2024-01-30 19:02:05 -05:00
  • df5f39d0b7 Simplify bfv_statement types Sam Tay 2024-01-30 19:01:01 -05:00
  • ed5b209ae1 Use text attr instead of ignore on things that arent code Sam Tay 2024-01-30 18:20:55 -05:00
  • dd2d71246a Update docs Sam Tay 2024-01-30 18:19:27 -05:00
  • 2e1c7147a8 Fix docs Sam Tay 2024-01-30 15:31:49 -05:00
  • c9a0b62816 Rm duped code Sam Tay 2024-01-30 14:33:56 -05:00
  • 0b9659fa71 Allow using Sdlp as a standalone proof Sam Tay 2024-01-30 14:12:50 -05:00
  • 0db72a5687 Explicitly support only 2^k plaintext moduli Sam Tay 2024-01-30 12:40:02 -05:00
  • 6cb08c0a87 Speed up tests a bit Sam Tay 2024-01-30 12:01:47 -05:00
  • 46a01dd80a Only error on missing FHE prog if shared ZKP present Sam Tay 2024-01-30 11:52:21 -05:00
  • a38b513526 Wow, it works! Yay! Sam Tay 2024-01-30 01:06:27 -05:00
  • 84e8745237 Add #[shared] attr, clean up Sam Tay 2024-01-27 11:24:55 -05:00
  • 5c512a02eb Share all underlying plaintexts Sam Tay 2024-01-26 13:39:53 -05:00
  • 4313391bea Decode shared Signed values into field elements Sam Tay 2024-01-26 13:14:25 -05:00
  • 843090887c Fix 2s complement length calculation Sam Tay 2024-01-26 13:06:29 -05:00
  • 6a6ae701d7 Use default bounds per sunscreen encoding Sam Tay 2024-01-25 12:26:59 -05:00
  • 58234d247b A much needed refactor of the builder Sam Tay 2024-01-23 18:40:10 -05:00
  • 5ccfa981ae Merge remote-tracking branch 'origin/main' into samtay/proof-linking Sam Tay 2024-01-23 16:29:18 -05:00
  • 19bf4fbdc7 Change sdlp into a builder module Sam Tay 2024-01-23 16:07:47 -05:00
  • 867da44611 Move and compact seal definitions Sam Tay 2024-01-23 15:25:20 -05:00
  • b3775a4fed Extend builder to linkedproofs Sam Tay 2024-01-23 14:03:40 -05:00
  • 004f2a7210 More attempt at dyn route Sam Tay 2024-01-22 12:02:17 -05:00
  • 589c7fe85e WIP: it.. works? Sam Tay 2024-01-22 10:46:54 -05:00
  • 7d5b66b17b Add tests for LogProofBuilder Sam Tay 2024-01-19 18:07:04 -05:00
  • 37b8a22ab8 Remove boilerplate Sam Tay 2024-01-19 15:21:56 -05:00
  • a6df5e8544 WIP runtime api Sam Tay 2024-01-19 11:17:57 -05:00
  • 7e17f2f3f7 Bump curve22519 fork (#338) Sam Tay 2024-01-18 13:04:13 -05:00
  • 94b7d0bd31 Generating SDLP for BFV statements (#337) Sam Tay 2024-01-17 13:22:47 -05:00
  • 5cccd88ac0 Increase lwe_std_for_security_level dim 1024->2048 (#335) Ryan Orendorff 2024-01-05 16:54:21 -05:00
  • 66c5702641 Add combinations, stats, and security functions (#334) Ryan Orendorff 2023-12-11 13:47:26 -07:00
  • 1f5a2b7356 fix broken doc links (#333) rickwebiii 2023-11-30 13:29:29 -08:00
  • 0ccc76f784 Fix a few more links rweber/docs Sam Tay 2023-11-17 10:29:36 -05:00
  • 90ac4ebee6 fix broken doc links rickwebiii 2023-11-17 14:15:10 +03:00
  • 5662da53f9 API docs typo (#332) rickwebiii 2023-10-26 16:53:08 -07:00
  • 2d9eb6096a typo rweber/typo rweber/fixes rickwebiii 2023-10-26 16:41:26 -07:00
  • bc7cfb2ce2 Linked prove and verify functions (#328) Ryan Orendorff 2023-10-25 16:20:20 -06:00
  • f341e89d02 Remove unused imports (#331) Ryan Orendorff 2023-10-25 14:42:51 -06:00
  • 150fd11dd4 Fix ToUInt: 2^n doesn't fit n bits (#323) Sexosexosexo 2023-10-25 22:24:59 +02:00
  • 5ac9ad4e46 SDLP commit to w_shared (#329) Ryan Orendorff 2023-10-20 10:10:12 -06:00
  • 8f80ce4ad5 remove logging rweber/noprint rickwebiii 2023-10-18 17:11:55 -07:00
  • 0a859c70df no print rickwebiii 2023-10-18 17:08:11 -07:00
  • 66740aad5f Bump sunscreen_bulletproofs (#327) Ryan Orendorff 2023-10-18 16:50:41 -06:00
  • 85f68eb3ce SDLP and R1CS BP shared inputs (#324) Ryan Orendorff 2023-10-18 16:16:46 -06:00
  • 59da8edb8c Rweber/asserts (#326) rickwebiii 2023-10-18 12:59:30 -07:00
  • 82a7f2b801 Address clippy comments (#325) Ryan Orendorff 2023-10-17 16:52:09 -06:00
  • 5d843565f7 Use same jit_prover ordering as specified in lib (#322) Ryan Orendorff 2023-10-10 17:04:57 -06:00
  • 91f1ffae7e Clip the clippy Sam Tay 2023-09-21 08:33:41 -04:00
  • b648b49479 Clean up bench Sam Tay 2023-09-20 22:22:54 -04:00
  • f10e13616f Compare fhe.rs directly against seal Sam Tay 2023-09-20 15:44:51 -04:00
  • 33b14112d8 Print ciphertext sizes Sam Tay 2023-09-19 16:02:42 -04:00
  • df1cc72155 Benchmark a bunch more stuff Sam Tay 2023-09-12 17:17:56 -04:00
  • 1458ddaf3d Bench fhe.rs vs SEAL Sam Tay 2023-09-11 16:29:39 -04:00
  • f6131d47c8 Rweber/zint (#317) rickwebiii 2023-09-19 15:11:41 -07:00
  • ddcd5485da workflow update rweber/zint rickwebiii 2023-09-19 15:02:37 -07:00
  • 85d5d9f7d5 Fix byte conversion rickwebiii 2023-09-19 14:52:05 -07:00
  • 2dfe2c6f6f CLippy rickwebiii 2023-09-19 13:58:52 -07:00
  • 331d3184eb WIP, get ZInt working rickwebiii 2023-09-19 13:57:54 -07:00
  • 1b5e50e47c Tune workflow (#315) rickwebiii 2023-09-11 17:22:41 -07:00
  • 190509753b WIP rweber/workflow rickwebiii 2023-09-11 17:10:10 -07:00
  • 97d1975458 Tune workflow rickwebiii 2023-09-11 17:05:08 -07:00
  • 08fbebf5ea Rweber/zq (#313) rickwebiii 2023-09-11 17:03:08 -07:00
  • b191433be8 CR comments rweber/zq rickwebiii 2023-09-11 16:50:57 -07:00
  • 7d59dcb780 Fix docs rickwebiii 2023-09-11 14:57:11 -07:00
  • 9c15a6b87b Move from ark-ff Field to Ring rickwebiii 2023-08-29 15:17:48 -07:00
  • d9f64f4283 Bump all versions to 0.8.1 (#314) v0.8.1 Sam Tay 2023-09-11 17:39:56 -04:00
  • 3e1b2bea40 Bump lockfile samtay/v8-patch Sam Tay 2023-09-11 16:55:04 -04:00
  • ee70e6a623 Appease clippy Sam Tay 2023-09-11 16:54:52 -04:00
  • 25b730e2ba Bump all versions to 0.8.1 Sam Tay 2023-09-11 16:35:59 -04:00
  • cbfa03bafe Fix odd type inference issue (#312) Sam Tay 2023-09-06 14:02:16 -04:00
  • 8681347d6a Rweber/zq (#310) rickwebiii 2023-08-29 22:11:52 +01:00
  • aa17f7fd24 Rweber/emscripten (#309) rickwebiii 2023-08-28 15:43:09 +01:00
  • 9c64aa58d2 WIP rweber/emscripten rickwebiii 2023-08-28 15:23:56 +01:00
  • 1447b1cc95 WIP rickwebiii 2023-08-28 15:15:09 +01:00
  • b8f7f0cce6 WIP rickwebiii 2023-08-28 14:23:15 +01:00
  • c6808500df Revert to just AMM rickwebiii 2023-08-28 14:19:15 +01:00
  • 6f1abdae42 WIP rickwebiii 2023-08-28 14:01:51 +01:00
  • 89f76ed1a6 WIP rickwebiii 2023-08-28 13:54:31 +01:00
  • 356e311fdf WIP rickwebiii 2023-08-28 13:43:08 +01:00
  • 73c3eb074a WIP rickwebiii 2023-08-28 13:40:16 +01:00
  • 4969474a39 WIP rickwebiii 2023-08-28 13:36:44 +01:00
  • ad761b984f Add emscripten CI rickwebiii 2023-08-28 13:31:01 +01:00