acir_format::tests Namespace Reference

Classes
class	EcOperations
class	MSMTests
class	Poseidon2Tests
class	Sha256Tests

Typedefs
using	curve_ct = bb::stdlib::secp256k1< Builder >
using	fr = field< Bn254FrParams >

Functions
size_t	generate_ec_add_constraint (EcAdd &ec_add_constraint, WitnessVector &witness_values)
	TEST_F (EcOperations, TestECOperations)
	TEST_F (EcOperations, TestECPredicate)
size_t	generate_msm_constraint (MultiScalarMul &msm_constraint, WitnessVector &witness_values)
	TEST_F (EcOperations, TestECMultiScalarMul)
	TEST_F (EcOperations, TestECMsmPredicate)
MultiScalarMul	generate_msm (bool constant_point, bool constant_scalar)
	TEST_F (MSMTests, TestMSMConstantPredicate)
	Create a circuit testing the a simple scalar mul with a constant generator and a false predicate.
	TEST_F (MSMTests, TestMSMConstant)
	Create a circuit testing the a simple scalar mul with a constant generator and a true predicate.
	TEST_F (MSMTests, TestMSMWitnessPredicate)
	TEST_F (MSMTests, TestMSMWitness)
	TEST_F (MSMTests, TestMSMConstantBad)
	TEST_F (MSMTests, TestMSMConstantPredicateBad)
	TEST_F (MSMTests, TestMSMWitnessPredicateBad)
	TEST_F (MSMTests, TestMSMWitnessBad)
	TEST_F (Poseidon2Tests, TestPoseidon2Permutation)
	Create a circuit testing the Poseidon2 permutation function.
	TEST_F (Sha256Tests, TestSha256Compression)

Typedef Documentation

curve_ct

typedef bb::stdlib::secp256k1< Builder > acir_format::tests::curve_ct

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

fr

typedef field< Bn254FrParams > acir_format::tests::fr

Definition at line 20 of file multi_scalar_mul.test.cpp.

Function Documentation

generate_ec_add_constraint()

size_t acir_format::tests::generate_ec_add_constraint	(	EcAdd &	ec_add_constraint,
		WitnessVector &	witness_values
	)

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

generate_msm()

MultiScalarMul acir_format::tests::generate_msm	(	bool	constant_point,
		bool	constant_scalar
	)

Definition at line 25 of file multi_scalar_mul.test.cpp.

generate_msm_constraint()

size_t acir_format::tests::generate_msm_constraint	(	MultiScalarMul &	msm_constraint,
		WitnessVector &	witness_values
	)

Definition at line 99 of file ec_operations.test.cpp.

TEST_F() [1/14]

acir_format::tests::TEST_F	(	EcOperations	,
		TestECMsmPredicate
	)

Definition at line 217 of file ec_operations.test.cpp.

TEST_F() [2/14]

acir_format::tests::TEST_F	(	EcOperations	,
		TestECMultiScalarMul
	)

Definition at line 183 of file ec_operations.test.cpp.

TEST_F() [3/14]

acir_format::tests::TEST_F	(	EcOperations	,
		TestECOperations
	)

Definition at line 54 of file ec_operations.test.cpp.

TEST_F() [4/14]

acir_format::tests::TEST_F	(	EcOperations	,
		TestECPredicate
	)

Definition at line 76 of file ec_operations.test.cpp.

TEST_F() [5/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMConstant
	)

Create a circuit testing the a simple scalar mul with a constant generator and a true predicate.

Definition at line 155 of file multi_scalar_mul.test.cpp.

TEST_F() [6/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMConstantBad
	)

Definition at line 231 of file multi_scalar_mul.test.cpp.

TEST_F() [7/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMConstantPredicate
	)

Create a circuit testing the a simple scalar mul with a constant generator and a false predicate.

Definition at line 131 of file multi_scalar_mul.test.cpp.

TEST_F() [8/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMConstantPredicateBad
	)

Definition at line 254 of file multi_scalar_mul.test.cpp.

TEST_F() [9/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMWitness
	)

Definition at line 203 of file multi_scalar_mul.test.cpp.

TEST_F() [10/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMWitnessBad
	)

Definition at line 305 of file multi_scalar_mul.test.cpp.

TEST_F() [11/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMWitnessPredicate
	)

Definition at line 175 of file multi_scalar_mul.test.cpp.

TEST_F() [12/14]

acir_format::tests::TEST_F	(	MSMTests	,
		TestMSMWitnessPredicateBad
	)

Definition at line 277 of file multi_scalar_mul.test.cpp.

TEST_F() [13/14]

acir_format::tests::TEST_F	(	Poseidon2Tests	,
		TestPoseidon2Permutation
	)

Create a circuit testing the Poseidon2 permutation function.

Definition at line 25 of file poseidon2_constraint.test.cpp.

TEST_F() [14/14]

acir_format::tests::TEST_F	(	Sha256Tests	,
		TestSha256Compression
	)

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