libsnark::sap_instance< FieldT > Class Template Reference

#include <sap.hpp>

Public Member Functions
	sap_instance (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const std::vector< std::map< size_t, FieldT >> &A_in_Lagrange_basis, const std::vector< std::map< size_t, FieldT >> &C_in_Lagrange_basis)
	sap_instance (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, std::vector< std::map< size_t, FieldT >> &&A_in_Lagrange_basis, std::vector< std::map< size_t, FieldT >> &&C_in_Lagrange_basis)
	sap_instance (const sap_instance< FieldT > &other)=default
	sap_instance (sap_instance< FieldT > &&other)=default
sap_instance &	operator= (const sap_instance< FieldT > &other)=default
sap_instance &	operator= (sap_instance< FieldT > &&other)=default
size_t	num_variables () const
size_t	degree () const
size_t	num_inputs () const
bool	is_satisfied (const sap_witness< FieldT > &witness) const

Public Attributes
std::shared_ptr< libfqfft::evaluation_domain< FieldT > >	domain
std::vector< std::map< size_t, FieldT > >	A_in_Lagrange_basis
std::vector< std::map< size_t, FieldT > >	C_in_Lagrange_basis

Detailed Description

template<typename FieldT>
class libsnark::sap_instance< FieldT >

A SAP instance.

Specifically, the datastructure stores:

• a choice of domain (corresponding to a certain subset of the field);
• the number of variables, the degree, and the number of inputs; and
• coefficients of the A,C polynomials in the Lagrange basis.

There is no need to store the Z polynomial because it is uniquely determined by the domain (as Z is its vanishing polynomial).

Definition at line 47 of file sap.hpp.

Constructor & Destructor Documentation

sap_instance() [1/4]

template<typename FieldT >

libsnark::sap_instance< FieldT >::sap_instance	(	const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &	domain,
		const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		const std::vector< std::map< size_t, FieldT >> &	A_in_Lagrange_basis,
		const std::vector< std::map< size_t, FieldT >> &	C_in_Lagrange_basis
	)

sap_instance() [2/4]

template<typename FieldT >

libsnark::sap_instance< FieldT >::sap_instance	(	const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &	domain,
		const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		std::vector< std::map< size_t, FieldT >> &&	A_in_Lagrange_basis,
		std::vector< std::map< size_t, FieldT >> &&	C_in_Lagrange_basis
	)

sap_instance() [3/4]

template<typename FieldT >

libsnark::sap_instance< FieldT >::sap_instance ( const sap_instance< FieldT > &  other )

default

sap_instance() [4/4]

template<typename FieldT >

libsnark::sap_instance< FieldT >::sap_instance ( sap_instance< FieldT > &&  other )

default

Member Function Documentation

degree()

template<typename FieldT >

size_t libsnark::sap_instance< FieldT >::degree

(

)

const

is_satisfied()

template<typename FieldT >

bool libsnark::sap_instance< FieldT >::is_satisfied

(

const sap_witness< FieldT > &

witness

)

const

num_inputs()

template<typename FieldT >

size_t libsnark::sap_instance< FieldT >::num_inputs

(

)

const

num_variables()

template<typename FieldT >

size_t libsnark::sap_instance< FieldT >::num_variables

(

)

const

operator=() [1/2]

template<typename FieldT >

sap_instance& libsnark::sap_instance< FieldT >::operator= ( const sap_instance< FieldT > &  other )

default

operator=() [2/2]

template<typename FieldT >

sap_instance& libsnark::sap_instance< FieldT >::operator= ( sap_instance< FieldT > &&  other )

default

Member Data Documentation

A_in_Lagrange_basis

template<typename FieldT >

std::vector<std::map<size_t, FieldT> > libsnark::sap_instance< FieldT >::A_in_Lagrange_basis

Definition at line 57 of file sap.hpp.

C_in_Lagrange_basis

template<typename FieldT >

std::vector<std::map<size_t, FieldT> > libsnark::sap_instance< FieldT >::C_in_Lagrange_basis

Definition at line 58 of file sap.hpp.

domain

template<typename FieldT >

std::shared_ptr<libfqfft::evaluation_domain<FieldT> > libsnark::sap_instance< FieldT >::domain

Definition at line 55 of file sap.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/relations/arithmetic_programs/sap/sap.hpp