arkworks-rs/snark

Issues

• cargo build --release failed：could not find `sync` in `ark_std`

  #377 opened 4 months ago by yizhihuaqi
  1

• Inquiry: Use of Rc<RefCell> over Arc<Mutex> in constraint_system.rs

  #375 opened 10 months ago by saurabhchalke
  5

• Publish & tag 0.4.0-alpha

  #369 opened 2 years ago by mmagician
  1

• Build Failed: use of unstable library feature 'array_from_fn'

  #367 opened 2 years ago by yuquan1210
  5

• Toward non-cryptographer developer-ready arkworks-rs

  #365 opened 2 years ago by weikengchen
  1

• Revisiting `transform_lc_map`

  #363 opened 2 years ago by weikengchen
  3

• Fast-track constraint system assembly for the prover

  #364 opened 2 years ago by weikengchen
  0

• Toward application-specific reduction such as TurboPlonk and Halo2

  #361 opened 2 years ago by weikengchen
  3

• `PartialOrd` for `Variable` violates `transitivity` and `duality` properties

  #360 opened 2 years ago by BoyuanFeng
  0

• Update `tracing-subscriber` dependency to `0.3`?

  #356 opened 3 years ago by tsunrise
  0

• Constraint system that panics when an invalid constraint is added

  #353 opened 3 years ago by weikengchen
  0

• Make `ConstraintSynthesizer::generate_constraints` not consume `self` by value

  #323 opened 4 years ago by Pratyush
  5

• Ask for suggestions about encrypted input and output for groth16

  #350 opened 3 years ago by amyzx
  20

• R1CS constraint system with access to Fiat-Shamir

  #351 opened 3 years ago by weikengchen
  0

• parallelize inline_all_lcs() API

  #335 opened 4 years ago by brucechin
  9

• Rename `ConstraintSystemRef` to `R1CSBuilder`

  #343 opened 4 years ago by Pratyush
  3

• Implement PLONK

  #155 opened 5 years ago by jon-chuang
  7

• Low-level API for SNARK trait

  #342 opened 4 years ago by Pratyush
  2

• Generate public inputs for verifier also via ConstraintSystem API

  #341 opened 4 years ago by Pratyush
  5

• Benchmarking infrastructure ideas

  #338 opened 4 years ago by ValarDragon
  3

• Small Vec Linear Combinations

  #336 opened 4 years ago by ValarDragon
  10

• Allow `ns` to have run-time defined namespaces

  #337 opened 4 years ago by ValarDragon
  1

• provide a higher level API for CS finalization

  #333 opened 4 years ago by Pratyush
  5

• Allow skipping of constraint generation during proving

  #328 opened 4 years ago by Pratyush
  0

• Better infrastructure for testing

  #327 opened 4 years ago by Pratyush
  0

• program crash when the number of constraints is too large

  #324 opened 4 years ago by brucechin
  18

• Add optional configurable circuit generator for testing

  #322 opened 4 years ago by tsunrise
  0

• Remove dependence of `SNARK` on `ConstraintSynthesizer`

  #321 opened 4 years ago by Pratyush
  0

• Investigate performance benefits of dropping large vectors in background threads

  #207 opened 4 years ago by Pratyush
  0

• Implement Linear Combination "outlining"

  #275 opened 4 years ago by Pratyush
  1

• Optimisation passes

  #314 opened 4 years ago by jon-chuang
  1

• Add a new trait `ToConstraintFieldGadget`?

  #232 opened 4 years ago by weikengchen
  1

• ToBitsGadget for FpVar has non-constant output length

  #289 opened 4 years ago by weikengchen
  0

• ThreeBitCondNegLookupGadget for FpVar fails for constant bits

  #300 opened 4 years ago by weikengchen
  1

• algebra-core fails to compile on nightly

  #303 opened 4 years ago by tsunrise
  2

• to_bits_be?

  #283 opened 4 years ago by weikengchen
  0

• Merge Marlin & Poly_commit

  #223 opened 4 years ago by jon-chuang
  3

• Serialize from Slices

  #180 opened 4 years ago by gakonst
  0

• Add is_equal gadget

  #190 opened 4 years ago by kobigurk
  3

• AllocGadget inconsistencies for curve points

  #191 opened 4 years ago by swasilyev
  1

• Implement Barreto-Naehrig curves

  #154 opened 4 years ago by Pratyush
  5

• Consistent bit order across ToBitsGadget?

  #238 opened 4 years ago by weikengchen
  2

• Do not check whether inverse exists in `FpGadget::inverse`

  #251 opened 4 years ago by weikengchen
  1

• Use `#[track_caller]` to make automated namespacing useful

  #250 opened 4 years ago by Pratyush
  1

• Implementing deserialization for Proof, VerifyingKey, Parameters in GM17

  #224 opened 4 years ago by ChaitanyaKonda
  2

• Use closure serialization to package witness generation code

  #254 opened 4 years ago by Pratyush
  0

• Augment error handling with location information.

  #249 opened 4 years ago by Pratyush
  0

• Unify Extension Field arithmetic

  #182 opened 4 years ago by Pratyush
  3

• Parallelize Groth16

  #157 opened 4 years ago by gakonst
  2

• Insufficient constraints for fn inverse in Fp2 (and other) extension field gadgets

  #172 opened 5 years ago by UlrichHaboeck75
  1