issues
search
w3f
/
apk-proofs
Apache License 2.0
56
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Switch to better hash to curve
#46
hujw77
closed
1 year ago
6
Epoch proof
#45
swasilyev
opened
1 year ago
0
Mipp
#44
swasilyev
opened
1 year ago
0
derive basic types for KeysetCommitment
#43
drskalman
closed
1 year ago
0
KeysetCommitment need to be serializable
#42
drskalman
opened
1 year ago
0
Lighter keyset commitment
#41
swasilyev
closed
1 year ago
1
Proof size can be reduced by 1 field element
#40
swasilyev
opened
2 years ago
0
Write a preminalary Spec for APK proof
#39
drskalman
opened
2 years ago
0
Recursive validation example improved
#38
swasilyev
closed
2 years ago
0
Test profile
#37
swasilyev
closed
2 years ago
1
Make some tests accept console args
#36
swasilyev
closed
2 years ago
0
highest_degree_to_commit not a setup property
#35
swasilyev
opened
2 years ago
0
Example doesn't check quorum
#34
swasilyev
closed
2 years ago
0
Int fflonk
#33
swasilyev
closed
2 years ago
0
Create LICENSE
#32
Noc2
closed
2 years ago
2
Implement fflonk opening for the 'basic' scheme
#31
swasilyev
opened
2 years ago
0
Repository clean up
#30
swasilyev
opened
2 years ago
0
Fflonk
#29
swasilyev
closed
2 years ago
1
Domains
#28
swasilyev
closed
2 years ago
0
Counting prover can falsely prove the statement for count+1
#27
swasilyev
opened
2 years ago
0
Cleanups
#26
swasilyev
closed
2 years ago
0
Example
#25
swasilyev
closed
3 years ago
4
Fs fix
#24
swasilyev
closed
3 years ago
0
Review notes
#23
burdges
opened
3 years ago
4
Counting
#22
swasilyev
closed
3 years ago
0
Bitmask fix
#21
swasilyev
closed
3 years ago
1
Cleaner
#20
swasilyev
closed
3 years ago
0
Remove bitmask polynomial commitment/evaluation
#19
swasilyev
opened
3 years ago
3
Add some typedefs
#18
swasilyev
opened
3 years ago
0
switched arkworks deps from github to crates.io
#17
swasilyev
closed
3 years ago
0
bench-utils -> ark-std
#16
swasilyev
closed
3 years ago
0
Compute "packed" accountability constraint polynomials efficiently
#15
swasilyev
opened
3 years ago
0
Constraints bis
#14
swasilyev
closed
3 years ago
0
Linearization
#13
swasilyev
closed
3 years ago
0
Succinct accountability, take #3
#12
swasilyev
closed
3 years ago
0
Prover refactoring
#11
swasilyev
closed
3 years ago
0
Verifier uses FS randomness
#10
swasilyev
closed
3 years ago
3
Verifier uses FGS randomness
#9
swasilyev
closed
3 years ago
1
Accountability bw6
#8
swasilyev
closed
3 years ago
1
(Succinctly) accountable proof -- in progress
#7
swasilyev
closed
3 years ago
1
Kzg
#6
swasilyev
closed
3 years ago
0
Fiat shamir
#5
swasilyev
closed
3 years ago
2
Bitmask
#4
swasilyev
closed
3 years ago
2
Fixed base mul
#3
swasilyev
closed
3 years ago
1
BW6: GLV subgroup check implemented
#2
swasilyev
closed
3 years ago
0
barycentric evaluation: impl + test + bench
#1
swasilyev
closed
3 years ago
1