issues
search
NP-Eng
/
ligero
Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
Apache License 2.0
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Poseidon benchmarks
#27
Antonio95
opened
4 weeks ago
0
Stack overflow
#26
Antonio95
opened
4 weeks ago
0
Split into separate crates
#25
mmagician
opened
4 weeks ago
4
Remove udeps
#24
mmagician
closed
1 month ago
0
Add basic CI
#23
mmagician
closed
1 month ago
0
Add Fibonacci circuit benchmarks
#22
Akite9
opened
1 month ago
1
Do the opened columns have to be distinct?
#21
Antonio95
opened
1 month ago
0
Optimisations
#20
Antonio95
opened
1 month ago
0
Succinctness
#19
Antonio95
closed
1 month ago
0
Multioutput Compiler
#18
Cesar199999
closed
1 month ago
1
Multioutput
#17
Antonio95
closed
1 month ago
0
Expression
#16
Antonio95
closed
1 month ago
0
Proving and verifying ArithmeticCircuit's
#15
Antonio95
closed
1 month ago
0
Double checking of output
#14
Antonio95
opened
2 months ago
0
Computation of dimensions and RS-Parameters
#13
Antonio95
opened
2 months ago
0
Benchmarks
#12
Antonio95
opened
2 months ago
0
Parallelisation
#11
Antonio95
opened
2 months ago
0
Indicator in single-constraint R1CS
#10
Antonio95
closed
1 month ago
1
Better use of unchecked methods
#9
Antonio95
opened
2 months ago
0
Better handling of circuit inputs?
#8
Antonio95
closed
1 month ago
1
Labels
#7
Antonio95
closed
1 month ago
1
Various tests
#6
Antonio95
opened
2 months ago
0
Constant-only-gate support
#5
Antonio95
closed
2 months ago
1
Clarify elements of the relation
#4
Antonio95
opened
2 months ago
1
Succinctness
#3
Antonio95
opened
2 months ago
0
Proper R1CS -> ArithmeticCircuit compiler or multi-output support
#2
Antonio95
closed
1 month ago
1
R1CS to Arithmetic Circuit compiler
#1
Cesar199999
closed
2 months ago
0