Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | List of all members
VariableWindowSplitDispatchTest< Curve > Class Template Reference
Inheritance diagram for VariableWindowSplitDispatchTest< Curve >:

Public Types

using Group = typename Curve::Group
 
using Element = typename Curve::Element
 
using AffineElement = typename Curve::AffineElement
 
using ScalarField = typename Curve::ScalarField
 

Public Member Functions

void test_cliff ()
 
void test_decaying ()
 
void test_uniform_random ()
 
void test_all_zero ()
 
void test_half_zero ()
 
void test_all_large ()
 
void test_mid_distribution ()
 
void test_below_192 ()
 
void test_force_split_bitwise_identity ()
 

Static Public Member Functions

static AffineElement naive_msm (std::span< ScalarField > input_scalars, std::span< const AffineElement > input_points)
 
static std::vector< AffineElement > make_points (size_t n)
 
static ScalarField scalar_below_2pow (size_t bits)
 
static void check_against_naive (std::span< ScalarField > scalars, std::span< const AffineElement > points)
 

Static Public Attributes

static constexpr size_t kN = 131072
 

Detailed Description

template<class Curve>
class VariableWindowSplitDispatchTest< Curve >

Definition at line 1939 of file scalar_multiplication.test.cpp.

Member Typedef Documentation

◆ AffineElement

template<class Curve >
using VariableWindowSplitDispatchTest< Curve >::AffineElement = typename Curve::AffineElement

Definition at line 1943 of file scalar_multiplication.test.cpp.

◆ Element

template<class Curve >
using VariableWindowSplitDispatchTest< Curve >::Element = typename Curve::Element

Definition at line 1942 of file scalar_multiplication.test.cpp.

◆ Group

template<class Curve >
using VariableWindowSplitDispatchTest< Curve >::Group = typename Curve::Group

Definition at line 1941 of file scalar_multiplication.test.cpp.

◆ ScalarField

template<class Curve >
using VariableWindowSplitDispatchTest< Curve >::ScalarField = typename Curve::ScalarField

Definition at line 1944 of file scalar_multiplication.test.cpp.

Member Function Documentation

◆ check_against_naive()

template<class Curve >
static void VariableWindowSplitDispatchTest< Curve >::check_against_naive ( std::span< ScalarField >  scalars,
std::span< const AffineElement >  points 
)
inlinestatic

Definition at line 1990 of file scalar_multiplication.test.cpp.

◆ make_points()

template<class Curve >
static std::vector< AffineElement > VariableWindowSplitDispatchTest< Curve >::make_points ( size_t  n)
inlinestatic

Definition at line 1951 of file scalar_multiplication.test.cpp.

◆ naive_msm()

template<class Curve >
static AffineElement VariableWindowSplitDispatchTest< Curve >::naive_msm ( std::span< ScalarField >  input_scalars,
std::span< const AffineElement >  input_points 
)
inlinestatic

Definition at line 1946 of file scalar_multiplication.test.cpp.

◆ scalar_below_2pow()

template<class Curve >
static ScalarField VariableWindowSplitDispatchTest< Curve >::scalar_below_2pow ( size_t  bits)
inlinestatic

Definition at line 1962 of file scalar_multiplication.test.cpp.

◆ test_all_large()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_all_large ( )
inline

Definition at line 2059 of file scalar_multiplication.test.cpp.

◆ test_all_zero()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_all_zero ( )
inline

Definition at line 2039 of file scalar_multiplication.test.cpp.

◆ test_below_192()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_below_192 ( )
inline

Definition at line 2089 of file scalar_multiplication.test.cpp.

◆ test_cliff()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_cliff ( )
inline

Definition at line 1999 of file scalar_multiplication.test.cpp.

◆ test_decaying()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_decaying ( )
inline

Definition at line 2014 of file scalar_multiplication.test.cpp.

◆ test_force_split_bitwise_identity()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_force_split_bitwise_identity ( )
inline

Definition at line 2103 of file scalar_multiplication.test.cpp.

◆ test_half_zero()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_half_zero ( )
inline

Definition at line 2048 of file scalar_multiplication.test.cpp.

◆ test_mid_distribution()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_mid_distribution ( )
inline

Definition at line 2072 of file scalar_multiplication.test.cpp.

◆ test_uniform_random()

template<class Curve >
void VariableWindowSplitDispatchTest< Curve >::test_uniform_random ( )
inline

Definition at line 2028 of file scalar_multiplication.test.cpp.

Member Data Documentation

◆ kN

template<class Curve >
constexpr size_t VariableWindowSplitDispatchTest< Curve >::kN = 131072
staticconstexpr

Definition at line 1997 of file scalar_multiplication.test.cpp.

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