Skip to content

Bulletproofs++ Peer Review

plowsoff requested to merge (removed):bp_audit into master

Bulletproofs++ Peer Review

This CCS will provide funding for the first step towards Bulletproofs++ implementation in Monero. (and also the planned Seraphis upgrade). Bulletproofs+ were added in the latest Network Upgrade. They reduce the typical transaction size by ~5-7% and improve typical verification performance by ~5-7%, making every transaction lighter and faster. Bulletproofs++ claims to significantly improve upon this (e.g. ~27% smaller than Bp+).

Scope / Deliverables

A full peer review of the eprint version [link] of the paper. Note that at the time of writing this proposal, the paper is not yet published in a peer-reviewed conference/journal.

The deliverable is a write-up which will include recommendations, notes, weaknesses, and issues (if any) of the BP++ paper touching on:

  • The soundness, completeness, and zero knowledge portions of the paper.
  • Efficiency. Aggregation. Batching. MPC compatibility.
  • Making sure it fits neatly and completely into the place that BP+ currently sits by checking the correctness of proofs.

Funding

  • $16,500 + 20% buffer = $19800 gives 130XMR @ 152.30USD
  • Funds are released by Core to a third party and converted.
  • $16,500 will be paid directly to CypherStack.
  • Excess XMR after conversion will be donated to the next Bp++ CCS.
  • Any shortfalls from volatility will be paid by the Monero General Fund.
Edited by plowsoff

Merge request reports