issues
search
kayabaNerve
/
full-chain-membership-proofs
19
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
More efficient tree building by avoiding full Pedersen hash recalculation
#69
kayabaNerve
opened
11 months ago
0
Delay creation of bits in dlog_pok
#68
kayabaNerve
opened
1 year ago
0
membership_gadget takes in a Tree, instead of some object satisfying a Tree-info trait
#67
kayabaNerve
opened
1 year ago
0
Permissibility offset being added to the blind may make it no longer mutual
#66
kayabaNerve
opened
1 year ago
0
layer_gadget takes in far too many arguments
#65
kayabaNerve
opened
1 year ago
0
Library violates type complexity several times
#64
kayabaNerve
opened
1 year ago
0
Should the curve-trees Tree be rewritten in C++?
#63
kayabaNerve
opened
1 year ago
2
Support pruning old nodes under curve trees
#62
kayabaNerve
opened
1 year ago
0
Use a batch inversion to calculate inv_y in WIP
#61
kayabaNerve
opened
1 year ago
0
copz-dleq has hardcoded parameters
#60
kayabaNerve
opened
1 year ago
0
Aggregate range proof has an inefficient z_pow calculation
#59
kayabaNerve
opened
1 year ago
0
Support range proofs of variable bit lengths
#58
kayabaNerve
opened
1 year ago
0
Transcript circuit weights and post-vars
#57
kayabaNerve
opened
1 year ago
0
Consider dropping the single range proof
#56
kayabaNerve
opened
1 year ago
0
Remove PointVector
#55
kayabaNerve
opened
1 year ago
0
Take in a transcript for challenges based off vector commitments
#54
kayabaNerve
opened
1 year ago
0
Don't clone weights at time of per-proof verification
#53
kayabaNerve
opened
1 year ago
0
Support checking constraints with challenge/post-var terms at time of prove
#52
kayabaNerve
opened
1 year ago
0
Investigate a more efficient set membership proof in curve trees
#51
kayabaNerve
opened
1 year ago
1
Abstract the constraint system over some underlying proof system
#50
kayabaNerve
opened
1 year ago
0
Investigate in-circuit challenges not reliant on additional vector commitments
#49
kayabaNerve
opened
1 year ago
0
Batch DLog PoK
#48
kayabaNerve
opened
1 year ago
2
BP+ DLog PoK uses as many trits as fits into 2**MUTUAL_CAPACITY, not as many as fits into min(MOD_0, MOD_1)
#47
kayabaNerve
opened
1 year ago
0
Document the gate usage in the Curve Trees gadget
#46
kayabaNerve
opened
1 year ago
0
Update commentary on tabling efficiency (or lack thereof) in the DLog PoK
#45
kayabaNerve
opened
1 year ago
0
scalar_to_trits does an unoptimized division by 3
#44
kayabaNerve
opened
1 year ago
0
scalar_to_trits isn't constant time
#43
kayabaNerve
opened
1 year ago
0
On-curve gadget isn't formally verified/audited
#42
kayabaNerve
opened
1 year ago
0
Incomplete addition gadget isn't formally verified/audited
#41
kayabaNerve
opened
1 year ago
0
Incomplete addition gadget isn't formally proven
#40
kayabaNerve
opened
1 year ago
0
Non-zero gadgets aren't formally verified/audited
#39
kayabaNerve
opened
1 year ago
0
Non-zero gadgets aren't formally proven
#38
kayabaNerve
opened
1 year ago
0
Set membership proof isn't formally verified/audited
#37
kayabaNerve
opened
1 year ago
0
Set membership gadget isn't formally proven
#36
kayabaNerve
opened
1 year ago
0
Bit gadget isn't formally verified and/or audited
#35
kayabaNerve
opened
1 year ago
0
Bit gadget isn't formally proven
#34
kayabaNerve
opened
1 year ago
0
Ensure Zeroize is used comprehensively
#33
kayabaNerve
opened
1 year ago
0
Optimize the Bulletproofs+ prover
#32
kayabaNerve
opened
1 year ago
0
Review using LinComb, as dalek did, for the Constraint API
#31
kayabaNerve
opened
1 year ago
1
Review performance gains by using IntoIter for multiexp
#30
kayabaNerve
opened
1 year ago
0
asserts/unwraps/expects should become Results
#29
kayabaNerve
opened
1 year ago
0
Libraries have some asserts which should be debug_asserts, and vice versa
#28
kayabaNerve
opened
1 year ago
0
Reduce the amount of dependencies to a manually reviewable amount
#27
kayabaNerve
opened
1 year ago
0
Minimal divisor transformations
#26
kayabaNerve
opened
1 year ago
0
More efficient divisor construction techniques
#25
kayabaNerve
opened
1 year ago
0
EC IP library hasn't been audited
#24
kayabaNerve
opened
1 year ago
0
Application of divisors to efficiently prove addition in-circuit hasn't been reviewed
#23
kayabaNerve
opened
1 year ago
0
EC IP library isn't constant time
#22
kayabaNerve
opened
1 year ago
0
Test/CI failures
#21
kayabaNerve
opened
1 year ago
0
Remove irrelevant libs from the repository
#20
kayabaNerve
closed
1 year ago
0
Next