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
ScalarMultiplicationTest< Curve > Class Template Reference
Inheritance diagram for ScalarMultiplicationTest< 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_get_scalar_slice ()
 
void test_consume_point_batch ()
 
void test_consume_point_batch_and_accumulate ()
 
void test_radix_sort_count_zero_entries ()
 
void test_radix_sort_count_zero_entries_wide_buckets ()
 
void test_pippenger_low_memory ()
 
void test_batch_multi_scalar_mul ()
 
void test_batch_multi_scalar_mul_sparse ()
 
void test_msm ()
 
void test_msm_all_zeroes ()
 
void test_msm_empty_polynomial ()
 
void test_scalars_unchanged_after_msm ()
 
void test_scalars_unchanged_after_batch_multi_scalar_mul ()
 
void test_scalar_one ()
 
void test_scalar_minus_one ()
 
void test_single_point ()
 
void test_size_thresholds ()
 
void test_duplicate_points ()
 
void test_mixed_zero_scalars ()
 
void test_pippenger_free_function ()
 
void test_pippenger_unsafe_free_function ()
 

Static Public Member Functions

static AffineElement naive_msm (std::span< ScalarField > input_scalars, std::span< const AffineElement > input_points)
 
static void SetUpTestSuite ()
 

Static Public Attributes

static constexpr size_t num_points = 31013
 
static constexpr size_t kMaxBatchMSMs = 32
 
static constexpr size_t kMaxBatchPointsPerMSM = 400
 
static constexpr size_t kMaxBucketTestPoints = 30071
 
static std::vector< AffineElement > generators {}
 
static std::vector< ScalarField > scalars {}
 

Detailed Description

template<class Curve>
class ScalarMultiplicationTest< Curve >

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

Member Typedef Documentation

◆ AffineElement

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

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

◆ Element

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

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

◆ Group

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

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

◆ ScalarField

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

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

Member Function Documentation

◆ naive_msm()

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

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

◆ SetUpTestSuite()

template<class Curve >
static void ScalarMultiplicationTest< Curve >::SetUpTestSuite ( )
inlinestatic

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

◆ test_batch_multi_scalar_mul()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_batch_multi_scalar_mul ( )
inline

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

◆ test_batch_multi_scalar_mul_sparse()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_batch_multi_scalar_mul_sparse ( )
inline

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

◆ test_consume_point_batch()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_consume_point_batch ( )
inline

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

◆ test_consume_point_batch_and_accumulate()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_consume_point_batch_and_accumulate ( )
inline

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

◆ test_duplicate_points()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_duplicate_points ( )
inline

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

◆ test_get_scalar_slice()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_get_scalar_slice ( )
inline

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

◆ test_mixed_zero_scalars()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_mixed_zero_scalars ( )
inline

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

◆ test_msm()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_msm ( )
inline

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

◆ test_msm_all_zeroes()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_msm_all_zeroes ( )
inline

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

◆ test_msm_empty_polynomial()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_msm_empty_polynomial ( )
inline

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

◆ test_pippenger_free_function()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_pippenger_free_function ( )
inline

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

◆ test_pippenger_low_memory()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_pippenger_low_memory ( )
inline

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

◆ test_pippenger_unsafe_free_function()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_pippenger_unsafe_free_function ( )
inline

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

◆ test_radix_sort_count_zero_entries()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_radix_sort_count_zero_entries ( )
inline

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

◆ test_radix_sort_count_zero_entries_wide_buckets()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_radix_sort_count_zero_entries_wide_buckets ( )
inline

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

◆ test_scalar_minus_one()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_scalar_minus_one ( )
inline

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

◆ test_scalar_one()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_scalar_one ( )
inline

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

◆ test_scalars_unchanged_after_batch_multi_scalar_mul()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_scalars_unchanged_after_batch_multi_scalar_mul ( )
inline

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

◆ test_scalars_unchanged_after_msm()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_scalars_unchanged_after_msm ( )
inline

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

◆ test_single_point()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_single_point ( )
inline

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

◆ test_size_thresholds()

template<class Curve >
void ScalarMultiplicationTest< Curve >::test_size_thresholds ( )
inline

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

Member Data Documentation

◆ generators

template<class Curve >
std::vector<AffineElement> ScalarMultiplicationTest< Curve >::generators {}
inlinestatic

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

◆ kMaxBatchMSMs

template<class Curve >
constexpr size_t ScalarMultiplicationTest< Curve >::kMaxBatchMSMs = 32
staticconstexpr

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

◆ kMaxBatchPointsPerMSM

template<class Curve >
constexpr size_t ScalarMultiplicationTest< Curve >::kMaxBatchPointsPerMSM = 400
staticconstexpr

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

◆ kMaxBucketTestPoints

template<class Curve >
constexpr size_t ScalarMultiplicationTest< Curve >::kMaxBucketTestPoints = 30071
staticconstexpr

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

◆ num_points

template<class Curve >
constexpr size_t ScalarMultiplicationTest< Curve >::num_points = 31013
staticconstexpr

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

◆ scalars

template<class Curve >
std::vector<ScalarField> ScalarMultiplicationTest< Curve >::scalars {}
inlinestatic

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

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