eccvm_trace_checker.hpp

Go to the documentation of this file.

#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