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

#include <biggroup.hpp>

Static Public Member Functions

template<typename C , typename Fq , typename Fr , typename G , size_t wnaf_size>
static auto get_staggered_wnaf_fragment_value (uint64_t fragment_u64, uint64_t stagger, bool is_negative, bool wnaf_skew)
 
template<typename C , typename Fq , typename Fr , typename G >
static auto checked_unconditional_add_sub (const element< C, Fq, Fr, G > &elem1, const element< C, Fq, Fr, G > &elem2)
 
template<typename C , typename Fq , typename Fr , typename G >
static auto checked_unconditional_add_sub (const element_goblin::goblin_element< C, Fq, Fr, G > &elem1, const element_goblin::goblin_element< C, Fq, Fr, G > &elem2)
 
template<typename C , typename Fq , typename Fr , typename G >
static element< C, Fq, Fr, G > create_element_with_explicit_infinity (const Fq &x, const Fq &y, const stdlib::bool_t< C > &is_infinity, bool assert_on_curve=false)
 Create an element with explicit infinity flag (for testing only).
 

Detailed Description

Definition at line 958 of file biggroup.hpp.

Member Function Documentation

◆ checked_unconditional_add_sub() [1/2]

template<typename C , typename Fq , typename Fr , typename G >
static auto bb::stdlib::element_default::element_test_accessor::checked_unconditional_add_sub ( const element< C, Fq, Fr, G > &  elem1,
const element< C, Fq, Fr, G > &  elem2 
)
inlinestatic

Definition at line 971 of file biggroup.hpp.

◆ checked_unconditional_add_sub() [2/2]

template<typename C , typename Fq , typename Fr , typename G >
static auto bb::stdlib::element_default::element_test_accessor::checked_unconditional_add_sub ( const element_goblin::goblin_element< C, Fq, Fr, G > &  elem1,
const element_goblin::goblin_element< C, Fq, Fr, G > &  elem2 
)
inlinestatic

Definition at line 978 of file biggroup.hpp.

◆ create_element_with_explicit_infinity()

template<typename C , typename Fq , typename Fr , typename G >
static element< C, Fq, Fr, G > bb::stdlib::element_default::element_test_accessor::create_element_with_explicit_infinity ( const Fq &  x,
const Fq &  y,
const stdlib::bool_t< C > &  is_infinity,
bool  assert_on_curve = false 
)
inlinestatic

Create an element with explicit infinity flag (for testing only).

This bypasses the infinity auto-detection of the public constructor.

Warning
Use only in tests where you need to control the infinity flag directly.

Definition at line 990 of file biggroup.hpp.

◆ get_staggered_wnaf_fragment_value()

template<typename C , typename Fq , typename Fr , typename G , size_t wnaf_size>
static auto bb::stdlib::element_default::element_test_accessor::get_staggered_wnaf_fragment_value ( uint64_t  fragment_u64,
uint64_t  stagger,
bool  is_negative,
bool  wnaf_skew 
)
inlinestatic

Definition at line 961 of file biggroup.hpp.

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