arkworks-rs snark issues

arkworks-rs / snark

Interfaces for Relations and SNARKs for these relations

https://www.arkworks.rs

Apache License 2.0

766 stars 203 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

chore: update vitalik blog link

#376 hattizai opened 3 days ago
0
Inquiry: Use of Rc<RefCell> over Arc<Mutex> in constraint_system.rs

#375 saurabhchalke closed 5 months ago
5
Add patches and fix warning re: drop

#374 Pratyush closed 6 months ago
0
Update `tracing-subscriber` optional dependency

#373 jsdanielh opened 1 year ago
0
Update `master` branch to 0.4.0

#372 mmagician closed 1 year ago
0
Fix typos

#371 rex4539 closed 1 year ago
0
constraint tests correctly check is_satisfied

#370 montekki closed 1 year ago
0
Publish & tag 0.4.0-alpha

#369 mmagician closed 1 year ago
1
Prepare release 0.4.0-alpha

#368 mmagician closed 1 year ago
0
Build Failed: use of unstable library feature 'array_from_fn'

#367 yuquan1210 opened 1 year ago
5
Update ark-snark to ark-algebra

#366 onewayfunc closed 1 year ago
2
Toward non-cryptographer developer-ready arkworks-rs

#365 weikengchen opened 1 year ago
1
Fast-track constraint system assembly for the prover

#364 weikengchen opened 1 year ago
0
Revisiting `transform_lc_map`

#363 weikengchen opened 1 year ago
3
Prepare ark-snark for the new updates in ark-algebra

#362 weikengchen closed 1 year ago
3
Toward application-specific reduction such as TurboPlonk and Halo2

#361 weikengchen opened 1 year ago
3
`PartialOrd` for `Variable` violates `transitivity` and `duality` properties

#360 BoyuanFeng opened 2 years ago
0
fix typos

#359 hyemmie closed 2 years ago
1
More explicit R1CS tests/examples

#358 mmagician closed 2 years ago
0
Testimonials freetest

#357 Mahatidana closed 2 years ago
2
Update `tracing-subscriber` dependency to `0.3`?

#356 tsunrise opened 2 years ago
0
Implementation of the ABPR21 (RO-based)

#355 Baghery opened 2 years ago
0
Fix the stale directory name in README

#354 rillian closed 2 years ago
3
Constraint system that panics when an invalid constraint is added

#353 weikengchen opened 2 years ago
0
Sage scripts params

#352 DDT92 closed 2 years ago
3
R1CS constraint system with access to Fiat-Shamir

#351 weikengchen opened 3 years ago
0
Ask for suggestions about encrypted input and output for groth16

#350 amyzx closed 3 years ago
20
Release v0.3.0

#349 weikengchen closed 3 years ago
0
Add `Relation` trait

#348 Pratyush opened 3 years ago
5
Add `into_inner` function for `ConstraintSystemRef<F>`

#347 ryanleh closed 3 years ago
4
Prepare for release v0.2.0

#346 ValarDragon closed 3 years ago
0
Replace `rand` with `ark_std::rand` in `ark-snark`

#345 weikengchen closed 3 years ago
0
Linkify changelog

#344 ValarDragon closed 3 years ago
0
Rename `ConstraintSystemRef` to `R1CSBuilder`

#343 Pratyush opened 3 years ago
3
Low-level API for SNARK trait

#342 Pratyush opened 3 years ago
2
Generate public inputs for verifier also via ConstraintSystem API

#341 Pratyush opened 3 years ago
5
Switch to panic='abort' for safety across FFI boundaries

#340 ValarDragon closed 3 years ago
1
Add helper method to inline `mul_by_const` immediately under constraints optimization goal

#339 ValarDragon closed 3 years ago
9
Benchmarking infrastructure ideas

#338 ValarDragon opened 3 years ago
3
Allow `ns` to have run-time defined namespaces

#337 ValarDragon opened 3 years ago
1
Small Vec Linear Combinations

#336 ValarDragon opened 3 years ago
10
parallelize inline_all_lcs() API

#335 brucechin opened 3 years ago
9
Finalize

#334 npwardberkeley closed 3 years ago
10
provide a higher level API for CS finalization

#333 Pratyush closed 3 years ago
5
Change default lint level from deny to warn

#332 ValarDragon closed 3 years ago
0
Fix the `outline_lcs`

#331 weikengchen closed 3 years ago
30
Add changelog and contributing

#330 ValarDragon closed 3 years ago
1
Fix documentation links

#329 Pratyush closed 3 years ago
0
Allow skipping of constraint generation during proving

#328 Pratyush opened 3 years ago
0
Better infrastructure for testing

#327 Pratyush opened 3 years ago
0