arkworks-rs/r1cs-std

Issues

• Convenient method for context-based variable/constant allocation

  #141 opened 6 months ago by winderica
  2

• Interchangeability of NonNativeFieldVar and FpVar for FieldVar

  #99 opened 3 years ago by weikengchen
  1

• Release with #117

  #140 opened a year ago by hrxi
  0

• Rename `NonNative*` to `EmulatedFp*`

  #81 opened a year ago by Pratyush
  1

• Naming of NonNativeFieldVar and its future usage on Fq2, Fq3, Fq4, Fq6, Fq12

  #100 opened a year ago by weikengchen
  0

• Add `Mul<NonNativeFieldVar<G::ScalarField, G::BaseField>>` to `G: Group`

  #132 opened a year ago by Pratyush
  0

• nonnative arithmetic doesn't support < 3 limbs configuration

  #128 opened 2 years ago by slumber
  0

• Handling zero as base in group scalar multiplication

  #94 opened 2 years ago by deevashwer
  2

• why the specific bits split_len works within fixed_scalar_mul_le function?

  #123 opened 2 years ago by PayneJoe
  1

• why there is no constraints in some Fp operation?

  #125 opened 2 years ago by readygo67
  1

• Implement O(sqrt(n)) `conditionally_select_power_of_two_vector` method

  #118 opened 2 years ago by mmagician
  0

• Publish & tag 0.4.0-alpha

  #110 opened 2 years ago by mmagician
  0

• Short Weierstrass `G1Var::new_input` behaves differently from `G1::to_field_elements`

  #106 opened 2 years ago by nulltea
  0

• Relocate Univariate Domain, Vanishing Polynomial, Lagrange Interpolation

  #105 opened 3 years ago by weikengchen
  1

• NonNativePointVar, or Point Simulation

  #98 opened 3 years ago by weikengchen
  0

• Implement "energy-saving" circuit optimization from Gepetto.

  #89 opened 3 years ago by Pratyush
  0

• Make CI test against `curves` repo

  #11 opened 3 years ago by Pratyush
  0

• Let `query_position_to_coset` return `gen` and `offset` instead of coset elements

  #85 opened 3 years ago by tsunrise
  0

• conditionally_select and conditional_enforce_equal use condition inconsistently

  #41 opened 4 years ago by ValarDragon
  3

• Getting started guide

  #45 opened 4 years ago by That3Percent
  0

• Add allocator for `DensePolynomialVar`

  #67 opened 4 years ago by tsunrise
  0

• Use `Sum` whenever we add more than one `Field` element

  #74 opened 4 years ago by Pratyush
  0

• Redundancy in `three_bit_cond_neg_lookup` for FpVar

  #78 opened 4 years ago by weikengchen
  0

• `NonNative` should automatically internally use `NonNativeMulResultVar` to avoid reductions

  #82 opened 4 years ago by Pratyush
  2

• More efficient powering by constant

  #55 opened 4 years ago by weikengchen
  5

• `AllocVar` implementation for `Vec<T>` does not respect the setup mode

  #17 opened 4 years ago by weikengchen
  5

• Implement UInt128 with only BigInteger256

  #22 opened 4 years ago by weikengchen
  1

• Examine more carefully on the bound for UInt `addmany` implementation

  #23 opened 4 years ago by weikengchen
  3

• Potentially make `fields::nonnative::params` module private

  #80 opened 4 years ago by Pratyush
  0

• Implement the `Sum` trait for `FpVar`

  #68 opened 4 years ago by weikengchen
  1

• Add `Radix2Domain` where offset is not constant

  #64 opened 4 years ago by tsunrise
  3

• Add Domain, Lagrange Interpolation, Vanishing Polynomial

  #52 opened 4 years ago by tsunrise
  1

• Implement Add, Sub, CheckedAdd, CheckedSub for Uints

  #62 opened 4 years ago by ValarDragon
  0

• Rename AllocatedBit to AllocatedBool

  #38 opened 4 years ago by ValarDragon
  0

• Add DensePolynomial

  #49 opened 4 years ago by tsunrise
  0

• Incomplete SW group operations may be worthwhile

  #14 opened 4 years ago by weikengchen
  17

• Converting mux to arkworks

  #46 opened 4 years ago by tsunrise
  0

• Adding a constant curve point to a variable should use mixed addition

  #4 opened 4 years ago by Pratyush
  2

• cargo test results in errors

  #37 opened 4 years ago by hadasz
  8

• How to cmp two FqVar

  #32 opened 4 years ago by brucechin
  13

• How to do bit shift in finite field variable?

  #18 opened 4 years ago by brucechin
  14

• Investigate complete formulae for scalar multiplication for Short Weierstrass Gadgets

  #19 opened 4 years ago by Pratyush
  1