Fomenko, O., & Sokolov, M. (2024). Bulletproofs++. Construction and Examples. Unpublished manuscript.
Added by: Rucknium (09/08/2024, 17:33)
|
 |
|
Abstract
|
This document introduces some clarification and corrections to Bulletproofs++ [Eag+23] paper. It briefly describes the fundamental protocol “weight norm linear argument”, the improved circuits protocol, and the reciprocal range proof protocol. The main contribution of this work is to introduce a fixed version of arithmetic circuit protocol based on the discrete logarithm setting. Reading the original paper before is recommended to understand better the principles described in this work. Also, the original paper contains completeness and soundness proofs that can be easily transformed to be applied to our protocol.
|
[36/170]