ECCOpQueueTest Class Reference

Public Types
using	Curve = curve::BN254
using	G1 = Curve::AffineElement
using	Fr = Curve::ScalarField
using	Polynomial = bb::Polynomial< Fr >

Static Public Member Functions
static void	populate_an_arbitrary_subtable_of_ops (const std::shared_ptr< bb::ECCOpQueue > &op_queue)
static void	check_table_column_polynomials (const std::shared_ptr< bb::ECCOpQueue > &op_queue, MergeSettings settings, std::optional< size_t > ultra_fixed_offset=std::nullopt)
	Check that the table column polynomials reconstructed by the op queue have the correct relationship.
static void	check_opcode_consistency_with_eccvm (const std::shared_ptr< bb::ECCOpQueue > &op_queue)
	Check that the opcode values are consistent between the ultra ops table and the eccvm ops table.

Detailed Description

Definition at line 6 of file ecc_op_queue.test.cpp.

Member Typedef Documentation

Curve

using ECCOpQueueTest::Curve = curve::BN254

Definition at line 8 of file ecc_op_queue.test.cpp.

Fr

using ECCOpQueueTest::Fr = Curve::ScalarField

Definition at line 10 of file ecc_op_queue.test.cpp.

G1

using ECCOpQueueTest::G1 = Curve::AffineElement

Definition at line 9 of file ecc_op_queue.test.cpp.

Polynomial

using ECCOpQueueTest::Polynomial = bb::Polynomial<Fr>

Definition at line 11 of file ecc_op_queue.test.cpp.

Member Function Documentation

check_opcode_consistency_with_eccvm()

static void ECCOpQueueTest::check_opcode_consistency_with_eccvm ( const std::shared_ptr< bb::ECCOpQueue > &  op_queue )

inlinestatic

Check that the opcode values are consistent between the ultra ops table and the eccvm ops table.

Parameters

op_queue

Definition at line 72 of file ecc_op_queue.test.cpp.

check_table_column_polynomials()

static void ECCOpQueueTest::check_table_column_polynomials ( const std::shared_ptr< bb::ECCOpQueue > &  op_queue, MergeSettings  settings, std::optional< size_t >  ultra_fixed_offset = std::nullopt  )

inlinestatic

Check that the table column polynomials reconstructed by the op queue have the correct relationship.

Definition at line 30 of file ecc_op_queue.test.cpp.

populate_an_arbitrary_subtable_of_ops()

static void ECCOpQueueTest::populate_an_arbitrary_subtable_of_ops ( const std::shared_ptr< bb::ECCOpQueue > &  op_queue )

inlinestatic

Definition at line 14 of file ecc_op_queue.test.cpp.

---

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

• src/barretenberg/op_queue/ecc_op_queue.test.cpp