#include <bigint_constraint.hpp>

Public Member Functions
	DSLBigInts ()=default

void	set_builder (Builder *ctx)

ModulusId	get_modulus_id (uint32_t bigint_id)

void	set_value (uint256_t value, const std::array< uint32_t, 5 > limbs_idx)

void	get_witness_idx_of_limbs (uint32_t bigint_id, std::array< uint32_t, 5 > &limbs_idx)

big_bn254_fr	bn254_fr (uint32_t bigint_id)

void	set_bn254_fr (const big_bn254_fr &bigint, uint32_t bigint_id)

big_bn254_fq	bn254_fq (uint32_t bigint_id)

void	set_bn254_fq (const big_bn254_fq &bigint, uint32_t bigint_id)

big_secp256r1_fq	secp256r1_fq (uint32_t bigint_id)

void	set_secp256r1_fq (const big_secp256r1_fq &bigint, uint32_t bigint_id)

big_secp256r1_fr	secp256r1_fr (uint32_t bigint_id)

void	set_secp256r1_fr (const big_secp256r1_fr &bigint, uint32_t bigint_id)

big_secp256k1_fq	secp256k1_fq (uint32_t bigint_id)

void	set_secp256k1_fq (const big_secp256k1_fq &bigint, uint32_t bigint_id)

big_secp256k1_fr	secp256k1_fr (uint32_t bigint_id)

void	set_secp256k1_fr (const big_secp256k1_fr &bigint, uint32_t bigint_id)

Private Types
using	big_bn254_fq = bb::stdlib::bigfield< Builder, bb::Bn254FqParams >

using	big_bn254_fr = bb::stdlib::bigfield< Builder, bb::Bn254FrParams >

using	big_secp256k1_fq = bb::stdlib::bigfield< Builder, bb::secp256k1::FqParams >

using	big_secp256k1_fr = bb::stdlib::bigfield< Builder, bb::secp256k1::FrParams >

using	big_secp256r1_fq = bb::stdlib::bigfield< Builder, bb::secp256r1::FqParams >

using	big_secp256r1_fr = bb::stdlib::bigfield< Builder, bb::secp256r1::FrParams >

Private Attributes
std::map< uint32_t, big_bn254_fq >	m_bn254_fq

std::map< uint32_t, big_bn254_fr >	m_bn254_fr

std::map< uint32_t, big_secp256k1_fq >	m_secp256k1_fq

std::map< uint32_t, big_secp256k1_fr >	m_secp256k1_fr

std::map< uint32_t, big_secp256r1_fq >	m_secp256r1_fq

std::map< uint32_t, big_secp256r1_fr >	m_secp256r1_fr

Builder *	builder

Detailed Description

template<typename Builder>
class acir_format::DSLBigInts< Builder >

Definition at line 75 of file bigint_constraint.hpp.

Member Typedef Documentation

◆ big_bn254_fq

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_bn254_fq = bb::stdlib::bigfield<Builder, bb::Bn254FqParams>

private

Definition at line 76 of file bigint_constraint.hpp.

◆ big_bn254_fr

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_bn254_fr = bb::stdlib::bigfield<Builder, bb::Bn254FrParams>

private

Definition at line 77 of file bigint_constraint.hpp.

◆ big_secp256k1_fq

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_secp256k1_fq = bb::stdlib::bigfield<Builder, bb::secp256k1::FqParams>

private

Definition at line 78 of file bigint_constraint.hpp.

◆ big_secp256k1_fr

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_secp256k1_fr = bb::stdlib::bigfield<Builder, bb::secp256k1::FrParams>

private

Definition at line 79 of file bigint_constraint.hpp.

◆ big_secp256r1_fq

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_secp256r1_fq = bb::stdlib::bigfield<Builder, bb::secp256r1::FqParams>

private

Definition at line 80 of file bigint_constraint.hpp.

◆ big_secp256r1_fr

template<typename Builder >

using acir_format::DSLBigInts< Builder >::big_secp256r1_fr = bb::stdlib::bigfield<Builder, bb::secp256r1::FrParams>

private

Definition at line 81 of file bigint_constraint.hpp.

Constructor & Destructor Documentation

◆ DSLBigInts()

template<typename Builder >

acir_format::DSLBigInts< Builder >::DSLBigInts ( )

default

Member Function Documentation

◆ bn254_fq()

template<typename Builder >

big_bn254_fq acir_format::DSLBigInts< Builder >::bn254_fq ( uint32_t bigint_id )

inline

Definition at line 186 of file bigint_constraint.hpp.

◆ bn254_fr()

template<typename Builder >

big_bn254_fr acir_format::DSLBigInts< Builder >::bn254_fr ( uint32_t bigint_id )

inline

Definition at line 178 of file bigint_constraint.hpp.

◆ get_modulus_id()

template<typename Builder >

ModulusId acir_format::DSLBigInts< Builder >::get_modulus_id ( uint32_t bigint_id )

inline

Definition at line 98 of file bigint_constraint.hpp.

◆ get_witness_idx_of_limbs()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::get_witness_idx_of_limbs	(	uint32_t	bigint_id,
		std::array< uint32_t, 5 > &	limbs_idx
	)

inline

Utility function that retrieve the witness indexes of a bigfield element for use in set_value()

Definition at line 140 of file bigint_constraint.hpp.

◆ secp256k1_fq()

template<typename Builder >

big_secp256k1_fq acir_format::DSLBigInts< Builder >::secp256k1_fq ( uint32_t bigint_id )

inline

Definition at line 216 of file bigint_constraint.hpp.

◆ secp256k1_fr()

template<typename Builder >

big_secp256k1_fr acir_format::DSLBigInts< Builder >::secp256k1_fr ( uint32_t bigint_id )

inline

Definition at line 227 of file bigint_constraint.hpp.

◆ secp256r1_fq()

template<typename Builder >

big_secp256r1_fq acir_format::DSLBigInts< Builder >::secp256r1_fq ( uint32_t bigint_id )

inline

Definition at line 194 of file bigint_constraint.hpp.

◆ secp256r1_fr()

template<typename Builder >

big_secp256r1_fr acir_format::DSLBigInts< Builder >::secp256r1_fr ( uint32_t bigint_id )

inline

Definition at line 205 of file bigint_constraint.hpp.

◆ set_bn254_fq()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_bn254_fq	(	const big_bn254_fq &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 192 of file bigint_constraint.hpp.

◆ set_bn254_fr()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_bn254_fr	(	const big_bn254_fr &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 184 of file bigint_constraint.hpp.

◆ set_builder()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_builder ( Builder * ctx )

inline

Definition at line 96 of file bigint_constraint.hpp.

◆ set_secp256k1_fq()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_secp256k1_fq	(	const big_secp256k1_fq &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 222 of file bigint_constraint.hpp.

◆ set_secp256k1_fr()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_secp256k1_fr	(	const big_secp256k1_fr &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 235 of file bigint_constraint.hpp.

◆ set_secp256r1_fq()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_secp256r1_fq	(	const big_secp256r1_fq &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 200 of file bigint_constraint.hpp.

◆ set_secp256r1_fr()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_secp256r1_fr	(	const big_secp256r1_fr &	bigint,
		uint32_t	bigint_id
	)

inline

Definition at line 211 of file bigint_constraint.hpp.

◆ set_value()

template<typename Builder >

void acir_format::DSLBigInts< Builder >::set_value	(	uint256_t	value,
		const std::array< uint32_t, 5 >	limbs_idx
	)

inline

Set value of the witnesses representing the bigfield element so that the bigfield value is the input value. The input value is decomposed into the binary basis for the binary limbs The input array must be: the 4 witness index of the binary limbs, and the index of the prime limb

Definition at line 127 of file bigint_constraint.hpp.

Member Data Documentation

◆ builder

template<typename Builder >

Builder* acir_format::DSLBigInts< Builder >::builder

private

Definition at line 91 of file bigint_constraint.hpp.

◆ m_bn254_fq

template<typename Builder >

std::map<uint32_t, big_bn254_fq> acir_format::DSLBigInts< Builder >::m_bn254_fq

private

Definition at line 84 of file bigint_constraint.hpp.

◆ m_bn254_fr

template<typename Builder >

std::map<uint32_t, big_bn254_fr> acir_format::DSLBigInts< Builder >::m_bn254_fr

private

Definition at line 85 of file bigint_constraint.hpp.

◆ m_secp256k1_fq

template<typename Builder >

std::map<uint32_t, big_secp256k1_fq> acir_format::DSLBigInts< Builder >::m_secp256k1_fq

private

Definition at line 86 of file bigint_constraint.hpp.

◆ m_secp256k1_fr

template<typename Builder >

std::map<uint32_t, big_secp256k1_fr> acir_format::DSLBigInts< Builder >::m_secp256k1_fr

private

Definition at line 87 of file bigint_constraint.hpp.

◆ m_secp256r1_fq

template<typename Builder >

std::map<uint32_t, big_secp256r1_fq> acir_format::DSLBigInts< Builder >::m_secp256r1_fq

private

Definition at line 88 of file bigint_constraint.hpp.

◆ m_secp256r1_fr

template<typename Builder >

std::map<uint32_t, big_secp256r1_fr> acir_format::DSLBigInts< Builder >::m_secp256r1_fr

private

Definition at line 89 of file bigint_constraint.hpp.

The documentation for this class was generated from the following file:

src/barretenberg/dsl/acir_format/bigint_constraint.hpp

Public Member Functions

Private Types

Private Attributes

Detailed Description

Member Typedef Documentation

◆ big_bn254_fq

◆ big_bn254_fr

◆ big_secp256k1_fq

◆ big_secp256k1_fr

◆ big_secp256r1_fq

◆ big_secp256r1_fr

Constructor & Destructor Documentation

◆ DSLBigInts()

Member Function Documentation

◆ bn254_fq()

◆ bn254_fr()

◆ get_modulus_id()

◆ get_witness_idx_of_limbs()

◆ secp256k1_fq()

◆ secp256k1_fr()

◆ secp256r1_fq()

◆ secp256r1_fr()

◆ set_bn254_fq()

◆ set_bn254_fr()

◆ set_builder()

◆ set_secp256k1_fq()

◆ set_secp256k1_fr()

◆ set_secp256r1_fq()

◆ set_secp256r1_fr()

◆ set_value()

Member Data Documentation

◆ builder

◆ m_bn254_fq

◆ m_bn254_fr

◆ m_secp256k1_fq

◆ m_secp256k1_fr

◆ m_secp256r1_fq

◆ m_secp256r1_fr