arnaucube
/
ark-r1cs-std
mirror of https://github.com/arnaucube/ark-r1cs-std.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 8dca325 Make ToBitsGadget for FpVar's output constant-length (#12) by Weikeng Chen 2020-11-12 01:18:43 -0800
  • 6077f51 *Actually* fix `to_affine` for SW points. by Pratyush Mishra 2020-11-11 23:02:56 -0800
  • ceec513 Fix SW `to_affine` (#9) by Pratyush Mishra 2020-11-10 10:46:44 -0800
  • e5ec2e6 fix: fix wrong constant case detection in three_bit_cond_neg_lookup by Kobi Gurkan 2020-10-30 23:37:27 +0200
  • e5ac1f4 Remove `rustc-version` by Pratyush Mishra 2020-10-29 07:40:11 -0700
  • 2e2df52 replace frob(6) by unitary_inverse in bls12 by yelhousni 2020-10-21 12:06:06 +0100
  • 636f93a Update to `arkworks` libraries (#3) by Pratyush Mishra 2020-10-19 11:07:59 -0700
  • cf4301c Update workspace and dependency paths by Pratyush Mishra 2020-09-18 16:01:05 -0700
  • d087166 add to_bits_be by oblivious-app 2020-09-18 00:27:17 -0700
  • 2a8ee87 Exclude benches from tests by Pratyush Mishra 2020-09-16 23:14:03 -0700
  • 99e489c `R1CSVar`: `Option::None` -> `ConstraintSystemRef::None` (#281) by Pratyush Mishra 2020-09-16 23:09:41 -0700
  • 13332bc Add doctests for `Boolean` and `UInt8`. by Pratyush Mishra 2020-09-16 20:51:48 -0700
  • 3a18ece Add examples and doctests for instantiated curves by Pratyush Mishra 2020-09-13 17:24:17 -0700
  • 370fbcd Document `r1cs-std` by Pratyush Mishra 2020-09-10 01:16:01 -0700
  • c21d0b2 Add `ToConstraintFieldGadget` (#278) by Weikeng Chen 2020-09-14 21:56:51 -0700
  • 40ce981 Fix integer conversions and log2 by Pratyush Mishra 2020-09-11 23:28:00 -0700
  • 5e00793 Switch to `tracing`-based constraint debugging by Pratyush Mishra 2020-09-09 13:26:26 -0700
  • e22ab36 Fix nits by Pratyush Mishra 2020-09-09 13:26:26 -0700
  • d2d1b61 Refactor NIZK/MT verification to return a bit by Pratyush Mishra 2020-08-29 13:04:13 -0700
  • 6cca932 Refactor bit iteration infrastructure: by Pratyush Mishra 2020-08-28 11:39:38 -0700
  • bce7884 Export `impl_bounded_ops` by Weikeng Chen 2020-08-24 16:15:11 -0700
  • 3bb3697 Update `crypto-primitives` and their contraints. by Pratyush Mishra 2020-08-24 00:50:08 -0700
  • f575af4 Update `Cargo.toml` in `r1cs-std` and delete useless `ConstraintSystem`s by Pratyush Mishra 2020-08-24 00:48:00 -0700
  • 50388bd Update concrete curves in `r1cs-std`. by Pratyush Mishra 2020-08-24 00:47:21 -0700
  • 2695304 Update pairings in `r1cs-std`. by Pratyush Mishra 2020-08-24 00:46:40 -0700
  • 5e65926 Update curve variables in `r1cs-std`. by Pratyush Mishra 2020-08-24 00:46:03 -0700
  • 8022b59 Update field variables in `r1cs-std` by Pratyush Mishra 2020-08-24 00:45:37 -0700
  • 202ef32 Refactor variable traits in `r1cs-std`. by Pratyush Mishra 2020-08-24 00:45:03 -0700
  • 7b0f71a Refactor `bit` variables in `r1cs-std` by Pratyush Mishra 2020-08-24 00:44:20 -0700
  • ecee4d7 Make CI test all-features by Pratyush Mishra 2020-09-10 16:35:12 -0700
  • 04db050 (cargo-release) start next development iteration 0.1.1-alpha.0 by Pratyush Mishra 2020-09-10 15:41:20 -0700
  • 6c90710 (cargo-release) start next development iteration 0.1.1-alpha.0 by Pratyush Mishra 2020-09-10 15:41:20 -0700
  • 37d79e2 (cargo-release) start next development iteration 0.1.1-alpha.0 by Pratyush Mishra 2020-09-10 15:41:20 -0700
  • 61c70ed Prepare Zexe for recursion (#241) by Weikeng Chen 2020-07-20 15:42:25 -0700
  • 36305e7 Implement ed_on_bn254 curve (baby-jubjub) (#230) by Youssef El Housni 2020-07-01 21:25:02 +0200
  • a83914a Add mul_by_inverse to FieldGadget (#227) by Dev Ojha 2020-06-19 14:45:51 -0500
  • 75439b9 Add constant folding to FpGadget<F> (#226) by Dev Ojha 2020-06-19 13:43:25 -0500
  • 885e9d7 Add constraints for Edwards curves over MNT4 (#221) by Weikeng Chen 2020-06-14 21:51:56 -0700
  • 9391b1f Rename to `ed_on` by Pratyush Mishra 2020-06-12 17:54:52 -0700
  • 7a0177e Re-export `edwards_on_cp6_782` as `edwards_on_bw6_761` by Pratyush Mishra 2020-06-10 13:27:49 -0700
  • 40e8925 Fix no-std compilation by Pratyush Mishra 2020-06-10 01:15:27 -0700
  • d5e7d8b Compilation fix by Pratyush Mishra 2020-06-10 00:04:17 -0700
  • 1959a3d Rename curves by Pratyush Mishra 2020-06-09 23:08:29 -0700
  • 07e8c79 Update README with new badge by Pratyush Mishra 2020-06-10 02:32:41 -0700
  • bbf7329 Move to github actions by Pratyush Mishra 2020-06-10 01:34:36 -0700
  • 349407f Speed up exp_by_const by ValarDragon 2020-06-08 17:18:38 -0500
  • c555535 Improve invalid namespace error msg by ValarDragon 2020-06-08 12:49:19 -0500
  • 75c55f7 Change `from_repr` to output `Option<Self>` by Pratyush Mishra 2020-05-28 13:58:30 -0700
  • ecf863f expose function which enforces a <= (p-1)/2 by Georgios Konstantopoulos 2020-05-07 16:44:31 +0300
  • 67196d8 Formatting fix by Sergey Vasilyev 2020-05-06 00:40:53 +0300
  • 0b87c84 Merkle tree panics when there's a single leaf - fix by Sergey Vasilyev 2020-04-28 01:12:57 +0300
  • 4e0d92a Merkle tree fails to compute the root when there's no need in dummy nodes - fix by Sergey Vasilyev 2020-04-28 01:12:21 +0300
  • 97ca70b Merkle tree panics when there's a single leaf - test by Sergey Vasilyev 2020-04-28 00:13:10 +0300
  • f4e2039 Merkle tree fails to compute the root when there's no need in dummy nodes - test by Sergey Vasilyev 2020-04-28 00:07:10 +0300
  • ea2adb4 fix(fp-cmp): use enforce unchecked in enforce unchecked function by Georgios Konstantopoulos 2020-05-06 17:20:02 +0300
  • cc53449 Add x86_64 asm codegen for PrimeField mul and square (#176) by Pratyush Mishra 2020-05-04 06:05:22 -0700
  • 04267f4 Merge remote-tracking branch 'upstream/master' into inline-asm by Pratyush Mishra 2020-05-04 05:40:48 -0700
  • 11e689d Clean up features, and make nightly detection robust by Pratyush Mishra 2020-05-04 05:15:26 -0700
  • 95fbfe0 Merge branch 'master' into inline-asm by jon-chuang 2020-04-23 22:00:29 +0800
  • 3708a44 Give Travis more time by Pascal Berrang 2020-04-20 08:46:03 +0200
  • 9455f00 Add benchmark for mixed-radix and radix-2 FFT resembling the Groth16 operations. by Pascal Berrang 2020-04-14 13:58:14 +0200
  • 13b9c6c Split FpParameters/PrimeField and add FFT related traits by Pascal Berrang 2020-04-14 10:33:33 +0200
  • b1f4c50 Merge branch 'master' into inline-asm by jon-chuang 2020-04-23 08:26:20 +0800
  • bbb7d75 Implement `conditional_check_verify` for `NIZK`s (#195) by Bruno França 2020-04-22 21:30:33 +0100
  • 535f93d --emit=asm seemed to be hurting performance significantly... So lets not recommend it for now. by jon-chuang 2020-04-23 01:11:28 +0800
  • a919e86 update readme by jon-chuang 2020-04-22 23:35:34 +0800
  • 0b85f5c update readme by jon-chuang 2020-04-22 23:34:17 +0800
  • 4e85a68 update readme by jon-chuang 2020-04-22 23:33:40 +0800
  • 33583be more readme edits by jon-chuang 2020-04-22 17:14:40 +0800
  • 2d0f294 More detailed readme instructions by jon-chuang 2020-04-22 17:10:08 +0800
  • 60ebc0d readme asm instructions by jon-chuang 2020-04-22 17:05:48 +0800
  • 5cc094b Adds alloc_constant to AllocGadget (#189) by Kobi Gurkan 2020-04-19 02:03:33 +0300
  • c486e15 Add test cases for COFACTOR and generalize SW tests by Pascal Berrang 2020-04-09 10:08:31 +0200
  • d4a2d31 Fix Vec imports for no_std by Pascal Berrang 2020-04-07 09:35:19 +0200
  • 5659b0d Fix CI to test more code in `no_std` by Pratyush Mishra 2020-04-08 10:57:29 -0700
  • 0427d2a Merge branch 'master' into inline-asm by jon-chuang 2020-04-08 20:40:30 +0800
  • 33a9da0 Switch to `stable` cargo formatting options by Pratyush Mishra 2020-04-07 16:11:56 -0700
  • 456f30a Fix #172 and improve squaring code for deg-3 extensions (#174) by Pratyush Mishra 2020-04-07 19:29:54 -0700
  • 8631f88 MNT4/6 curves and recursive SNARKs (#150) by Pascal Berrang 2020-04-04 19:50:46 +0200
  • 81f3105 Fix MerkleTree leaf index calculation by Pratyush Mishra 2020-04-01 22:44:10 -0700
  • c58fc31 fmt and docs by Kobi Gurkan 2020-03-28 22:00:56 +0300
  • ded3d68 removes unused struct + fmt by Kobi Gurkan 2020-03-28 21:43:57 +0300
  • 8cd0999 moves cmp to be under FpGadget by Kobi Gurkan 2020-03-28 21:25:39 +0300
  • 60058b2 changes test name by Kobi Gurkan 2020-03-23 21:49:30 +0200
  • bd86eb4 uses core instead of std by Kobi Gurkan 2020-03-23 21:48:53 +0200
  • b0f266d fmt by Kobi Gurkan 2020-03-23 21:47:40 +0200
  • 7ed38fe makes API cmp-like by Kobi Gurkan 2020-03-23 21:47:11 +0200
  • ccbb5ef adds a smaller than gadget by Kobi Gurkan 2020-03-17 00:43:15 +0200
  • 33f7d39 Update uint64.rs by Weikeng Chen 2020-03-26 14:04:42 -0700
  • a205f19 used AllocGadget for UInt64 by weikeng 2020-03-26 13:22:26 -0700
  • 0ffa409 Apply suggestions from code review by Georgios Konstantopoulos 2020-03-24 11:17:42 +0200
  • f4e0307 test: ensure the Counter and the System match by Georgios Konstantopoulos 2020-03-23 11:07:06 +0200
  • 695df97 chore: add helper by Georgios Konstantopoulos 2020-03-23 10:02:07 +0200
  • 951a622 feat: TestConstraintCounter by Georgios Konstantopoulos 2020-03-23 09:32:05 +0200
  • b1913a9 Change default `to_bits` and `to_bytes` functions to the safe versions by Pratyush Mishra 2020-03-18 22:29:16 -0700
  • b24e705 Update `derivative` requirement from 1 to 2 (#140) by dependabot-preview[bot] 2020-03-16 15:25:12 -0700
  • 9ca5a94 Update digest requirement from 0.7 to 0.8 (#141) by dependabot-preview[bot] 2020-03-16 15:22:10 -0700
  • 20af44e fix fmt check by ValarDragon 2020-03-12 01:36:48 -0500
  • 23c6bb4 Rename arguments to CondSelectGadget for code clarity by ValarDragon 2020-03-12 01:13:43 -0500
  • 6c0ee7f Follow the nightly's suggested fmt change by Weikeng Chen 2020-03-04 23:41:48 -0800