bulletproofs_plus.cc File Reference

#include <stdlib.h>
#include <boost/thread/mutex.hpp>
#include <boost/thread/lock_guard.hpp>
#include "misc_log_ex.h"
#include "span.h"
#include "cryptonote_config.h"
#include "crypto/crypto-ops.h"
#include "rctOps.h"
#include "multiexp.h"
#include "bulletproofs_plus.h"

Include dependency graph for bulletproofs_plus.cc:

Classes
struct	rct::bp_plus_proof_data_t

Namespaces
namespace	rct

Macros
#define	MONERO_DEFAULT_LOG_CATEGORY   "bulletproof_plus"
#define	STRAUS_SIZE_LIMIT   232
#define	PIPPENGER_SIZE_LIMIT   0

Functions
static rct::key	rct::vector_exponent (const rct::keyV &a, const rct::keyV &b)
static rct::keyV	rct::vector_of_scalar_powers (const rct::key &x, size_t n)
static rct::key	rct::multiexp (const std::vector< MultiexpData > &data, size_t HiGi_size)
static bool	rct::is_reduced (const rct::key &scalar)
static ge_p3	rct::get_exponent (const rct::key &base, size_t idx)
static void	rct::init_exponents ()
static rct::key	rct::compute_LR (size_t size, const rct::key &y, const std::vector< ge_p3 > &G, size_t G0, const std::vector< ge_p3 > &H, size_t H0, const rct::keyV &a, size_t a0, const rct::keyV &b, size_t b0, const rct::key &c, const rct::key &d)
static rct::key	rct::sum_of_even_powers (const rct::key &x, size_t n)
static rct::key	rct::sum_of_scalar_powers (const rct::key &x, size_t n)
static rct::key	rct::weighted_inner_product (const epee::span< const rct::key > &a, const epee::span< const rct::key > &b, const rct::key &y)
static rct::key	rct::weighted_inner_product (const rct::keyV &a, const epee::span< const rct::key > &b, const rct::key &y)
static void	rct::hadamard_fold (std::vector< ge_p3 > &v, const rct::key &a, const rct::key &b)
static rct::keyV	rct::vector_add (const rct::keyV &a, const rct::keyV &b)
static rct::keyV	rct::vector_add (const rct::keyV &a, const rct::key &b)
static rct::keyV	rct::vector_subtract (const rct::keyV &a, const rct::key &b)
static rct::keyV	rct::vector_scalar (const epee::span< const rct::key > &a, const rct::key &x)
static rct::key	rct::sm (rct::key y, int n, const rct::key &x)
static rct::key	rct::invert (const rct::key &x)
static rct::keyV	rct::invert (rct::keyV x)
static epee::span< const rct::key >	rct::slice (const rct::keyV &a, size_t start, size_t stop)
static rct::key	rct::transcript_update (rct::key &transcript, const rct::key &update_0)
static rct::key	rct::transcript_update (rct::key &transcript, const rct::key &update_0, const rct::key &update_1)
BulletproofPlus	rct::bulletproof_plus_PROVE (const rct::key &sv, const rct::key &gamma)
BulletproofPlus	rct::bulletproof_plus_PROVE (uint64_t v, const rct::key &gamma)
BulletproofPlus	rct::bulletproof_plus_PROVE (const rct::keyV &sv, const rct::keyV &gamma)
BulletproofPlus	rct::bulletproof_plus_PROVE (const std::vector< uint64_t > &v, const rct::keyV &gamma)
bool	rct::bulletproof_plus_VERIFY (const std::vector< const BulletproofPlus * > &proofs)
bool	rct::bulletproof_plus_VERIFY (const std::vector< BulletproofPlus > &proofs)
bool	rct::bulletproof_plus_VERIFY (const BulletproofPlus &proof)

Variables
static constexpr size_t	rct::maxN = 64
static constexpr size_t	rct::maxM = BULLETPROOF_PLUS_MAX_OUTPUTS
static ge_p3	rct::Hi_p3 [maxN *maxM]
static ge_p3	rct::Gi_p3 [maxN *maxM]
static std::shared_ptr< straus_cached_data >	rct::straus_HiGi_cache
static std::shared_ptr< pippenger_cached_data >	rct::pippenger_HiGi_cache
static const constexpr rct::key	rct::ZERO = { {0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 } }
static const constexpr rct::key	rct::ONE = { {0x01, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 } }
static const constexpr rct::key	rct::TWO = { {0x02, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 , 0x00, 0x00, 0x00,0x00 } }
static const constexpr rct::key	rct::MINUS_ONE = { { 0xec, 0xd3, 0xf5, 0x5c, 0x1a, 0x63, 0x12, 0x58, 0xd6, 0x9c, 0xf7, 0xa2, 0xde, 0xf9, 0xde, 0x14, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10 } }
static const constexpr rct::key	rct::MINUS_INV_EIGHT = { { 0x74, 0xa4, 0x19, 0x7a, 0xf0, 0x7d, 0x0b, 0xf7, 0x05, 0xc2, 0xda, 0x25, 0x2b, 0x5c, 0x0b, 0x0d, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0a } }
static rct::key	rct::TWO_SIXTY_FOUR_MINUS_ONE
static rct::key	rct::initial_transcript
static boost::mutex	rct::init_mutex

Macro Definition Documentation

MONERO_DEFAULT_LOG_CATEGORY

#define MONERO_DEFAULT_LOG_CATEGORY   "bulletproof_plus"

PIPPENGER_SIZE_LIMIT

#define PIPPENGER_SIZE_LIMIT   0

STRAUS_SIZE_LIMIT

#define STRAUS_SIZE_LIMIT   232