Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
FieldBase< Builder >::ArgSizes Class Reference

#include <field.fuzzer.hpp>

Static Public Attributes

static constexpr size_t CONSTANT = sizeof(bb::fr)
 
static constexpr size_t WITNESS = sizeof(bb::fr)
 
static constexpr size_t CONSTANT_WITNESS = sizeof(bb::fr)
 
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 = 1
 
static constexpr size_t ASSERT_NOT_ZERO = 1
 
static constexpr size_t ADD = 3
 
static constexpr size_t SUBTRACT = 3
 
static constexpr size_t MULTIPLY = 3
 
static constexpr size_t ADD_TWO = 4
 
static constexpr size_t DIVIDE = 3
 
static constexpr size_t MADD = 4
 
static constexpr size_t SUBTRACT_WITH_CONSTRAINT = static_cast<size_t>(-1)
 
static constexpr size_t DIVIDE_WITH_CONSTRAINTS = static_cast<size_t>(-1)
 
static constexpr size_t RANDOMSEED = sizeof(uint32_t)
 
static constexpr size_t COND_NEGATE = 3
 
static constexpr size_t COND_SELECT = 4
 
static constexpr size_t SELECT_IF_ZERO = 4
 
static constexpr size_t SELECT_IF_EQ = 4
 
static constexpr size_t SET = 2
 
static constexpr size_t INVERT = 2
 

Detailed Description

template<typename Builder>
class FieldBase< Builder >::ArgSizes

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

Member Data Documentation

◆ ADD

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::ADD = 3
staticconstexpr

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

◆ ADD_TWO

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::ADD_TWO = 4
staticconstexpr

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

◆ ASSERT_EQUAL

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

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

◆ ASSERT_NOT_EQUAL

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

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

◆ ASSERT_NOT_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::ASSERT_NOT_ZERO = 1
staticconstexpr

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

◆ ASSERT_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::ASSERT_ZERO = 1
staticconstexpr

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

◆ COND_NEGATE

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::COND_NEGATE = 3
staticconstexpr

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

◆ COND_SELECT

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::COND_SELECT = 4
staticconstexpr

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

◆ CONSTANT

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::CONSTANT = sizeof(bb::fr)
staticconstexpr

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

◆ CONSTANT_WITNESS

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::CONSTANT_WITNESS = sizeof(bb::fr)
staticconstexpr

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

◆ DIVIDE

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::DIVIDE = 3
staticconstexpr

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

◆ DIVIDE_WITH_CONSTRAINTS

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::DIVIDE_WITH_CONSTRAINTS = static_cast<size_t>(-1)
staticconstexpr

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

◆ INVERT

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::INVERT = 2
staticconstexpr

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

◆ MADD

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::MADD = 4
staticconstexpr

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

◆ MULTIPLY

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::MULTIPLY = 3
staticconstexpr

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

◆ RANDOMSEED

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::RANDOMSEED = sizeof(uint32_t)
staticconstexpr

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

◆ SELECT_IF_EQ

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::SELECT_IF_EQ = 4
staticconstexpr

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

◆ SELECT_IF_ZERO

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::SELECT_IF_ZERO = 4
staticconstexpr

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

◆ SET

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::SET = 2
staticconstexpr

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

◆ SQR

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

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

◆ SUBTRACT

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::SUBTRACT = 3
staticconstexpr

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

◆ SUBTRACT_WITH_CONSTRAINT

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::SUBTRACT_WITH_CONSTRAINT = static_cast<size_t>(-1)
staticconstexpr

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

◆ WITNESS

template<typename Builder >
constexpr size_t FieldBase< Builder >::ArgSizes::WITNESS = sizeof(bb::fr)
staticconstexpr

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


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