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.