kayabaNerve/full-chain-membership-proofs

Issues

• More efficient tree building by avoiding full Pedersen hash recalculation

  #69 opened a year ago by kayabaNerve
  0

• Delay creation of bits in dlog_pok

  #68 opened a year ago by kayabaNerve
  0

• Investigate a more efficient set membership proof in curve trees

  #51 opened 2 years ago by kayabaNerve
  1

• membership_gadget takes in a Tree, instead of some object satisfying a Tree-info trait

  #67 opened 2 years ago by kayabaNerve
  0

• Permissibility offset being added to the blind may make it no longer mutual

  #66 opened 2 years ago by kayabaNerve
  0

• layer_gadget takes in far too many arguments

  #65 opened 2 years ago by kayabaNerve
  0

• Library violates type complexity several times

  #64 opened 2 years ago by kayabaNerve
  0

• Should the curve-trees Tree be rewritten in C++?

  #63 opened 2 years ago by kayabaNerve
  2

• Support pruning old nodes under curve trees

  #62 opened 2 years ago by kayabaNerve
  0

• Use a batch inversion to calculate inv_y in WIP

  #61 opened 2 years ago by kayabaNerve
  0

• copz-dleq has hardcoded parameters

  #60 opened 2 years ago by kayabaNerve
  0

• Aggregate range proof has an inefficient z_pow calculation

  #59 opened 2 years ago by kayabaNerve
  0

• Support range proofs of variable bit lengths

  #58 opened 2 years ago by kayabaNerve
  0

• Transcript circuit weights and post-vars

  #57 opened 2 years ago by kayabaNerve
  0

• Consider dropping the single range proof

  #56 opened 2 years ago by kayabaNerve
  0

• Remove PointVector

  #55 opened 2 years ago by kayabaNerve
  0

• Take in a transcript for challenges based off vector commitments

  #54 opened 2 years ago by kayabaNerve
  0

• Don't clone weights at time of per-proof verification

  #53 opened 2 years ago by kayabaNerve
  0

• Support checking constraints with challenge/post-var terms at time of prove

  #52 opened 2 years ago by kayabaNerve
  0

• Review using LinComb, as dalek did, for the Constraint API

  #31 opened 2 years ago by kayabaNerve
  1

• Batch DLog PoK

  #48 opened 2 years ago by kayabaNerve
  2

• Abstract the constraint system over some underlying proof system

  #50 opened 2 years ago by kayabaNerve
  0

• Investigate in-circuit challenges not reliant on additional vector commitments

  #49 opened 2 years ago by kayabaNerve
  0

• 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 opened 2 years ago by kayabaNerve
  0

• Document the gate usage in the Curve Trees gadget

  #46 opened 2 years ago by kayabaNerve
  0

• Update commentary on tabling efficiency (or lack thereof) in the DLog PoK

  #45 opened 2 years ago by kayabaNerve
  0

• scalar_to_trits does an unoptimized division by 3

  #44 opened 2 years ago by kayabaNerve
  0

• scalar_to_trits isn't constant time

  #43 opened 2 years ago by kayabaNerve
  0

• On-curve gadget isn't formally verified/audited

  #42 opened 2 years ago by kayabaNerve
  0

• Incomplete addition gadget isn't formally verified/audited

  #41 opened 2 years ago by kayabaNerve
  0

• Incomplete addition gadget isn't formally proven

  #40 opened 2 years ago by kayabaNerve
  0

• Non-zero gadgets aren't formally verified/audited

  #39 opened 2 years ago by kayabaNerve
  0

• Non-zero gadgets aren't formally proven

  #38 opened 2 years ago by kayabaNerve
  0

• Set membership proof isn't formally verified/audited

  #37 opened 2 years ago by kayabaNerve
  0

• Set membership gadget isn't formally proven

  #36 opened 2 years ago by kayabaNerve
  0

• Bit gadget isn't formally verified and/or audited

  #35 opened 2 years ago by kayabaNerve
  0

• Bit gadget isn't formally proven

  #34 opened 2 years ago by kayabaNerve
  0

• Ensure Zeroize is used comprehensively

  #33 opened 2 years ago by kayabaNerve
  0

• Optimize the Bulletproofs+ prover

  #32 opened 2 years ago by kayabaNerve
  0

• Review performance gains by using IntoIter for multiexp

  #30 opened 2 years ago by kayabaNerve
  0

• asserts/unwraps/expects should become Results

  #29 opened 2 years ago by kayabaNerve
  0

• Libraries have some asserts which should be debug_asserts, and vice versa

  #28 opened 2 years ago by kayabaNerve
  0

• Remove irrelevant libs from the repository

  #20 opened 2 years ago by kayabaNerve
  0

• Reduce the amount of dependencies to a manually reviewable amount

  #27 opened 2 years ago by kayabaNerve
  0

• Minimal divisor transformations

  #26 opened 2 years ago by kayabaNerve
  0

• More efficient divisor construction techniques

  #25 opened 2 years ago by kayabaNerve
  0

• EC IP library hasn't been audited

  #24 opened 2 years ago by kayabaNerve
  0

• Application of divisors to efficiently prove addition in-circuit hasn't been reviewed

  #23 opened 2 years ago by kayabaNerve
  0

• EC IP library isn't constant time

  #22 opened 2 years ago by kayabaNerve
  0

• Test/CI failures

  #21 opened 2 years ago by kayabaNerve
  0