arnaucube/ark-r1cs-std
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-r1cs-std.git synced 2026-01-09 07:21:29 +01:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 636f93a3e5 Update to arkworks libraries (#3) Pratyush Mishra 2020-10-19 11:07:59 -07:00
  • cf4301cb75 Update workspace and dependency paths Pratyush Mishra 2020-09-18 16:01:05 -07:00
  • d087166c51 add to_bits_be oblivious-app 2020-09-18 00:27:17 -07:00
  • 2a8ee871d8 Exclude benches from tests Pratyush Mishra 2020-09-16 23:14:03 -07:00
  • 99e489cac7 R1CSVar: Option::None -> ConstraintSystemRef::None (#281) Pratyush Mishra 2020-09-16 23:09:41 -07:00
  • 13332bcc1d Add doctests for Boolean and UInt8. Pratyush Mishra 2020-09-16 20:51:48 -07:00
  • 3a18ecee0d Add examples and doctests for instantiated curves Pratyush Mishra 2020-09-13 17:24:17 -07:00
  • 370fbcdd3b Document r1cs-std Pratyush Mishra 2020-09-10 01:16:01 -07:00
  • c21d0b2796 Add ToConstraintFieldGadget (#278) Weikeng Chen 2020-09-14 21:56:51 -07:00
  • 40ce981801 Fix integer conversions and log2 Pratyush Mishra 2020-09-11 23:28:00 -07:00
  • 5e00793999 Switch to tracing-based constraint debugging Pratyush Mishra 2020-09-09 13:26:26 -07:00
  • e22ab36f7e Fix nits Pratyush Mishra 2020-09-09 13:26:26 -07:00
  • d2d1b61d08 Refactor NIZK/MT verification to return a bit Pratyush Mishra 2020-08-29 13:04:13 -07:00
  • 6cca9327be Refactor bit iteration infrastructure: Pratyush Mishra 2020-08-28 11:39:38 -07:00
  • bce788419f Export impl_bounded_ops Weikeng Chen 2020-08-24 16:15:11 -07:00
  • 3bb3697c13 Update crypto-primitives and their contraints. Pratyush Mishra 2020-08-24 00:50:08 -07:00
  • f575af4da1 Update Cargo.toml in r1cs-std and delete useless ConstraintSystems Pratyush Mishra 2020-08-24 00:48:00 -07:00
  • 50388bdc22 Update concrete curves in r1cs-std. Pratyush Mishra 2020-08-24 00:47:21 -07:00
  • 26953045d4 Update pairings in r1cs-std. Pratyush Mishra 2020-08-24 00:46:40 -07:00
  • 5e65926a5e Update curve variables in r1cs-std. Pratyush Mishra 2020-08-24 00:46:03 -07:00
  • 8022b598fb Update field variables in r1cs-std Pratyush Mishra 2020-08-24 00:45:37 -07:00
  • 202ef3204d Refactor variable traits in r1cs-std. Pratyush Mishra 2020-08-24 00:45:03 -07:00
  • 7b0f71a10e Refactor bit variables in r1cs-std Pratyush Mishra 2020-08-24 00:44:20 -07:00
  • ecee4d7059 Make CI test all-features Pratyush Mishra 2020-09-10 16:35:12 -07:00
  • 04db0504ac (cargo-release) start next development iteration 0.1.1-alpha.0 Pratyush Mishra 2020-09-10 15:41:20 -07:00
  • 6c90710e09 (cargo-release) start next development iteration 0.1.1-alpha.0 Pratyush Mishra 2020-09-10 15:41:20 -07:00
  • 37d79e20a7 (cargo-release) start next development iteration 0.1.1-alpha.0 Pratyush Mishra 2020-09-10 15:41:20 -07:00
  • 61c70ed644 Prepare Zexe for recursion (#241) Weikeng Chen 2020-07-20 15:42:25 -07:00
  • 36305e7247 Implement ed_on_bn254 curve (baby-jubjub) (#230) Youssef El Housni 2020-07-01 21:25:02 +02:00
  • a83914af50 Add mul_by_inverse to FieldGadget (#227) Dev Ojha 2020-06-19 14:45:51 -05:00
  • 75439b9b4d Add constant folding to FpGadget<F> (#226) Dev Ojha 2020-06-19 13:43:25 -05:00
  • 885e9d7bad Add constraints for Edwards curves over MNT4 (#221) Weikeng Chen 2020-06-14 21:51:56 -07:00
  • 9391b1fd04 Rename to ed_on Pratyush Mishra 2020-06-12 17:54:52 -07:00
  • 7a0177e8c7 Re-export edwards_on_cp6_782 as edwards_on_bw6_761 Pratyush Mishra 2020-06-10 13:27:49 -07:00
  • 40e89254e0 Fix no-std compilation Pratyush Mishra 2020-06-10 01:15:27 -07:00
  • d5e7d8bb36 Compilation fix Pratyush Mishra 2020-06-10 00:04:17 -07:00
  • 1959a3de63 Rename curves Pratyush Mishra 2020-06-09 23:08:29 -07:00
  • 07e8c79d79 Update README with new badge Pratyush Mishra 2020-06-10 02:32:41 -07:00
  • bbf732980f Move to github actions Pratyush Mishra 2020-06-10 01:34:36 -07:00
  • 349407faef Speed up exp_by_const ValarDragon 2020-06-08 17:18:38 -05:00
  • c555535605 Improve invalid namespace error msg ValarDragon 2020-06-08 12:49:19 -05:00
  • 75c55f7bee Change from_repr to output Option<Self> Pratyush Mishra 2020-05-28 13:58:30 -07:00
  • ecf863f541 expose function which enforces a <= (p-1)/2 Georgios Konstantopoulos 2020-05-07 16:44:31 +03:00
  • 67196d8371 Formatting fix Sergey Vasilyev 2020-05-06 00:40:53 +03:00
  • 0b87c84cdd Merkle tree panics when there's a single leaf - fix Sergey Vasilyev 2020-04-28 01:12:57 +03:00
  • 4e0d92a6ec Merkle tree fails to compute the root when there's no need in dummy nodes - fix Sergey Vasilyev 2020-04-28 01:12:21 +03:00
  • 97ca70b854 Merkle tree panics when there's a single leaf - test Sergey Vasilyev 2020-04-28 00:13:10 +03:00
  • f4e2039d61 Merkle tree fails to compute the root when there's no need in dummy nodes - test Sergey Vasilyev 2020-04-28 00:07:10 +03:00
  • ea2adb4f7f fix(fp-cmp): use enforce unchecked in enforce unchecked function Georgios Konstantopoulos 2020-05-06 17:20:02 +03:00
  • cc534494ec Add x86_64 asm codegen for PrimeField mul and square (#176) Pratyush Mishra 2020-05-04 06:05:22 -07:00
  • 04267f48a2 Merge remote-tracking branch 'upstream/master' into inline-asm Pratyush Mishra 2020-05-04 05:40:48 -07:00
  • 11e689ddc0 Clean up features, and make nightly detection robust Pratyush Mishra 2020-05-04 05:15:26 -07:00
  • 95fbfe06f6 Merge branch 'master' into inline-asm jon-chuang 2020-04-23 22:00:29 +08:00
  • 3708a444a2 Give Travis more time Pascal Berrang 2020-04-20 08:46:03 +02:00
  • 9455f00c01 Add benchmark for mixed-radix and radix-2 FFT resembling the Groth16 operations. Pascal Berrang 2020-04-14 13:58:14 +02:00
  • 13b9c6c6fe Split FpParameters/PrimeField and add FFT related traits Pascal Berrang 2020-04-14 10:33:33 +02:00
  • b1f4c50fd8 Merge branch 'master' into inline-asm jon-chuang 2020-04-23 08:26:20 +08:00
  • bbb7d75ec8 Implement conditional_check_verify for NIZKs (#195) Bruno França 2020-04-22 21:30:33 +01:00
  • 535f93d378 --emit=asm seemed to be hurting performance significantly... So lets not recommend it for now. jon-chuang 2020-04-23 01:11:28 +08:00
  • a919e8658c update readme jon-chuang 2020-04-22 23:35:34 +08:00
  • 0b85f5cfa1 update readme jon-chuang 2020-04-22 23:34:17 +08:00
  • 4e85a68d0f update readme jon-chuang 2020-04-22 23:33:40 +08:00
  • 33583be17a more readme edits jon-chuang 2020-04-22 17:14:40 +08:00
  • 2d0f2943e0 More detailed readme instructions jon-chuang 2020-04-22 17:10:08 +08:00
  • 60ebc0d907 readme asm instructions jon-chuang 2020-04-22 17:05:48 +08:00
  • 5cc094be6b Adds alloc_constant to AllocGadget (#189) Kobi Gurkan 2020-04-19 02:03:33 +03:00
  • c486e15f0e Add test cases for COFACTOR and generalize SW tests Pascal Berrang 2020-04-09 10:08:31 +02:00
  • d4a2d31d07 Fix Vec imports for no_std Pascal Berrang 2020-04-07 09:35:19 +02:00
  • 5659b0d9ea Fix CI to test more code in no_std Pratyush Mishra 2020-04-08 10:57:29 -07:00
  • 0427d2a678 Merge branch 'master' into inline-asm jon-chuang 2020-04-08 20:40:30 +08:00
  • 33a9da08f8 Switch to stable cargo formatting options Pratyush Mishra 2020-04-07 16:11:56 -07:00
  • 456f30a849 Fix #172 and improve squaring code for deg-3 extensions (#174) Pratyush Mishra 2020-04-07 19:29:54 -07:00
  • 8631f883c4 MNT4/6 curves and recursive SNARKs (#150) Pascal Berrang 2020-04-04 19:50:46 +02:00
  • 81f3105a91 Fix MerkleTree leaf index calculation Pratyush Mishra 2020-04-01 22:44:10 -07:00
  • c58fc31119 fmt and docs Kobi Gurkan 2020-03-28 22:00:56 +03:00
  • ded3d687cc removes unused struct + fmt Kobi Gurkan 2020-03-28 21:43:57 +03:00
  • 8cd0999431 moves cmp to be under FpGadget Kobi Gurkan 2020-03-28 21:25:39 +03:00
  • 60058b2186 changes test name Kobi Gurkan 2020-03-23 21:49:30 +02:00
  • bd86eb4563 uses core instead of std Kobi Gurkan 2020-03-23 21:48:53 +02:00
  • b0f266de1e fmt Kobi Gurkan 2020-03-23 21:47:40 +02:00
  • 7ed38fe4a6 makes API cmp-like Kobi Gurkan 2020-03-23 21:47:11 +02:00
  • ccbb5ef553 adds a smaller than gadget Kobi Gurkan 2020-03-17 00:43:15 +02:00
  • 33f7d3988f Update uint64.rs Weikeng Chen 2020-03-26 14:04:42 -07:00
  • a205f191f7 used AllocGadget for UInt64 weikeng 2020-03-26 13:22:26 -07:00
  • 0ffa409ec1 Apply suggestions from code review Georgios Konstantopoulos 2020-03-24 11:17:42 +02:00
  • f4e030793c test: ensure the Counter and the System match Georgios Konstantopoulos 2020-03-23 11:07:06 +02:00
  • 695df979b5 chore: add helper Georgios Konstantopoulos 2020-03-23 10:02:07 +02:00
  • 951a6226c9 feat: TestConstraintCounter Georgios Konstantopoulos 2020-03-23 09:32:05 +02:00
  • b1913a9ca7 Change default to_bits and to_bytes functions to the safe versions Pratyush Mishra 2020-03-18 22:29:16 -07:00
  • b24e705527 Update derivative requirement from 1 to 2 (#140) dependabot-preview[bot] 2020-03-16 15:25:12 -07:00
  • 9ca5a94f2e Update digest requirement from 0.7 to 0.8 (#141) dependabot-preview[bot] 2020-03-16 15:22:10 -07:00
  • 20af44e3c9 fix fmt check ValarDragon 2020-03-12 01:36:48 -05:00
  • 23c6bb4bd0 Rename arguments to CondSelectGadget for code clarity ValarDragon 2020-03-12 01:13:43 -05:00
  • 6c0ee7ffbc Follow the nightly's suggested fmt change Weikeng Chen 2020-03-04 23:41:48 -08:00
  • e524e46d0b Add UInt64 used for representing Merkle tree node locations weikeng 2020-03-04 23:22:21 -08:00
  • 0df0a15e1b Blake PRF & R1CS Boolean Refactor (#132) Pratyush Mishra 2020-03-05 10:51:59 -08:00
  • 0b57cdd736 Add a pre-commit hook for rustfmt (#102) Pratyush Mishra 2020-03-04 16:05:57 -08:00
  • 50c0511ba3 Merge branch 'master' of https://github.com/scipr-lab/zexe Pratyush Mishra 2020-03-03 10:39:05 -08:00
  • b4b4e5553d Implement CanonicalSerialize/Deserialize improvements (#109) Pascal Berrang 2020-03-03 18:56:18 +01:00
  • 78e08aed97 Fix lint ValarDragon 2020-02-28 20:24:01 -08:00