bigint_constraint.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/ecc/curves/secp256k1/secp256k1.hpp"
#include "barretenberg/ecc/curves/secp256r1/secp256r1.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include <array>
#include <cstdint>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::BigIntFromLeBytes
struct	acir_format::BigIntOperation
struct	acir_format::BigIntToLeBytes
class	acir_format::ModulusParam
class	acir_format::DSLBigInts< Builder >

Namespaces
namespace	acir_format

Enumerations
enum	acir_format::BigIntOperationType { acir_format::Add , acir_format::Sub , acir_format::Mul , acir_format::Div }
enum	acir_format::ModulusId {   acir_format::BN254_FQ = 0 , acir_format::BN254_FR , acir_format::SECP256K1_FQ , acir_format::SECP256K1_FR ,   acir_format::SECP256R1_FQ , acir_format::SECP256R1_FR , acir_format::UNKNOWN }

Functions
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<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_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)