ecdsa_constraints.test.cpp File Reference

#include "barretenberg/dsl/acir_format/ecdsa_constraints.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/crypto/ecdsa/ecdsa.hpp"
#include "barretenberg/dsl/acir_format/test_class_predicate.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"
#include <algorithm>
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	EcdsaTestingFunctions< Curve >
struct	EcdsaTestingFunctions< Curve >::InvalidWitness
class	EcdsaConstraintsTest< Curve >

Typedefs
using	CurveTypes = testing::Types< stdlib::secp256k1< UltraCircuitBuilder >, stdlib::secp256r1< UltraCircuitBuilder >, stdlib::secp256k1< MegaCircuitBuilder >, stdlib::secp256r1< MegaCircuitBuilder > >

Functions
	TYPED_TEST_SUITE (EcdsaConstraintsTest, CurveTypes)
	TYPED_TEST (EcdsaConstraintsTest, GenerateVKFromConstraints)
	TYPED_TEST (EcdsaConstraintsTest, ConstantTrue)
	TYPED_TEST (EcdsaConstraintsTest, WitnessTrue)
	TYPED_TEST (EcdsaConstraintsTest, WitnessFalse)
	TYPED_TEST (EcdsaConstraintsTest, WitnessFalseSlow)
	TYPED_TEST (EcdsaConstraintsTest, InvalidWitnesses)

Typedef Documentation

CurveTypes

using CurveTypes = testing::Types<stdlib::secp256k1<UltraCircuitBuilder>, stdlib::secp256r1<UltraCircuitBuilder>, stdlib::secp256k1<MegaCircuitBuilder>, stdlib::secp256r1<MegaCircuitBuilder> >

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

Function Documentation

TYPED_TEST() [1/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		ConstantTrue
	)

Definition at line 187 of file ecdsa_constraints.test.cpp.

TYPED_TEST() [2/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		GenerateVKFromConstraints
	)

Definition at line 180 of file ecdsa_constraints.test.cpp.

TYPED_TEST() [3/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		InvalidWitnesses
	)

Definition at line 213 of file ecdsa_constraints.test.cpp.

TYPED_TEST() [4/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		WitnessFalse
	)

Definition at line 199 of file ecdsa_constraints.test.cpp.

TYPED_TEST() [5/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		WitnessFalseSlow
	)

Definition at line 205 of file ecdsa_constraints.test.cpp.

TYPED_TEST() [6/6]

TYPED_TEST	(	EcdsaConstraintsTest	,
		WitnessTrue
	)

Definition at line 193 of file ecdsa_constraints.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	EcdsaConstraintsTest	,
		CurveTypes
	)