Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights Class Reference

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

#include <biggroup.fuzzer.hpp>

Static Public Attributes

static constexpr size_t SET = 0
 
static constexpr size_t RANDOMSEED = 0
 
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 DBL = 1
 
static constexpr size_t NEG = 1
 
static constexpr size_t COND_ASSIGN = 1
 
static constexpr size_t VALIDATE_ON_CURVE = 2
 
static constexpr size_t MULTIPLY = 2
 
static constexpr size_t ASSERT_EQUAL = 2
 
static constexpr size_t BATCH_MUL = 4
 
static constexpr size_t _LIMIT = 64
 

Detailed Description

template<typename Builder, typename BigGroupType, bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
class BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights

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

Definition at line 725 of file biggroup.fuzzer.hpp.

Member Data Documentation

◆ _LIMIT

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::_LIMIT = 64
staticconstexpr

Definition at line 749 of file biggroup.fuzzer.hpp.

◆ ADD

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::ADD = 1
staticconstexpr

Definition at line 733 of file biggroup.fuzzer.hpp.

◆ ASSERT_EQUAL

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::ASSERT_EQUAL = 2
staticconstexpr

Definition at line 744 of file biggroup.fuzzer.hpp.

◆ BATCH_MUL

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::BATCH_MUL = 4
staticconstexpr

Definition at line 747 of file biggroup.fuzzer.hpp.

◆ COND_ASSIGN

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::COND_ASSIGN = 1
staticconstexpr

Definition at line 737 of file biggroup.fuzzer.hpp.

◆ CONSTANT

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::CONSTANT = 1
staticconstexpr

Definition at line 730 of file biggroup.fuzzer.hpp.

◆ CONSTANT_WITNESS

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::CONSTANT_WITNESS = 1
staticconstexpr

Definition at line 732 of file biggroup.fuzzer.hpp.

◆ DBL

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::DBL = 1
staticconstexpr

Definition at line 735 of file biggroup.fuzzer.hpp.

◆ MULTIPLY

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::MULTIPLY = 2
staticconstexpr

Definition at line 742 of file biggroup.fuzzer.hpp.

◆ NEG

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::NEG = 1
staticconstexpr

Definition at line 736 of file biggroup.fuzzer.hpp.

◆ RANDOMSEED

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::RANDOMSEED = 0
staticconstexpr

Definition at line 728 of file biggroup.fuzzer.hpp.

◆ SET

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::SET = 0
staticconstexpr

Definition at line 727 of file biggroup.fuzzer.hpp.

◆ SUBTRACT

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::SUBTRACT = 1
staticconstexpr

Definition at line 734 of file biggroup.fuzzer.hpp.

◆ VALIDATE_ON_CURVE

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::VALIDATE_ON_CURVE = 2
staticconstexpr

Definition at line 739 of file biggroup.fuzzer.hpp.

◆ WITNESS

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
constexpr size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights::WITNESS = 1
staticconstexpr

Definition at line 731 of file biggroup.fuzzer.hpp.


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