Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Attributes | List of all members
BigFieldBase< Builder >::InstructionWeights Class Reference

Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow. More...

#include <bigfield.fuzzer.hpp>

Static Public Attributes

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 ADD_TWO = 1
 
static constexpr size_t DIVIDE = 16
 
static constexpr size_t MADD = 2
 
static constexpr size_t MULT_MADD = 3
 
static constexpr size_t MSUB_DIV = 3
 
static constexpr size_t SQR_ADD = 2
 
static constexpr size_t SUBTRACT_WITH_CONSTRAINT = 0
 
static constexpr size_t DIVIDE_WITH_CONSTRAINTS = 0
 
static constexpr size_t SLICE = 0
 
static constexpr size_t COND_NEGATE = 0
 
static constexpr size_t COND_SELECT = 0
 
static constexpr size_t SET = 0
 
static constexpr size_t RANDOMSEED = 0
 
static constexpr size_t _LIMIT = 64
 

Detailed Description

template<typename Builder>
class BigFieldBase< Builder >::InstructionWeights

Optional subclass that governs limits on the use of certain instructions, since some of them can be too slow.

Definition at line 618 of file bigfield.fuzzer.hpp.

Member Data Documentation

◆ _LIMIT

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::_LIMIT = 64
staticconstexpr

Definition at line 644 of file bigfield.fuzzer.hpp.

◆ ADD

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::ADD = 1
staticconstexpr

Definition at line 623 of file bigfield.fuzzer.hpp.

◆ ADD_TWO

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::ADD_TWO = 1
staticconstexpr

Definition at line 629 of file bigfield.fuzzer.hpp.

◆ ASSERT_EQUAL

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::ASSERT_EQUAL = 2
staticconstexpr

Definition at line 627 of file bigfield.fuzzer.hpp.

◆ ASSERT_NOT_EQUAL

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::ASSERT_NOT_EQUAL = 2
staticconstexpr

Definition at line 628 of file bigfield.fuzzer.hpp.

◆ COND_NEGATE

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::COND_NEGATE = 0
staticconstexpr

Definition at line 640 of file bigfield.fuzzer.hpp.

◆ COND_SELECT

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::COND_SELECT = 0
staticconstexpr

Definition at line 641 of file bigfield.fuzzer.hpp.

◆ CONSTANT

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::CONSTANT = 1
staticconstexpr

Definition at line 620 of file bigfield.fuzzer.hpp.

◆ CONSTANT_WITNESS

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::CONSTANT_WITNESS = 1
staticconstexpr

Definition at line 622 of file bigfield.fuzzer.hpp.

◆ DIVIDE

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::DIVIDE = 16
staticconstexpr

Definition at line 631 of file bigfield.fuzzer.hpp.

◆ DIVIDE_WITH_CONSTRAINTS

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::DIVIDE_WITH_CONSTRAINTS = 0
staticconstexpr

Definition at line 638 of file bigfield.fuzzer.hpp.

◆ MADD

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::MADD = 2
staticconstexpr

Definition at line 633 of file bigfield.fuzzer.hpp.

◆ MSUB_DIV

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::MSUB_DIV = 3
staticconstexpr

Definition at line 635 of file bigfield.fuzzer.hpp.

◆ MULT_MADD

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::MULT_MADD = 3
staticconstexpr

Definition at line 634 of file bigfield.fuzzer.hpp.

◆ MULTIPLY

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::MULTIPLY = 2
staticconstexpr

Definition at line 625 of file bigfield.fuzzer.hpp.

◆ RANDOMSEED

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::RANDOMSEED = 0
staticconstexpr

Definition at line 643 of file bigfield.fuzzer.hpp.

◆ SET

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SET = 0
staticconstexpr

Definition at line 642 of file bigfield.fuzzer.hpp.

◆ SLICE

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SLICE = 0
staticconstexpr

Definition at line 639 of file bigfield.fuzzer.hpp.

◆ SQR

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SQR = 2
staticconstexpr

Definition at line 626 of file bigfield.fuzzer.hpp.

◆ SQR_ADD

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SQR_ADD = 2
staticconstexpr

Definition at line 636 of file bigfield.fuzzer.hpp.

◆ SUBTRACT

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SUBTRACT = 1
staticconstexpr

Definition at line 624 of file bigfield.fuzzer.hpp.

◆ SUBTRACT_WITH_CONSTRAINT

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::SUBTRACT_WITH_CONSTRAINT = 0
staticconstexpr

Definition at line 637 of file bigfield.fuzzer.hpp.

◆ WITNESS

template<typename Builder >
constexpr size_t BigFieldBase< Builder >::InstructionWeights::WITNESS = 1
staticconstexpr

Definition at line 621 of file bigfield.fuzzer.hpp.

The documentation for this class was generated from the following file: