issues
search
jdwhite48
/
groth-sahai-rs
A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
Other
12
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Resolves #16; Add serde for Com1, Com2, CRS, EquType, Commits, Equati…
#29
AlvinHon
opened
1 month ago
0
Improve effiicency of some pairing evaluations
#28
sebastinas
closed
2 months ago
0
Update for ark crates 0.4
#27
sebastinas
closed
3 months ago
2
Encapsulate commits and proofs
#26
jdwhite48
closed
2 years ago
0
Start on Groth-Sahai proof wrappers
#25
jdwhite48
closed
2 years ago
1
Refactor prove + verify to use helper functions
#24
jdwhite48
opened
2 years ago
0
[URGENT] Use only binding key for CRS
#23
jdwhite48
closed
2 years ago
0
Expose proof randomness
#22
jdwhite48
closed
2 years ago
0
Don't expose randomness to API, only within (parts of) library
#21
jdwhite48
closed
2 years ago
0
Provide well-formedness check for Groth-Sahai equations
#20
jdwhite48
opened
2 years ago
0
Groth-Sahai disjunction and conjunction proofs
#18
jdwhite48
opened
2 years ago
0
Allow commiting to variables with just ElGamal
#17
jdwhite48
opened
2 years ago
0
(De)serialize Groth-Sahai proofs
#16
jdwhite48
opened
2 years ago
0
Batch Groth-Sahai verification
#15
jdwhite48
opened
2 years ago
0
Extend GS to commit-and-prove
#14
jdwhite48
opened
2 years ago
0
Rerandomize Groth-Sahai proofs
#13
jdwhite48
opened
2 years ago
0
More efficient matrix multiplication
#12
jdwhite48
opened
2 years ago
1
Cleaner matrix arithmetic
#11
jdwhite48
opened
2 years ago
1
Refactor arithmetic with macros + generics
#10
jdwhite48
opened
2 years ago
0
Optimize Vec and Matrix conversion
#9
jdwhite48
closed
1 year ago
1
Optimize GS bilinear group arithmetic
#8
jdwhite48
opened
2 years ago
0
Provide "getter/setter" methods for preparing zero-knowledge statement
#7
jdwhite48
opened
2 years ago
0
Prove about multiple Groth-Sahai equations simultaneously
#6
jdwhite48
opened
2 years ago
1
Reduce number of stored group elements for proofs about linear equations
#5
jdwhite48
opened
2 years ago
0
Refactor API to allow other instantiations
#4
jdwhite48
opened
2 years ago
0
Include MSMEG2 quadratic equations as GS statement
#3
jdwhite48
closed
2 years ago
0
Fully expose parallelism in API
#2
jdwhite48
opened
2 years ago
0
Split statement, prover, and verifier into separate modules
#1
jdwhite48
closed
2 years ago
0