bb::stdlib::recursion::PairingPointsTests< Builder > Class Template Reference

Inheritance diagram for bb::stdlib::recursion::PairingPointsTests< Builder >:

Static Public Member Functions
static void	SetUpTestSuite ()
template<typename Curve >
static std::vector< PairingPoints< Curve > >	create_valid_pairing_points (typename Curve::Builder *builder, size_t count)
	Create N distinct valid pairing points as circuit witnesses from SRS points.

Detailed Description

template<typename Builder>
class bb::stdlib::recursion::PairingPointsTests< Builder >

Definition at line 13 of file pairing_points.test.cpp.

Member Function Documentation

create_valid_pairing_points()

template<typename Builder >

template<typename Curve >

static std::vector< PairingPoints< Curve > > bb::stdlib::recursion::PairingPointsTests< Builder >::create_valid_pairing_points ( typename Curve::Builder *  builder, size_t  count  )

inlinestatic

Create N distinct valid pairing points as circuit witnesses from SRS points.

The pairing check verifies e(P0, [1]_2) * e(P1, [x]_2) == 1. Using SRS points srs[i] = [x^i]_1, the pair (srs[i], -srs[i-1]) satisfies this. Each element uses a different SRS index for distinctness.

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

SetUpTestSuite()

template<typename Builder >

static void bb::stdlib::recursion::PairingPointsTests< Builder >::SetUpTestSuite ( )

inlinestatic

Definition at line 15 of file pairing_points.test.cpp.

---

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

• src/barretenberg/stdlib/primitives/pairing_points.test.cpp