eccvm_trace_checker.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "eccvm_circuit_builder.hpp"
 
namespace bb {
class ECCVMTraceChecker {
  public:
    static bool check(ECCVMCircuitBuilder&,
                      numeric::RNG* engine_ptr = nullptr
#ifdef FUZZING
                      ,
                      bool disable_fixed_dyadic_trace_size = false
#endif
    );
};
} // namespace bb