Bulletproofs+ Audit for Monero
22 December 2020
Completed 0 of 1 milestones
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 verification. Refer to our blogs 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 ...