2016-05-13 19:45:20 +00:00
|
|
|
// Copyright (c) 2016, Monero Research Labs
|
|
|
|
//
|
|
|
|
// Author: Shen Noether <shen.noether@gmx.com>
|
|
|
|
//
|
|
|
|
// All rights reserved.
|
|
|
|
//
|
|
|
|
// Redistribution and use in source and binary forms, with or without modification, are
|
|
|
|
// permitted provided that the following conditions are met:
|
|
|
|
//
|
|
|
|
// 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
|
|
// conditions and the following disclaimer.
|
|
|
|
//
|
|
|
|
// 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
|
|
// of conditions and the following disclaimer in the documentation and/or other
|
|
|
|
// materials provided with the distribution.
|
|
|
|
//
|
|
|
|
// 3. Neither the name of the copyright holder nor the names of its contributors may be
|
|
|
|
// used to endorse or promote products derived from this software without specific
|
|
|
|
// prior written permission.
|
|
|
|
//
|
|
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
|
|
|
|
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
|
|
|
|
// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
|
|
|
|
// THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
|
|
|
|
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
|
|
|
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
|
|
|
// STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
|
|
|
|
// THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
|
2018-03-30 19:29:42 +00:00
|
|
|
#include "misc_log_ex.h"
|
2018-07-18 21:24:53 +00:00
|
|
|
#include "cryptonote_config.h"
|
2016-05-13 19:45:20 +00:00
|
|
|
#include "rctTypes.h"
|
2019-11-08 06:26:17 +00:00
|
|
|
#include "int-util.h"
|
2016-05-13 19:45:20 +00:00
|
|
|
using namespace crypto;
|
|
|
|
using namespace std;
|
|
|
|
|
Change logging to easylogging++
This replaces the epee and data_loggers logging systems with
a single one, and also adds filename:line and explicit severity
levels. Categories may be defined, and logging severity set
by category (or set of categories). epee style 0-4 log level
maps to a sensible severity configuration. Log files now also
rotate when reaching 100 MB.
To select which logs to output, use the MONERO_LOGS environment
variable, with a comma separated list of categories (globs are
supported), with their requested severity level after a colon.
If a log matches more than one such setting, the last one in
the configuration string applies. A few examples:
This one is (mostly) silent, only outputting fatal errors:
MONERO_LOGS=*:FATAL
This one is very verbose:
MONERO_LOGS=*:TRACE
This one is totally silent (logwise):
MONERO_LOGS=""
This one outputs all errors and warnings, except for the
"verify" category, which prints just fatal errors (the verify
category is used for logs about incoming transactions and
blocks, and it is expected that some/many will fail to verify,
hence we don't want the spam):
MONERO_LOGS=*:WARNING,verify:FATAL
Log levels are, in decreasing order of priority:
FATAL, ERROR, WARNING, INFO, DEBUG, TRACE
Subcategories may be added using prefixes and globs. This
example will output net.p2p logs at the TRACE level, but all
other net* logs only at INFO:
MONERO_LOGS=*:ERROR,net*:INFO,net.p2p:TRACE
Logs which are intended for the user (which Monero was using
a lot through epee, but really isn't a nice way to go things)
should use the "global" category. There are a few helper macros
for using this category, eg: MGINFO("this shows up by default")
or MGINFO_RED("this is red"), to try to keep a similar look
and feel for now.
Existing epee log macros still exist, and map to the new log
levels, but since they're used as a "user facing" UI element
as much as a logging system, they often don't map well to log
severities (ie, a log level 0 log may be an error, or may be
something we want the user to see, such as an important info).
In those cases, I tried to use the new macros. In other cases,
I left the existing macros in. When modifying logs, it is
probably best to switch to the new macros with explicit levels.
The --log-level options and set_log commands now also accept
category settings, in addition to the epee style log levels.
2017-01-01 16:34:23 +00:00
|
|
|
#undef MONERO_DEFAULT_LOG_CATEGORY
|
|
|
|
#define MONERO_DEFAULT_LOG_CATEGORY "ringct"
|
|
|
|
|
2016-05-13 19:45:20 +00:00
|
|
|
namespace rct {
|
|
|
|
|
|
|
|
//dp
|
|
|
|
//Debug printing for the above types
|
|
|
|
//Actually use DP(value) and #define DBG
|
|
|
|
|
|
|
|
void dp(key a) {
|
|
|
|
int j = 0;
|
|
|
|
printf("\"");
|
|
|
|
for (j = 0; j < 32; j++) {
|
|
|
|
printf("%02x", (unsigned char)a.bytes[j]);
|
|
|
|
}
|
|
|
|
printf("\"");
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
void dp(bool a) {
|
|
|
|
printf(" ... %s ... ", a ? "true" : "false");
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
void dp(const char * a, int l) {
|
|
|
|
int j = 0;
|
|
|
|
printf("\"");
|
|
|
|
for (j = 0; j < l; j++) {
|
|
|
|
printf("%02x", (unsigned char)a[j]);
|
|
|
|
}
|
|
|
|
printf("\"");
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
void dp(keyV a) {
|
|
|
|
size_t j = 0;
|
|
|
|
printf("[");
|
|
|
|
for (j = 0; j < a.size(); j++) {
|
|
|
|
dp(a[j]);
|
|
|
|
if (j < a.size() - 1) {
|
|
|
|
printf(",");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("]");
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
void dp(keyM a) {
|
|
|
|
size_t j = 0;
|
|
|
|
printf("[");
|
|
|
|
for (j = 0; j < a.size(); j++) {
|
|
|
|
dp(a[j]);
|
|
|
|
if (j < a.size() - 1) {
|
|
|
|
printf(",");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
printf("]");
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
void dp(xmr_amount vali) {
|
|
|
|
printf("x: ");
|
|
|
|
std::cout << vali;
|
|
|
|
printf("\n\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
void dp(int vali) {
|
|
|
|
printf("x: %d\n", vali);
|
|
|
|
printf("\n");
|
|
|
|
}
|
|
|
|
void dp(bits amountb) {
|
|
|
|
for (int i = 0; i < 64; i++) {
|
|
|
|
printf("%d", amountb[i]);
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
void dp(const char * st) {
|
|
|
|
printf("%s\n", st);
|
|
|
|
}
|
|
|
|
|
|
|
|
//Various Conversions
|
|
|
|
|
|
|
|
//uint long long to 32 byte key
|
|
|
|
void d2h(key & amounth, const xmr_amount in) {
|
|
|
|
sc_0(amounth.bytes);
|
2019-11-08 06:26:17 +00:00
|
|
|
memcpy_swap64le(amounth.bytes, &in, 1);
|
2016-05-13 19:45:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
//uint long long to 32 byte key
|
|
|
|
key d2h(const xmr_amount in) {
|
|
|
|
key amounth;
|
2019-11-08 06:26:17 +00:00
|
|
|
d2h(amounth, in);
|
2016-05-13 19:45:20 +00:00
|
|
|
return amounth;
|
|
|
|
}
|
|
|
|
|
|
|
|
//uint long long to int[64]
|
|
|
|
void d2b(bits amountb, xmr_amount val) {
|
|
|
|
int i = 0;
|
|
|
|
while (i < 64) {
|
2019-11-08 06:26:17 +00:00
|
|
|
amountb[i++] = val & 1;
|
|
|
|
val >>= 1;
|
2016-05-13 19:45:20 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//32 byte key to uint long long
|
|
|
|
// if the key holds a value > 2^64
|
|
|
|
// then the value in the first 8 bytes is returned
|
|
|
|
xmr_amount h2d(const key & test) {
|
|
|
|
xmr_amount vali = 0;
|
|
|
|
int j = 0;
|
|
|
|
for (j = 7; j >= 0; j--) {
|
|
|
|
vali = (xmr_amount)(vali * 256 + (unsigned char)test.bytes[j]);
|
|
|
|
}
|
|
|
|
return vali;
|
|
|
|
}
|
|
|
|
|
|
|
|
//32 byte key to int[64]
|
|
|
|
void h2b(bits amountb2, const key & test) {
|
|
|
|
int val = 0, i = 0, j = 0;
|
|
|
|
for (j = 0; j < 8; j++) {
|
|
|
|
val = (unsigned char)test.bytes[j];
|
2019-11-08 06:26:17 +00:00
|
|
|
i = 0;
|
|
|
|
while (i < 8) {
|
|
|
|
amountb2[j*8+i++] = val & 1;
|
2016-05-13 19:45:20 +00:00
|
|
|
val >>= 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//int[64] to 32 byte key
|
|
|
|
void b2h(key & amountdh, const bits amountb2) {
|
|
|
|
int byte, i, j;
|
|
|
|
for (j = 0; j < 8; j++) {
|
|
|
|
byte = 0;
|
|
|
|
for (i = 7; i > -1; i--) {
|
|
|
|
byte = byte * 2 + amountb2[8 * j + i];
|
|
|
|
}
|
|
|
|
amountdh[j] = (unsigned char)byte;
|
|
|
|
}
|
|
|
|
for (j = 8; j < 32; j++) {
|
|
|
|
amountdh[j] = (unsigned char)(0x00);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//int[64] to uint long long
|
|
|
|
xmr_amount b2d(bits amountb) {
|
|
|
|
xmr_amount vali = 0;
|
|
|
|
int j = 0;
|
|
|
|
for (j = 63; j >= 0; j--) {
|
|
|
|
vali = (xmr_amount)(vali * 2 + amountb[j]);
|
|
|
|
}
|
|
|
|
return vali;
|
|
|
|
}
|
|
|
|
|
2018-01-17 21:50:03 +00:00
|
|
|
bool is_rct_simple(int type)
|
|
|
|
{
|
|
|
|
switch (type)
|
|
|
|
{
|
|
|
|
case RCTTypeSimple:
|
2018-03-30 19:29:42 +00:00
|
|
|
case RCTTypeBulletproof:
|
2019-01-06 13:47:16 +00:00
|
|
|
case RCTTypeBulletproof2:
|
2019-06-09 13:02:16 +00:00
|
|
|
case RCTTypeCLSAG:
|
2018-01-17 21:50:03 +00:00
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
bool is_rct_bulletproof(int type)
|
|
|
|
{
|
|
|
|
switch (type)
|
|
|
|
{
|
2018-03-30 19:29:42 +00:00
|
|
|
case RCTTypeBulletproof:
|
2019-01-06 13:47:16 +00:00
|
|
|
case RCTTypeBulletproof2:
|
2019-06-09 13:02:16 +00:00
|
|
|
case RCTTypeCLSAG:
|
2018-01-17 21:50:03 +00:00
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-18 21:24:53 +00:00
|
|
|
bool is_rct_borromean(int type)
|
|
|
|
{
|
|
|
|
switch (type)
|
|
|
|
{
|
|
|
|
case RCTTypeSimple:
|
|
|
|
case RCTTypeFull:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-03-30 19:29:42 +00:00
|
|
|
size_t n_bulletproof_amounts(const Bulletproof &proof)
|
|
|
|
{
|
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() >= 6, 0, "Invalid bulletproof L size");
|
2018-07-18 21:24:53 +00:00
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() == proof.R.size(), 0, "Mismatched bulletproof L/R size");
|
|
|
|
static const size_t extra_bits = 4;
|
|
|
|
static_assert((1 << extra_bits) == BULLETPROOF_MAX_OUTPUTS, "log2(BULLETPROOF_MAX_OUTPUTS) is out of date");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() <= 6 + extra_bits, 0, "Invalid bulletproof L size");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.V.size() <= (1u<<(proof.L.size()-6)), 0, "Invalid bulletproof V/L");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.V.size() * 2 > (1u<<(proof.L.size()-6)), 0, "Invalid bulletproof V/L");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.V.size() > 0, 0, "Empty bulletproof");
|
|
|
|
return proof.V.size();
|
2018-03-30 19:29:42 +00:00
|
|
|
}
|
|
|
|
|
2018-01-17 21:50:03 +00:00
|
|
|
size_t n_bulletproof_amounts(const std::vector<Bulletproof> &proofs)
|
|
|
|
{
|
|
|
|
size_t n = 0;
|
|
|
|
for (const Bulletproof &proof: proofs)
|
2018-03-30 19:29:42 +00:00
|
|
|
{
|
|
|
|
size_t n2 = n_bulletproof_amounts(proof);
|
2018-07-16 13:40:51 +00:00
|
|
|
CHECK_AND_ASSERT_MES(n2 < std::numeric_limits<uint32_t>::max() - n, 0, "Invalid number of bulletproofs");
|
2018-03-30 19:29:42 +00:00
|
|
|
if (n2 == 0)
|
|
|
|
return 0;
|
|
|
|
n += n2;
|
|
|
|
}
|
2018-01-17 21:50:03 +00:00
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
2018-07-18 21:24:53 +00:00
|
|
|
size_t n_bulletproof_max_amounts(const Bulletproof &proof)
|
|
|
|
{
|
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() >= 6, 0, "Invalid bulletproof L size");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() == proof.R.size(), 0, "Mismatched bulletproof L/R size");
|
|
|
|
static const size_t extra_bits = 4;
|
|
|
|
static_assert((1 << extra_bits) == BULLETPROOF_MAX_OUTPUTS, "log2(BULLETPROOF_MAX_OUTPUTS) is out of date");
|
|
|
|
CHECK_AND_ASSERT_MES(proof.L.size() <= 6 + extra_bits, 0, "Invalid bulletproof L size");
|
|
|
|
return 1 << (proof.L.size() - 6);
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t n_bulletproof_max_amounts(const std::vector<Bulletproof> &proofs)
|
|
|
|
{
|
|
|
|
size_t n = 0;
|
|
|
|
for (const Bulletproof &proof: proofs)
|
|
|
|
{
|
|
|
|
size_t n2 = n_bulletproof_max_amounts(proof);
|
|
|
|
CHECK_AND_ASSERT_MES(n2 < std::numeric_limits<uint32_t>::max() - n, 0, "Invalid number of bulletproofs");
|
|
|
|
if (n2 == 0)
|
|
|
|
return 0;
|
|
|
|
n += n2;
|
|
|
|
}
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
2016-05-13 19:45:20 +00:00
|
|
|
}
|