secp256k1-zkp icon indicating copy to clipboard operation
secp256k1-zkp copied to clipboard

Published 20 hours ago • verified publisher icon BlockstreamResearch

Bp++: Rangeproof PR

Open sanket1729 opened this issue 3 years ago • 5 comments

This second PR introduces Bulletproofs++ Rangeproof argument. Builds on top of #205 . The companion protocol is described here: BP_PP_proofs.pdf The companion rust code is available at https://github.com/sanket1729/rust-bulletproofs-pp

This includes the core protocol with some optimizations but does not include

  1. Complex multiplication.
  2. Early termination.
  3. Stack space efficient prover/verifier.
  4. An implementation using gej_add_gej
  5. Another trick in BP++ to reduce the size of c_vec. This is a non-trivial one to prove, but IMO the benefits are not worth the complexity.

Benchmarks show 0.95 ms for verification and ~4 ms prover time for 64 bit rangeproofs

sanket1729 avatar Dec 01 '22 07:12 sanket1729

PR #216 contains two commits that fix compilation and tests.

jonasnick avatar Feb 07 '23 16:02 jonasnick

I think you already did these changes, but, for reference, I made a checklist for rebasing https://github.com/BlockstreamResearch/secp256k1-zkp/discussions/266.

jonasnick avatar Aug 07 '23 19:08 jonasnick

Is there anything which has to be done to get this merged?

I mean I am trying to estimate when we may have BPP rangeproofs in secp256k-zkp

dr-orlovsky avatar Feb 17 '24 09:02 dr-orlovsky

Is there anything which has to be done to get this merged?

@dr-orlovsky Yes, this needs a lot more review and polishing. As far as I know, no one is working on this right now.

jonasnick avatar Feb 19 '24 09:02 jonasnick

Thank you for providing the update! So I assume it sounds more like ~year(s) and certainly not weeks/month

dr-orlovsky avatar Feb 19 '24 18:02 dr-orlovsky