f

Author: apoelstra

include/secp256k1_bulletproofs.h

@@ -11,9 +11,12 @@ extern "C" {
 #include <stdint.h>
 
 /** A function-like macro returning the size, in bytes, of an uncompressed
- * Bulletproof proving that a value lies in the range [0, 2^(n_bits) - 1]
+ *  Bulletproof proving that a value lies in the range [0, 2^(n_bits) - 1]
+ *
+ *  A proof contains: 65 bytes for (A, S); 65 for (T1, T2); 64 for (tau_x, mu)
+ *  followed by n_bits-many scalar pairs (l(i), r(i)).
  */
-#define SECP256K1_BULLETPROOFS_UNCOMPRESSED_SIZE(n_bits) (194UL + (n_bits) * 64)
+#define SECP256K1_BULLETPROOFS_UNCOMPRESSED_SIZE(n_bits) (65UL + 65 + 64 + (n_bits) * 64)
 
 /** Maximum size, in bytes, of an uncompressed rangeproof */
 extern const size_t SECP256K1_BULLETPROOFS_RANGEPROOF_UNCOMPRESSED_MAX_LENGTH;

src/modules/bulletproofs/main_impl.h

@@ -130,7 +130,7 @@ size_t secp256k1_bulletproofs_rangeproof_uncompressed_proof_length(const secp256
     if (n_bits > 64) {
         return 0;
     }
-    return 2 * 65 + 64 + n_bits * 64;
+    return SECP256K1_BULLETPROOFS_UNCOMPRESSED_SIZE(n_bits);
 }
 
 int secp256k1_bulletproofs_rangeproof_uncompressed_prove(