bigint_constraint.test.cpp File Reference

#include "bigint_constraint.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include <cstdint>
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	acir_format::tests::BigIntTests

Namespaces
namespace	acir_format
namespace	acir_format::tests

Typedefs
using	acir_format::tests::fr = field< Bn254FrParams >

Functions
std::tuple< BigIntFromLeBytes, BigIntFromLeBytes, BigIntOperation, BigIntToLeBytes >	acir_format::tests::generate_big_int_op_constraint_with_modulus (BigIntOperationType op, fr lhs, fr rhs, WitnessVector &witness_values, const std::vector< uint32_t > &modulus)
std::tuple< BigIntFromLeBytes, BigIntFromLeBytes, BigIntOperation, BigIntToLeBytes >	acir_format::tests::generate_big_int_op_constraint (BigIntOperationType op, fr lhs, fr rhs, WitnessVector &witness_values)
std::tuple< BigIntFromLeBytes, BigIntFromLeBytes, BigIntOperation, BigIntToLeBytes >	acir_format::tests::generate_big_int_op_constraint_secpk1_fr (BigIntOperationType op, fr lhs, fr rhs, WitnessVector &witness_values)
std::tuple< BigIntFromLeBytes, BigIntFromLeBytes, BigIntOperation, BigIntToLeBytes >	acir_format::tests::generate_big_int_op_constraint_secpk1_fq (BigIntOperationType op, fr lhs, fr rhs, WitnessVector &witness_values)
void	acir_format::tests::apply_constraints (AcirFormat &constraint_system, std::tuple< BigIntFromLeBytes, BigIntFromLeBytes, BigIntOperation, BigIntToLeBytes > constraints)
std::tuple< BigIntOperation, BigIntToLeBytes >	acir_format::tests::generate_big_int_op_constraint_with_id (BigIntOperationType op, uint32_t lhs_id, uint32_t rhs_id, WitnessVector &witness_values)
	acir_format::tests::TEST_F (BigIntTests, TestBigIntConstraintMultiple)
	acir_format::tests::TEST_F (BigIntTests, TestBigIntConstraintSimple)
	acir_format::tests::TEST_F (BigIntTests, TestBigIntConstraintReuse)
	acir_format::tests::TEST_F (BigIntTests, TestBigIntConstraintReuse2)
	acir_format::tests::TEST_F (BigIntTests, TestBigIntDIV)