#include <non_native_group_generator.hpp>

Public Types
using	element = typename G1::element

Static Public Member Functions
static void	init_generator_tables ()

static std::array< fr, 2 >	get_xlo_endo_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_xhi_endo_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_xlo_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_xhi_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_ylo_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_yhi_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_xyprime_values (const std::array< uint64_t, 2 > key)

static std::array< fr, 2 >	get_xyprime_endo_values (const std::array< uint64_t, 2 > key)

static BasicTable	generate_xlo_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_xhi_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_xlo_endo_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_xhi_endo_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_ylo_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_yhi_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_xyprime_table (BasicTableId id, const size_t table_index)

static BasicTable	generate_xyprime_endo_table (BasicTableId id, const size_t table_index)

static MultiTable	get_xlo_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_xhi_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_xlo_endo_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_xhi_endo_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_ylo_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_yhi_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_xyprime_table (const MultiTableId id, const BasicTableId basic_id)

static MultiTable	get_xyprime_endo_table (const MultiTableId id, const BasicTableId basic_id)

Static Public Attributes
static std::array< std::pair< fr, fr >, 256 >	generator_endo_xlo_table

static std::array< std::pair< fr, fr >, 256 >	generator_endo_xhi_table

static std::array< std::pair< fr, fr >, 256 >	generator_xlo_table

static std::array< std::pair< fr, fr >, 256 >	generator_xhi_table

static std::array< std::pair< fr, fr >, 256 >	generator_ylo_table

static std::array< std::pair< fr, fr >, 256 >	generator_yhi_table

static std::array< std::pair< fr, fr >, 256 >	generator_xyprime_table

static std::array< std::pair< fr, fr >, 256 >	generator_endo_xyprime_table

static std::once_flag	init_flag

Detailed Description

template<typename G1>
class bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >

Definition at line 18 of file non_native_group_generator.hpp.

Member Typedef Documentation

◆ element

template<typename G1 >

using bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::element = typename G1::element

Definition at line 20 of file non_native_group_generator.hpp.

Member Function Documentation

◆ generate_xhi_endo_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xhi_endo_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 249 of file non_native_group_generator.cpp.

◆ generate_xhi_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xhi_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 201 of file non_native_group_generator.cpp.

◆ generate_xlo_endo_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xlo_endo_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 225 of file non_native_group_generator.cpp.

◆ generate_xlo_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xlo_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 178 of file non_native_group_generator.cpp.

◆ generate_xyprime_endo_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xyprime_endo_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 343 of file non_native_group_generator.cpp.

◆ generate_xyprime_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_xyprime_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 319 of file non_native_group_generator.cpp.

◆ generate_yhi_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_yhi_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 295 of file non_native_group_generator.cpp.

◆ generate_ylo_table()

template<typename G1 >

BasicTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generate_ylo_table	(	BasicTableId	id,
		const size_t	table_index
	)

static

Definition at line 272 of file non_native_group_generator.cpp.

◆ get_xhi_endo_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xhi_endo_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 412 of file non_native_group_generator.cpp.

◆ get_xhi_endo_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xhi_endo_values ( const std::array< uint64_t, 2 > key )

static

Get 2 high 68-bit limbs of x-coordinate (for endomorphism point \lambda.[1])

Definition at line 124 of file non_native_group_generator.cpp.

◆ get_xhi_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xhi_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 382 of file non_native_group_generator.cpp.

◆ get_xhi_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xhi_values ( const std::array< uint64_t, 2 > key )

static

Get 2 high 68-bit limbs of x-coordinate

Definition at line 100 of file non_native_group_generator.cpp.

◆ get_xlo_endo_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xlo_endo_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 397 of file non_native_group_generator.cpp.

◆ get_xlo_endo_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xlo_endo_values ( const std::array< uint64_t, 2 > key )

static

Get 2 low 68-bit limbs of x-coordinate (for endomorphism point \lambda.[P])

Definition at line 112 of file non_native_group_generator.cpp.

◆ get_xlo_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xlo_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 367 of file non_native_group_generator.cpp.

◆ get_xlo_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xlo_values ( const std::array< uint64_t, 2 > key )

static

Get 2 low 68-bit limbs of x-coordinate

Definition at line 89 of file non_native_group_generator.cpp.

◆ get_xyprime_endo_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xyprime_endo_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 472 of file non_native_group_generator.cpp.

◆ get_xyprime_endo_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xyprime_endo_values ( const std::array< uint64_t, 2 > key )

static

Get the prime basis limbs for the x and y coordinates (endomorphism version for \lambda.[1])

Definition at line 170 of file non_native_group_generator.cpp.

◆ get_xyprime_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xyprime_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 457 of file non_native_group_generator.cpp.

◆ get_xyprime_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_xyprime_values ( const std::array< uint64_t, 2 > key )

static

Get the prime basis limbs for the x and y coordinates

Definition at line 158 of file non_native_group_generator.cpp.

◆ get_yhi_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_yhi_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 442 of file non_native_group_generator.cpp.

◆ get_yhi_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_yhi_values ( const std::array< uint64_t, 2 > key )

static

Get 2 high 68-bit limbs of y-coordinate

Definition at line 146 of file non_native_group_generator.cpp.

◆ get_ylo_table()

template<typename G1 >

MultiTable bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_ylo_table	(	const MultiTableId	id,
		const BasicTableId	basic_id
	)

static

Definition at line 427 of file non_native_group_generator.cpp.

◆ get_ylo_values()

template<typename G1 >

std::array< bb::fr, 2 > bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::get_ylo_values ( const std::array< uint64_t, 2 > key )

static

Get 2 low 68-bit limbs of y-coordinate

Definition at line 135 of file non_native_group_generator.cpp.

◆ init_generator_tables()

template<typename G1 >

void bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::init_generator_tables ( )

static

Init 8-bit generator lookup tables The 8-bit wNAF is structured so that entries are in the range [0, ..., 255]

The actual scalar value = (wNAF * 2) - 255

scalar values are from the values [-255, -253, ..., -3, -1, 1, 3, ..., 253, 255]

Definition at line 19 of file non_native_group_generator.cpp.

Member Data Documentation

◆ generator_endo_xhi_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_endo_xhi_table

inlinestatic

Definition at line 36 of file non_native_group_generator.hpp.

◆ generator_endo_xlo_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_endo_xlo_table

inlinestatic

Store arrays of precomputed 8-bit lookup tables for generator point coordinates (and their endomorphism equivalents):

xlo_table: (x0, x1) = low limbs of x-coordinate
xhi_table: (x2, x3) = high limbs of x-coordinate
ylo_table: (y0, y1) = low limbs of y-coordinate
yhi_table: (y2, y3) = high limbs of y-coordinate
xyprime_table: (xp, yp) = x-coordinate and y-coordinate in prime basis (i.e., x % p, y % p)
endo_xlo_table: (x0', x1') = low limbs of endomorphism-mapped x-coordinate (x' = x * beta)
endo_xhi_table: (x2', x3') = high limbs of endomorphism-mapped x-coordinate (x' = x * beta)
endo_xyprime_table: (x'p, yp) = endomorphism-mapped x and y-coord in prime basis (i.e., x' % p, y % p)

Each table has 256 rows and 2 columns.

Definition at line 35 of file non_native_group_generator.hpp.

◆ generator_endo_xyprime_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_endo_xyprime_table

inlinestatic

Definition at line 42 of file non_native_group_generator.hpp.

◆ generator_xhi_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_xhi_table

inlinestatic

Definition at line 38 of file non_native_group_generator.hpp.

◆ generator_xlo_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_xlo_table

inlinestatic

Definition at line 37 of file non_native_group_generator.hpp.

◆ generator_xyprime_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_xyprime_table

inlinestatic

Definition at line 41 of file non_native_group_generator.hpp.

◆ generator_yhi_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_yhi_table

inlinestatic

Definition at line 40 of file non_native_group_generator.hpp.

◆ generator_ylo_table

template<typename G1 >

std::array<std::pair<fr, fr>, 256> bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::generator_ylo_table

inlinestatic

Definition at line 39 of file non_native_group_generator.hpp.

◆ init_flag

template<typename G1 >

std::once_flag bb::plookup::ecc_generator_tables::ecc_generator_table< G1 >::init_flag

inlinestatic

Definition at line 43 of file non_native_group_generator.hpp.

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

src/barretenberg/stdlib_circuit_builders/plookup_tables/non_native_group_generator.hpp
src/barretenberg/stdlib_circuit_builders/plookup_tables/non_native_group_generator.cpp

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ element

Member Function Documentation

◆ generate_xhi_endo_table()

◆ generate_xhi_table()

◆ generate_xlo_endo_table()

◆ generate_xlo_table()

◆ generate_xyprime_endo_table()

◆ generate_xyprime_table()

◆ generate_yhi_table()

◆ generate_ylo_table()

◆ get_xhi_endo_table()

◆ get_xhi_endo_values()

◆ get_xhi_table()

◆ get_xhi_values()

◆ get_xlo_endo_table()

◆ get_xlo_endo_values()

◆ get_xlo_table()

◆ get_xlo_values()

◆ get_xyprime_endo_table()

◆ get_xyprime_endo_values()

◆ get_xyprime_table()

◆ get_xyprime_values()

◆ get_yhi_table()

◆ get_yhi_values()

◆ get_ylo_table()

◆ get_ylo_values()

◆ init_generator_tables()

Member Data Documentation

◆ generator_endo_xhi_table

◆ generator_endo_xlo_table

◆ generator_endo_xyprime_table

◆ generator_xhi_table

◆ generator_xlo_table

◆ generator_xyprime_table

◆ generator_yhi_table

◆ generator_ylo_table

◆ init_flag