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

Commit Graph

  • 38821bbf14 tmp fix to make it work at the current arkworks version with the cherry-picks cherry-pick arnaucube 2024-10-02 12:42:49 +02:00
  • 5b73436084 Avoid deeply nested lc in EvaluationsVar::interpolate_and_evaluate winderica 2024-04-08 04:47:26 +08:00
  • ee8a42312b Experimental features experimental winderica 2024-06-01 03:57:18 +08:00
  • 65e7fb1ef1 Support commit and prove cp winderica 2024-05-30 07:40:56 +08:00
  • 1737456304 Return the internally recorded value in Allocated{Bool, Fp}::value() for performance avoid_assigned_value winderica 2024-04-30 02:29:16 +08:00
  • ee6681d2de Update changelog poly_eval winderica 2024-04-08 05:16:26 +08:00
  • 64ca27e3fb Avoid deeply nested lc in EvaluationsVar::interpolate_and_evaluate winderica 2024-04-08 04:47:26 +08:00
  • b5956aa985 Update changelog to_constraint_field_for_curve_var winderica 2024-04-05 05:36:38 +08:00
  • 0686b89729 Add ToConstraintFieldGadget bounds to CurveVar and FieldVar winderica 2024-04-05 05:36:23 +08:00
  • 8e71ee527e alloc zero points consistently (#126) Chris Sosnin 2023-08-19 23:43:52 +03:00
  • 6cfead9d9f Handle zero-case in group scalar multiplication (#124) Chris Sosnin 2023-08-19 23:51:58 +03:00
  • f1640df6a6 Update changelog master winderica 2024-04-02 05:59:27 +08:00
  • 1f50d52a5f Add convenient method for variable allocation with inferred mode winderica 2024-04-02 05:54:21 +08:00
  • 4020fbc226 Add convenience impls for common types (#137) Pratyush Mishra 2024-01-27 03:58:26 -05:00
  • a12499518c Add back ToBytesGadget and ToBitsGadget to prelude (#136) Pratyush Mishra 2024-01-06 16:51:55 -05:00
  • d011859416 Refactor UInt{8,16,64,128} into one struct UInt (#121) Pratyush Mishra 2024-01-03 08:23:54 -05:00
  • 3cb9fdef00 FpVar::{is_eq, is_neq} only need two constraints (#133) winderica 2023-12-29 02:40:12 +08:00
  • ed2d55e6ff Rename NonNativeFieldVar -> EmulatedFpVar (#135) Pratyush Mishra 2023-12-28 13:14:08 -05:00
  • 1ff3a902bd Add Mul<NonNativeFieldVar> for Group (#134) Pratyush Mishra 2023-12-27 22:07:35 -05:00
  • 61640099e6 Add CODEOWNERS (#130) mmagician 2023-09-28 19:54:52 -06:00
  • 2ca3bd7d97 convert nonnative constant to little endian (#127) Chris Sosnin 2023-08-31 16:10:39 +03:00
  • 7693d58690 Handle zero-case in group scalar multiplication (#124) Chris Sosnin 2023-08-19 23:51:58 +03:00
  • f58b7b797b alloc zero points consistently (#126) Chris Sosnin 2023-08-19 23:43:52 +03:00
  • 529c8dc29e Import AdditiveGroup. (#122) Michele Orrù 2023-08-19 21:53:45 +02:00
  • f85e92d685 Update CI actions: replace actions-rs/toolchain with dtolnay/rust-toolchain, update checkout action to v3 (#120) mmagician 2023-05-10 03:20:55 +02:00
  • b477880a3b Fix base scalar multiplication (#117) Pascal Berrang 2023-03-23 21:53:45 +00:00
  • 69003c80d4 Fix for add_many (issue #23) (#113) Tom Godden 2023-01-20 02:01:05 +01:00
  • 4ea806f172 Update master branch to 0.4.0 (#115) mmagician 2023-01-18 13:05:16 +01:00
  • 054969fbce use frobenius_map_in_place instead of frobenious_map (#114) mmagician 2022-12-28 16:15:23 +01:00
  • d4edfb6e15 Prepare release 0.4 (#109) mmagician 2022-12-28 16:04:33 +01:00
  • 38b0057319 Constant tobytes of Fp is in the wrong direction (#108) onewayfunc 2022-10-30 15:03:44 -07:00
  • f30b173d0d Sync with ark-algebra: change the location of BitIteratorBE (#107) onewayfunc 2022-10-29 10:57:37 -07:00
  • 4fbdc2b6a5 identity -> zero for Affine Pratyush Mishra 2022-09-09 16:28:49 -07:00
  • f2e53be88e Montgomery cannot use TE affine as intermediate representations (#103) Weikeng Chen 2022-09-03 21:22:22 -07:00
  • 2416780e0f Fix dangling batch normalization for twisted Edwards curves (#102) Weikeng Chen 2022-09-03 20:26:17 -07:00
  • 6b1cfd5396 Fix is_zero for twisted Edwards curves (#101) Weikeng Chen 2022-09-03 19:20:07 -07:00
  • 6512e48540 Use 2-NAF for representing ATE_LOOP_COUNT in MNT Miller loop (#96) mmagician 2022-09-03 09:15:45 +02:00
  • db6a3d6687 Let cargo build work again for the new arkworks-rs algebra (#97) Weikeng Chen 2022-08-21 20:10:14 -07:00
  • 6d64f379a2 Fix with latest arkworks version. (#95) Michele Orrù 2022-08-01 19:15:17 +02:00
  • 4e1e8d048d Publicize non-zero weierstrass affine variables (#84) Alex Ozdemir 2022-03-08 00:43:32 -08:00
  • 51133ad521 Fix patch in Cargo.toml (#92) Pratyush Mishra 2022-03-07 20:42:17 -08:00
  • b7874406ec Upgrade to work with latest ark-ff (#90) Weikeng Chen 2022-03-07 14:25:06 -08:00
  • 50ab8ee5ba Add a CI job to test against the curves repo (#88) Marcin 2022-01-10 20:06:09 +01:00
  • 986ab20ac0 Minor Bug Fix (#87) Tom Shen 2021-12-22 18:13:42 -08:00
  • 1f56c46edc Bug Fix in domain and API changes (#86) Tom Shen 2021-12-07 11:47:05 -08:00
  • 1cf947c761 Merge nonnative (#79) Pratyush Mishra 2021-08-11 11:12:52 -07:00
  • a2a5ac491a Fix BLS12 G2PreparedGadget's AllocVar with a divisive twist (#77) Weikeng Chen 2021-08-11 04:05:13 -07:00
  • b6e7e94521 Introduce mul_by_inverse_unchecked, and use it (#75) Pratyush Mishra 2021-07-15 16:39:34 -07:00
  • 65faa3e699 impl ToBytesGadget for Vec<UInt8> (#76) Pratyush Mishra 2021-07-12 12:04:22 -07:00
  • 6e59e02a1b Release v0.3.1 (#73) Weikeng Chen 2021-07-07 00:18:53 -07:00
  • 47ddbaa411 Enforce mul_by_inverse (#70) Weikeng Chen 2021-07-06 02:39:48 -07:00
  • 1ad210462c Implement the Sum trait for FpVar (#71) Weikeng Chen 2021-07-04 12:38:05 -07:00
  • 3871781225 For reference, add a test for non-zero-affine (#69) Weikeng Chen 2021-07-02 16:52:06 -07:00
  • 2b8e020aad Release v0.3.0 (#66) Weikeng Chen 2021-06-06 13:21:37 -07:00
  • c3a99ac3f6 Let Radix2Domain::offset to be FpVar instead of F (#65) Tom Shen 2021-06-06 12:56:30 -07:00
  • 02ee91d61b Use batch_inversion_and_mul within native lagrange interpolation (#63) Dev Ojha 2021-05-10 17:11:09 -05:00
  • 989f579ca8 Add Univariate Domain, Vanishing Polynomial, Lagrange Interpolation (#53) Tom Shen 2021-05-10 12:12:28 -07:00
  • d1be6d1d76 Upgrade to GitHub-native Dependabot (#61) dependabot-preview[bot] 2021-04-29 09:07:46 -07:00
  • 5debc6f8f1 Rename AllocatedBit to AllocatedBool (#60) Dev Ojha 2021-04-09 18:09:18 -05:00
  • 47f296ae67 Release v0.2.0 PR (#59) Dev Ojha 2021-03-24 19:39:42 -05:00
  • 2348acf3a1 Update changelog for release ValarDragon 2021-03-24 09:25:43 -07:00
  • b8a268d550 Check docs in CI Pratyush Mishra 2021-03-24 03:49:35 -07:00
  • 736b552720 Fix Pratyush Mishra 2021-03-24 03:47:30 -07:00
  • 73ac661ddf Update CHANGELOG Pratyush Mishra 2021-03-24 02:56:40 -07:00
  • 53b2ac48fa Fix UInt docs Pratyush Mishra 2021-03-24 02:10:44 -07:00
  • fc44ff2de7 Update num-bigint requirement from 0.3 to 0.4 dependabot-preview[bot] 2021-03-08 06:52:15 +00:00
  • a1e72154bf fixed link format (#54) Elder Ryan 2021-02-22 00:58:59 +08:00
  • 09f3613aac Add DensePolynomialVar (#50) Tom Shen 2021-02-04 17:12:23 -08:00
  • b741ffc33d replace rand with ark_std::rand and drop rand_xorshift (#51) Weikeng Chen 2021-02-04 14:24:29 -08:00
  • 1f83ffdff4 Switch to panic='abort' for safety across FFI boundaries (#47) Dev Ojha 2021-02-04 16:04:55 -06:00
  • 05fee34686 Add Mux gadget (#48) Tom Shen 2021-02-04 13:52:29 -08:00
  • a8f737bf26 Fix boolean or comment (#44) Kobi Gurkan 2021-01-27 10:46:13 +02:00
  • d9e0200433 Improve handling of constant bits in scalar mul for SW curves (#43) Pratyush Mishra 2021-01-22 14:55:55 -08:00
  • 5e4114b19c Better scalar multiplication for Short Weierstrass curves (#40) Pratyush Mishra 2021-01-15 13:18:26 -08:00
  • f88d7c6ea3 Make mul_by_inverse use one constraint (#42) Dev Ojha 2021-01-15 12:55:26 -06:00
  • bdc9fbbf30 Add changelog and .github issue templates (#39) Dev Ojha 2021-01-14 12:01:40 -06:00
  • 2432ff4f88 Implement ToConstraintFieldGadget for Vec<UInt8> (#36) William Lin 2021-01-11 23:56:40 -08:00
  • 20bd452cd9 Construct FpVar from bits (#35) Pratyush Mishra 2021-01-11 16:24:39 -08:00
  • 0162ef18bc More efficient scalar multiplication for Short Weierstrass curves (#33) Pratyush Mishra 2021-01-10 13:18:11 -08:00
  • 262fac3e83 Loosen restrictions Pratyush Mishra 2021-01-08 21:02:30 -08:00
  • a44643ed76 Fix mul_by_inverse for constants Pratyush Mishra 2021-01-08 16:53:56 -08:00
  • f52b866e59 Fix documentation links (#28) Pratyush Mishra 2020-12-23 19:46:02 -08:00
  • 1e935b0b94 Fix to_non_unique_bytes for BLS12::G1Prepared Pratyush Mishra 2020-12-16 10:35:53 -08:00
  • 9cb17dc130 Fix links in Cargo.tomls Pratyush Mishra 2020-12-15 13:04:33 -08:00
  • 0fd45d3d83 Reduce allocations in UInts Pratyush Mishra 2020-12-08 22:56:14 -08:00
  • 905e7284b2 Reduce density of ThreeBitCondNegLookup jon-chuang 2020-11-25 16:26:32 +08:00
  • 68f08b94d2 Add UInt128 for u128 (#21) Weikeng Chen 2020-11-23 15:26:10 -08:00
  • 77dfd7dac6 'cargo +stable fmt' Nirvan Tyagi 2020-11-20 15:02:27 -05:00
  • 45a4c3b326 'cargo fmt' Nirvan Tyagi 2020-11-20 13:03:42 -05:00
  • 957ac48da4 Apply suggestions from code review Nirvan Tyagi 2020-11-20 12:54:13 -05:00
  • 0abb3a7dfe CondSelectGadget for UInts Nirvan Tyagi 2020-11-19 22:32:21 -05:00
  • edc9a8ce02 Allow CS being none for into_edwards (#16) Weikeng Chen 2020-11-16 01:39:07 -08:00
  • 18824c0c83 Allow CS being none for into_edwards (#15) Weikeng Chen 2020-11-16 00:11:35 -08:00
  • f4691621ee Add ToConstraintFieldGadget for ProjectiveVar (#13) Weikeng Chen 2020-11-12 01:41:59 -08:00
  • 8dca325042 Make ToBitsGadget for FpVar's output constant-length (#12) Weikeng Chen 2020-11-12 01:18:43 -08:00
  • 6077f51c97 *Actually* fix to_affine for SW points. Pratyush Mishra 2020-11-11 23:02:56 -08:00
  • ceec513f62 Fix SW to_affine (#9) Pratyush Mishra 2020-11-10 10:46:44 -08:00
  • e5ec2e66d3 fix: fix wrong constant case detection in three_bit_cond_neg_lookup Kobi Gurkan 2020-10-30 23:37:27 +02:00
  • e5ac1f44cb Remove rustc-version Pratyush Mishra 2020-10-29 07:40:11 -07:00
  • 2e2df52f79 replace frob(6) by unitary_inverse in bls12 yelhousni 2020-10-21 12:06:06 +01:00