Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Static Public Member Functions | List of all members
bb::stdlib::bigfield_test_access Class Reference

#include <bigfield.hpp>

Static Public Member Functions

template<typename bigfield >
static void unsafe_assert_less_than (const bigfield &input, const uint256_t &upper_limit)
 
template<typename bigfield >
static void unsafe_evaluate_multiply_add (const bigfield &input_left, const bigfield &input_to_mul, const std::vector< bigfield > &to_add, const bigfield &input_quotient, const std::vector< bigfield > &input_remainders)
 
template<typename bigfield >
static void unsafe_evaluate_multiple_multiply_add (const std::vector< bigfield > &input_left, const std::vector< bigfield > &input_right, const std::vector< bigfield > &to_add, const bigfield &input_quotient, const std::vector< bigfield > &input_remainders)
 

Detailed Description

Definition at line 1142 of file bigfield.hpp.

Member Function Documentation

◆ unsafe_assert_less_than()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::unsafe_assert_less_than ( const bigfield &  input,
const uint256_t &  upper_limit 
)
inlinestatic

Definition at line 1145 of file bigfield.hpp.

◆ unsafe_evaluate_multiple_multiply_add()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::unsafe_evaluate_multiple_multiply_add ( const std::vector< bigfield > &  input_left,
const std::vector< bigfield > &  input_right,
const std::vector< bigfield > &  to_add,
const bigfield &  input_quotient,
const std::vector< bigfield > &  input_remainders 
)
inlinestatic

Definition at line 1161 of file bigfield.hpp.

◆ unsafe_evaluate_multiply_add()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::unsafe_evaluate_multiply_add ( const bigfield &  input_left,
const bigfield &  input_to_mul,
const std::vector< bigfield > &  to_add,
const bigfield &  input_quotient,
const std::vector< bigfield > &  input_remainders 
)
inlinestatic

Definition at line 1151 of file bigfield.hpp.

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