bb::avm2::constraining::detail Namespace Reference

Functions
const RelationParameters< FF > &	get_test_params ()
template<typename Relation >
constexpr bool	subrelation_is_linearly_independent (size_t subrelation_index)
template<typename Relation , typename Trace >
void	check_relation_internal (const Trace &trace, std::span< const size_t > subrelations, uint32_t num_rows)

Function Documentation

check_relation_internal()

template<typename Relation , typename Trace >

void bb::avm2::constraining::detail::check_relation_internal	(	const Trace &	trace,
		std::span< const size_t >	subrelations,
		uint32_t	num_rows
	)

Definition at line 30 of file check_relation.hpp.

get_test_params()

const RelationParameters< FF > & bb::avm2::constraining::detail::get_test_params

(

)

Definition at line 5 of file check_relation.cpp.

subrelation_is_linearly_independent()

template<typename Relation >

constexpr bool bb::avm2::constraining::detail::subrelation_is_linearly_independent ( size_t  subrelation_index )

constexpr

Definition at line 20 of file check_relation.hpp.