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

  • 6263d26 (refs/pull/1/merge) Merge b120f9e111 into 38821bbf14 by Youssef El Housni 2025-01-31 14:49:55 -0500
  • b120f9e (refs/pull/1/head) perf(scalar_mul_le): use add_mixed for conditional subtraction by Youssef El Housni 2025-01-31 14:49:02 -0500
  • e6bcd58 perf(scalar_mul_le): use add_mixed for tail bits by Youssef El Housni 2025-01-31 13:26:08 -0500
  • e67ed82 perf: save 1 dbl in scalar_mul_le + fmt by Youssef El Housni 2025-01-30 13:56:16 -0500
  • 0ae123f feat: implement joint scalar mul by Youssef El Housni 2025-01-28 20:59:40 -0500
  • e93c7a8 feat: implement Joye07 scalar mul by Youssef El Housni 2025-01-28 20:53:34 -0500
  • 38821bb (cherry-pick) tmp fix to make it work at the current arkworks version with the cherry-picks by arnaucube 2024-10-02 12:42:49 +0200
  • 5b73436 Avoid deeply nested lc in `EvaluationsVar::interpolate_and_evaluate` by winderica 2024-04-08 04:47:26 +0800
  • ee8a423 (experimental) Experimental features by winderica 2024-06-01 03:57:18 +0800
  • 65e7fb1 (cp) Support commit and prove by winderica 2024-05-30 07:40:56 +0800
  • 1737456 (avoid_assigned_value) Return the internally recorded value in `Allocated{Bool, Fp}::value()` for performance by winderica 2024-04-30 02:29:16 +0800
  • ee6681d (poly_eval) Update changelog by winderica 2024-04-08 05:16:26 +0800
  • 64ca27e Avoid deeply nested lc in `EvaluationsVar::interpolate_and_evaluate` by winderica 2024-04-08 04:47:26 +0800
  • b5956aa (to_constraint_field_for_curve_var) Update changelog by winderica 2024-04-05 05:36:38 +0800
  • 0686b89 Add `ToConstraintFieldGadget` bounds to `CurveVar` and `FieldVar` by winderica 2024-04-05 05:36:23 +0800
  • 8e71ee5 alloc zero points consistently (#126) by Chris Sosnin 2023-08-19 23:43:52 +0300
  • 6cfead9 Handle zero-case in group scalar multiplication (#124) by Chris Sosnin 2023-08-19 23:51:58 +0300
  • f1640df (HEAD -> master) Update changelog by winderica 2024-04-02 05:59:27 +0800
  • 1f50d52 Add convenient method for variable allocation with inferred mode by winderica 2024-04-02 05:54:21 +0800
  • 4020fbc Add convenience impls for common types (#137) by Pratyush Mishra 2024-01-27 03:58:26 -0500
  • a124995 Add back `ToBytesGadget` and `ToBitsGadget` to `prelude` (#136) by Pratyush Mishra 2024-01-06 16:51:55 -0500
  • d011859 Refactor `UInt{8,16,64,128}` into one struct `UInt` (#121) by Pratyush Mishra 2024-01-03 08:23:54 -0500
  • 3cb9fde `FpVar::{is_eq, is_neq}` only need two constraints (#133) by winderica 2023-12-29 02:40:12 +0800
  • ed2d55e Rename `NonNativeFieldVar` -> `EmulatedFpVar` (#135) by Pratyush Mishra 2023-12-28 13:14:08 -0500
  • 1ff3a90 Add `Mul<NonNativeFieldVar> for Group` (#134) by Pratyush Mishra 2023-12-27 22:07:35 -0500
  • 6164009 Add CODEOWNERS (#130) by mmagician 2023-09-28 19:54:52 -0600
  • 2ca3bd7 convert nonnative constant to little endian (#127) by Chris Sosnin 2023-08-31 16:10:39 +0300
  • 7693d58 Handle zero-case in group scalar multiplication (#124) by Chris Sosnin 2023-08-19 23:51:58 +0300
  • f58b7b7 alloc zero points consistently (#126) by Chris Sosnin 2023-08-19 23:43:52 +0300
  • 529c8dc Import AdditiveGroup. (#122) by Michele Orrù 2023-08-19 21:53:45 +0200
  • f85e92d Update CI actions: replace `actions-rs/toolchain` with `dtolnay/rust-toolchain`, update `checkout` action to v3 (#120) by mmagician 2023-05-10 03:20:55 +0200
  • b477880 Fix base scalar multiplication (#117) by Pascal Berrang 2023-03-23 21:53:45 +0000
  • 69003c8 Fix for add_many (issue #23) (#113) by Tom Godden 2023-01-20 02:01:05 +0100
  • 4ea806f Update `master` branch to 0.4.0 (#115) by mmagician 2023-01-18 13:05:16 +0100
  • 054969f use frobenius_map_in_place instead of frobenious_map (#114) by mmagician 2022-12-28 16:15:23 +0100
  • d4edfb6 Prepare release 0.4 (#109) by mmagician 2022-12-28 16:04:33 +0100
  • 38b0057 Constant tobytes of Fp is in the wrong direction (#108) by onewayfunc 2022-10-30 15:03:44 -0700
  • f30b173 Sync with ark-algebra: change the location of `BitIteratorBE` (#107) by onewayfunc 2022-10-29 10:57:37 -0700
  • 4fbdc2b `identity` -> `zero` for `Affine` by Pratyush Mishra 2022-09-09 16:28:49 -0700
  • f2e53be Montgomery cannot use TE affine as intermediate representations (#103) by Weikeng Chen 2022-09-03 21:22:22 -0700
  • 2416780 Fix dangling batch normalization for twisted Edwards curves (#102) by Weikeng Chen 2022-09-03 20:26:17 -0700
  • 6b1cfd5 Fix `is_zero` for twisted Edwards curves (#101) by Weikeng Chen 2022-09-03 19:20:07 -0700
  • 6512e48 Use 2-NAF for representing ATE_LOOP_COUNT in MNT Miller loop (#96) by mmagician 2022-09-03 09:15:45 +0200
  • db6a3d6 Let `cargo build` work again for the new arkworks-rs algebra (#97) by Weikeng Chen 2022-08-21 20:10:14 -0700
  • 6d64f37 Fix with latest arkworks version. (#95) by Michele Orrù 2022-08-01 19:15:17 +0200
  • 4e1e8d0 Publicize non-zero weierstrass affine variables (#84) by Alex Ozdemir 2022-03-08 00:43:32 -0800
  • 51133ad Fix `patch` in `Cargo.toml` (#92) by Pratyush Mishra 2022-03-07 20:42:17 -0800
  • b787440 Upgrade to work with latest `ark-ff` (#90) by Weikeng Chen 2022-03-07 14:25:06 -0800
  • 50ab8ee Add a CI job to test against the curves repo (#88) by Marcin 2022-01-10 20:06:09 +0100
  • 986ab20 Minor Bug Fix (#87) by Tom Shen 2021-12-22 18:13:42 -0800
  • 1f56c46 Bug Fix in `domain` and API changes (#86) by Tom Shen 2021-12-07 11:47:05 -0800
  • 1cf947c Merge nonnative (#79) by Pratyush Mishra 2021-08-11 11:12:52 -0700
  • a2a5ac4 Fix BLS12 G2PreparedGadget's AllocVar with a divisive twist (#77) by Weikeng Chen 2021-08-11 04:05:13 -0700
  • b6e7e94 Introduce `mul_by_inverse_unchecked`, and use it (#75) by Pratyush Mishra 2021-07-15 16:39:34 -0700
  • 65faa3e `impl ToBytesGadget for Vec<UInt8>` (#76) by Pratyush Mishra 2021-07-12 12:04:22 -0700
  • 6e59e02 Release v0.3.1 (#73) by Weikeng Chen 2021-07-07 00:18:53 -0700
  • 47ddbaa Enforce `mul_by_inverse` (#70) by Weikeng Chen 2021-07-06 02:39:48 -0700
  • 1ad2104 Implement the `Sum` trait for `FpVar` (#71) by Weikeng Chen 2021-07-04 12:38:05 -0700
  • 3871781 For reference, add a test for non-zero-affine (#69) by Weikeng Chen 2021-07-02 16:52:06 -0700
  • 2b8e020 Release v0.3.0 (#66) by Weikeng Chen 2021-06-06 13:21:37 -0700
  • c3a99ac Let `Radix2Domain::offset` to be `FpVar` instead of `F` (#65) by Tom Shen 2021-06-06 12:56:30 -0700
  • 02ee91d Use batch_inversion_and_mul within native lagrange interpolation (#63) by Dev Ojha 2021-05-10 17:11:09 -0500
  • 989f579 Add Univariate Domain, Vanishing Polynomial, Lagrange Interpolation (#53) by Tom Shen 2021-05-10 12:12:28 -0700
  • d1be6d1 Upgrade to GitHub-native Dependabot (#61) by dependabot-preview[bot] 2021-04-29 09:07:46 -0700
  • 5debc6f Rename AllocatedBit to AllocatedBool (#60) by Dev Ojha 2021-04-09 18:09:18 -0500
  • 47f296a Release v0.2.0 PR (#59) by Dev Ojha 2021-03-24 19:39:42 -0500
  • 2348acf Update changelog for release by ValarDragon 2021-03-24 09:25:43 -0700
  • b8a268d Check docs in CI by Pratyush Mishra 2021-03-24 03:49:35 -0700
  • 736b552 Fix by Pratyush Mishra 2021-03-24 03:47:30 -0700
  • 73ac661 Update CHANGELOG by Pratyush Mishra 2021-03-24 02:56:40 -0700
  • 53b2ac4 Fix `UInt` docs by Pratyush Mishra 2021-03-24 02:10:44 -0700
  • fc44ff2 Update num-bigint requirement from 0.3 to 0.4 by dependabot-preview[bot] 2021-03-08 06:52:15 +0000
  • a1e7215 fixed link format (#54) by Elder Ryan 2021-02-22 00:58:59 +0800
  • 09f3613 Add DensePolynomialVar (#50) by Tom Shen 2021-02-04 17:12:23 -0800
  • b741ffc replace `rand` with `ark_std::rand` and drop `rand_xorshift` (#51) by Weikeng Chen 2021-02-04 14:24:29 -0800
  • 1f83ffd Switch to panic='abort' for safety across FFI boundaries (#47) by Dev Ojha 2021-02-04 16:04:55 -0600
  • 05fee34 Add Mux gadget (#48) by Tom Shen 2021-02-04 13:52:29 -0800
  • a8f737b Fix boolean or comment (#44) by Kobi Gurkan 2021-01-27 10:46:13 +0200
  • d9e0200 Improve handling of constant bits in scalar mul for SW curves (#43) by Pratyush Mishra 2021-01-22 14:55:55 -0800
  • 5e4114b Better scalar multiplication for Short Weierstrass curves (#40) by Pratyush Mishra 2021-01-15 13:18:26 -0800
  • f88d7c6 Make `mul_by_inverse` use one constraint (#42) by Dev Ojha 2021-01-15 12:55:26 -0600
  • bdc9fbb Add changelog and .github issue templates (#39) by Dev Ojha 2021-01-14 12:01:40 -0600
  • 2432ff4 Implement ToConstraintFieldGadget for Vec<UInt8> (#36) by William Lin 2021-01-11 23:56:40 -0800
  • 20bd452 Construct `FpVar` from bits (#35) by Pratyush Mishra 2021-01-11 16:24:39 -0800
  • 0162ef1 More efficient scalar multiplication for Short Weierstrass curves (#33) by Pratyush Mishra 2021-01-10 13:18:11 -0800
  • 262fac3 Loosen restrictions by Pratyush Mishra 2021-01-08 21:02:30 -0800
  • a44643e Fix `mul_by_inverse` for constants by Pratyush Mishra 2021-01-08 16:53:56 -0800
  • f52b866 Fix documentation links (#28) by Pratyush Mishra 2020-12-23 19:46:02 -0800
  • 1e935b0 Fix `to_non_unique_bytes` for `BLS12::G1Prepared` by Pratyush Mishra 2020-12-16 10:35:53 -0800
  • 9cb17dc Fix links in `Cargo.toml`s by Pratyush Mishra 2020-12-15 13:04:33 -0800
  • 0fd45d3 Reduce allocations in `UInt`s by Pratyush Mishra 2020-12-08 22:56:14 -0800
  • 905e728 Reduce density of `ThreeBitCondNegLookup` by jon-chuang 2020-11-25 16:26:32 +0800
  • 68f08b9 Add UInt128 for u128 (#21) by Weikeng Chen 2020-11-23 15:26:10 -0800
  • 77dfd7d 'cargo +stable fmt' by Nirvan Tyagi 2020-11-20 15:02:27 -0500
  • 45a4c3b 'cargo fmt' by Nirvan Tyagi 2020-11-20 13:03:42 -0500
  • 957ac48 Apply suggestions from code review by Nirvan Tyagi 2020-11-20 12:54:13 -0500
  • 0abb3a7 CondSelectGadget for UInts by Nirvan Tyagi 2020-11-19 22:32:21 -0500
  • edc9a8c Allow CS being none for into_edwards (#16) by Weikeng Chen 2020-11-16 01:39:07 -0800
  • 18824c0 Allow CS being none for into_edwards (#15) by Weikeng Chen 2020-11-16 00:11:35 -0800
  • f469162 Add ToConstraintFieldGadget for ProjectiveVar (#13) by Weikeng Chen 2020-11-12 01:41:59 -0800