Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow.
More...
#include <field.fuzzer.hpp>
|
|
static constexpr size_t | CONSTANT = 1 |
| |
|
static constexpr size_t | WITNESS = 1 |
| |
|
static constexpr size_t | CONSTANT_WITNESS = 1 |
| |
|
static constexpr size_t | ADD = 1 |
| |
|
static constexpr size_t | SUBTRACT = 1 |
| |
|
static constexpr size_t | MULTIPLY = 2 |
| |
|
static constexpr size_t | SQR = 2 |
| |
|
static constexpr size_t | ASSERT_EQUAL = 2 |
| |
|
static constexpr size_t | ASSERT_NOT_EQUAL = 2 |
| |
|
static constexpr size_t | ASSERT_ZERO = 2 |
| |
|
static constexpr size_t | ASSERT_NOT_ZERO = 2 |
| |
|
static constexpr size_t | ADD_TWO = 1 |
| |
|
static constexpr size_t | DIVIDE = 16 |
| |
|
static constexpr size_t | MADD = 2 |
| |
|
static constexpr size_t | SUBTRACT_WITH_CONSTRAINT = 0 |
| |
|
static constexpr size_t | DIVIDE_WITH_CONSTRAINTS = 0 |
| |
|
static constexpr size_t | SLICE = 1 |
| |
|
static constexpr size_t | RANDOMSEED = 0 |
| |
|
static constexpr size_t | COND_NEGATE = 0 |
| |
|
static constexpr size_t | COND_SELECT = 0 |
| |
|
static constexpr size_t | SELECT_IF_ZERO = 0 |
| |
|
static constexpr size_t | SELECT_IF_EQ = 0 |
| |
|
static constexpr size_t | SET = 0 |
| |
|
static constexpr size_t | INVERT = 0 |
| |
|
static constexpr size_t | _LIMIT = 64 |
| |
template<typename
Builder>
class FieldBase< Builder >::InstructionWeights
Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow.
The documentation for this class was generated from the following file:
