bigint_constraint.cpp File Reference

#include "bigint_constraint.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/numeric/uintx/uintx.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include <cstddef>
#include <cstdint>

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
ModulusId	acir_format::modulus_param_to_id (ModulusParam param)
template void	acir_format::create_bigint_operations_constraint< UltraCircuitBuilder > (const BigIntOperation &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigint, bool has_valid_witness_assignments)
template void	acir_format::create_bigint_operations_constraint< MegaCircuitBuilder > (const BigIntOperation &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigint, bool has_valid_witness_assignments)
template void	acir_format::create_bigint_addition_constraint< UltraCircuitBuilder > (const BigIntOperation &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_addition_constraint< MegaCircuitBuilder > (const BigIntOperation &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_sub_constraint< UltraCircuitBuilder > (const BigIntOperation &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_sub_constraint< MegaCircuitBuilder > (const BigIntOperation &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_mul_constraint< UltraCircuitBuilder > (const BigIntOperation &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_mul_constraint< MegaCircuitBuilder > (const BigIntOperation &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigint)
template void	acir_format::create_bigint_div_constraint< UltraCircuitBuilder > (const BigIntOperation &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigint, bool has_valid_witness_assignments)
template void	acir_format::create_bigint_div_constraint< MegaCircuitBuilder > (const BigIntOperation &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigint, bool has_valid_witness_assignments)
template<typename Builder >
void	acir_format::create_bigint_addition_constraint (const BigIntOperation &input, DSLBigInts< Builder > &dsl_bigint)
template<typename Builder >
void	acir_format::create_bigint_sub_constraint (const BigIntOperation &input, DSLBigInts< Builder > &dsl_bigint)
template<typename Builder >
void	acir_format::create_bigint_mul_constraint (const BigIntOperation &input, DSLBigInts< Builder > &dsl_bigint)
template<typename Builder >
void	acir_format::create_bigint_div_constraint (const BigIntOperation &input, DSLBigInts< Builder > &dsl_bigint, bool has_valid_witness_assignments)
template<typename Builder >
void	acir_format::create_bigint_operations_constraint (const BigIntOperation &input, DSLBigInts< Builder > &dsl_bigint, bool has_valid_witness_assignments)
template<typename Builder >
void	acir_format::create_bigint_from_le_bytes_constraint (Builder &builder, const BigIntFromLeBytes &input, DSLBigInts< Builder > &dsl_bigints)
template<typename Builder >
void	acir_format::create_bigint_to_le_bytes_constraint (Builder &builder, const BigIntToLeBytes &input, DSLBigInts< Builder > &dsl_bigints)
template void	acir_format::create_bigint_from_le_bytes_constraint< UltraCircuitBuilder > (UltraCircuitBuilder &builder, const BigIntFromLeBytes &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigints)
template void	acir_format::create_bigint_from_le_bytes_constraint< MegaCircuitBuilder > (MegaCircuitBuilder &builder, const BigIntFromLeBytes &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigints)
template void	acir_format::create_bigint_to_le_bytes_constraint< UltraCircuitBuilder > (UltraCircuitBuilder &builder, const BigIntToLeBytes &input, DSLBigInts< UltraCircuitBuilder > &dsl_bigints)
template void	acir_format::create_bigint_to_le_bytes_constraint< MegaCircuitBuilder > (MegaCircuitBuilder &builder, const BigIntToLeBytes &input, DSLBigInts< MegaCircuitBuilder > &dsl_bigints)