December 22, 2020
Hello everyone! This CCS proposal is for the audit of the Bulletproofs+ implementation for range proofs in Monero. Bulletproofs+ is a more efficient range proof protocol building on Bulletproofs. Bulletproofs+ for Monero has been implemented by Dr. Sarang Noether as per this proposal. Bulletproofs+ offers at least 5% proof size reduction and 5-10% speedup in verification1. Refer to our blogs2 for in-depth technical differences between Bulletproofs and Bulletproofs+.
We aim to perform a cryptographic and security assessment of the Bulletproof+ (referred to as BP+ hereafter) protocol specific to the Monero blockchain. Our goal is to establish the readiness of a specific C++ implementation of BP+ as a drop in replacement to the existing range proof protocol Bulletproofs in Monero. We plan to cover the following points as a part of the audit:
Our team consists of the following members:
Note: We are the same team who had first proposed the implementation of BP+ for Monero.
We estimate to complete the project in about 1 month in two steps: (i) Full peer review of the paper, (ii) Complete audit of the implementation in form of a well-compiled report. We need a funding of XMR 90.3 (equivalent of $15,000) as per 7-day average price (1 XMR = $166.13) on Kraken. This project will include both Suyash and Omer working as well as academic advisory from Prof. Claudio Orlandi.
View community discussion, comments, and proposal updates on GitLab
To be paid: 100% (90.3 XMR)
Completion date: 13 February 2021
Funds Awarded: 90.3
Date: 14 February 2021