Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Attributes | List of all members
FieldBase< 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 <field.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 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 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
 

Detailed Description

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.

Definition at line 513 of file field.fuzzer.hpp.

Member Data Documentation

◆ _LIMIT

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

Definition at line 540 of file field.fuzzer.hpp.

◆ ADD

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

Definition at line 518 of file field.fuzzer.hpp.

◆ ADD_TWO

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

Definition at line 526 of file field.fuzzer.hpp.

◆ ASSERT_EQUAL

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

Definition at line 522 of file field.fuzzer.hpp.

◆ ASSERT_NOT_EQUAL

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

Definition at line 523 of file field.fuzzer.hpp.

◆ ASSERT_NOT_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::InstructionWeights::ASSERT_NOT_ZERO = 2
staticconstexpr

Definition at line 525 of file field.fuzzer.hpp.

◆ ASSERT_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::InstructionWeights::ASSERT_ZERO = 2
staticconstexpr

Definition at line 524 of file field.fuzzer.hpp.

◆ COND_NEGATE

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

Definition at line 534 of file field.fuzzer.hpp.

◆ COND_SELECT

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

Definition at line 535 of file field.fuzzer.hpp.

◆ CONSTANT

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

Definition at line 515 of file field.fuzzer.hpp.

◆ CONSTANT_WITNESS

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

Definition at line 517 of file field.fuzzer.hpp.

◆ DIVIDE

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

Definition at line 528 of file field.fuzzer.hpp.

◆ DIVIDE_WITH_CONSTRAINTS

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

Definition at line 532 of file field.fuzzer.hpp.

◆ INVERT

template<typename Builder >
constexpr size_t FieldBase< Builder >::InstructionWeights::INVERT = 0
staticconstexpr

Definition at line 539 of file field.fuzzer.hpp.

◆ MADD

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

Definition at line 530 of file field.fuzzer.hpp.

◆ MULTIPLY

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

Definition at line 520 of file field.fuzzer.hpp.

◆ RANDOMSEED

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

Definition at line 533 of file field.fuzzer.hpp.

◆ SELECT_IF_EQ

template<typename Builder >
constexpr size_t FieldBase< Builder >::InstructionWeights::SELECT_IF_EQ = 0
staticconstexpr

Definition at line 537 of file field.fuzzer.hpp.

◆ SELECT_IF_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::InstructionWeights::SELECT_IF_ZERO = 0
staticconstexpr

Definition at line 536 of file field.fuzzer.hpp.

◆ SET

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

Definition at line 538 of file field.fuzzer.hpp.

◆ SQR

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

Definition at line 521 of file field.fuzzer.hpp.

◆ SUBTRACT

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

Definition at line 519 of file field.fuzzer.hpp.

◆ SUBTRACT_WITH_CONSTRAINT

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

Definition at line 531 of file field.fuzzer.hpp.

◆ WITNESS

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

Definition at line 516 of file field.fuzzer.hpp.

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