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)
 
template<typename bigfield >
static void set_limb_element (bigfield &bf, size_t i, const typename bigfield::field_ct &v)
 
template<typename bigfield >
static void set_prime_basis_limb (bigfield &bf, const typename bigfield::field_ct &v)
 
template<typename bigfield >
static void fix_witness_in_place (const bigfield &bf)
 

Detailed Description

Definition at line 1201 of file bigfield.hpp.

Member Function Documentation

◆ fix_witness_in_place()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::fix_witness_in_place ( const bigfield &  bf)
inlinestatic

Definition at line 1241 of file bigfield.hpp.

◆ set_limb_element()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::set_limb_element ( bigfield &  bf,
size_t  i,
const typename bigfield::field_ct &  v 
)
inlinestatic

Definition at line 1231 of file bigfield.hpp.

◆ set_prime_basis_limb()

template<typename bigfield >
static void bb::stdlib::bigfield_test_access::set_prime_basis_limb ( bigfield &  bf,
const typename bigfield::field_ct &  v 
)
inlinestatic

Definition at line 1236 of file bigfield.hpp.

◆ 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 1204 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 1220 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 1210 of file bigfield.hpp.

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