Adds a brief note about range proof proving efficiency. Adds rough benchmarks against Bulletproofs.
Motivation and Context
It was suggested to add information about proving efficiency to range proof RFC-0181.
Quantifying proving efficiency is more subtle than verification efficiency, since proof generation doesn't reduce to a multiscalar multiplication operation and requires a variable number of rounds. Instead of bogging down the RFC with a long list of group element operation counts, this PR adds a more general note.
Description
Adds a brief note about range proof proving efficiency. Adds rough benchmarks against Bulletproofs.
Motivation and Context
It was suggested to add information about proving efficiency to range proof RFC-0181.
Quantifying proving efficiency is more subtle than verification efficiency, since proof generation doesn't reduce to a multiscalar multiplication operation and requires a variable number of rounds. Instead of bogging down the RFC with a long list of group element operation counts, this PR adds a more general note.
Informal benchmark comparing the Tari implementation to the corresponding Bulletproofs fork are included.
How Has This Been Tested?
The changes build and appear to render correctly.