libsnark::ssp_instance_evaluation< FieldT > Class Template Reference

#include <ssp.hpp>

Public Member Functions
	ssp_instance_evaluation (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &t, const std::vector< FieldT > &Vt, const std::vector< FieldT > &Ht, const FieldT &Zt)
	ssp_instance_evaluation (const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &domain, const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &t, std::vector< FieldT > &&Vt, std::vector< FieldT > &&Ht, const FieldT &Zt)
	ssp_instance_evaluation (const ssp_instance_evaluation< FieldT > &other)=default
	ssp_instance_evaluation (ssp_instance_evaluation< FieldT > &&other)=default
ssp_instance_evaluation &	operator= (const ssp_instance_evaluation< FieldT > &other)=default
ssp_instance_evaluation &	operator= (ssp_instance_evaluation< FieldT > &&other)=default
size_t	num_variables () const
size_t	degree () const
size_t	num_inputs () const
bool	is_satisfied (const ssp_witness< FieldT > &witness) const

Public Attributes
std::shared_ptr< libfqfft::evaluation_domain< FieldT > >	domain
FieldT	t
std::vector< FieldT >	Vt
std::vector< FieldT >	Ht
FieldT	Zt

Detailed Description

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

A SSP instance evaluation is a SSP instance that is evaluated at a field element t.

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;
• a field element t;
• evaluations of the V (and Z) polynomials at t;
• evaluations of all monomials of t.

Definition at line 94 of file ssp.hpp.

Constructor & Destructor Documentation

ssp_instance_evaluation() [1/4]

template<typename FieldT >

libsnark::ssp_instance_evaluation< FieldT >::ssp_instance_evaluation	(	const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &	domain,
		const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		const FieldT &	t,
		const std::vector< FieldT > &	Vt,
		const std::vector< FieldT > &	Ht,
		const FieldT &	Zt
	)

ssp_instance_evaluation() [2/4]

template<typename FieldT >

libsnark::ssp_instance_evaluation< FieldT >::ssp_instance_evaluation	(	const std::shared_ptr< libfqfft::evaluation_domain< FieldT >> &	domain,
		const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		const FieldT &	t,
		std::vector< FieldT > &&	Vt,
		std::vector< FieldT > &&	Ht,
		const FieldT &	Zt
	)

ssp_instance_evaluation() [3/4]

template<typename FieldT >

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

default

ssp_instance_evaluation() [4/4]

template<typename FieldT >

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

default

Member Function Documentation

degree()

template<typename FieldT >

size_t libsnark::ssp_instance_evaluation< FieldT >::degree

(

)

const

is_satisfied()

template<typename FieldT >

bool libsnark::ssp_instance_evaluation< FieldT >::is_satisfied

(

const ssp_witness< FieldT > &

witness

)

const

num_inputs()

template<typename FieldT >

size_t libsnark::ssp_instance_evaluation< FieldT >::num_inputs

(

)

const

num_variables()

template<typename FieldT >

size_t libsnark::ssp_instance_evaluation< FieldT >::num_variables

(

)

const

operator=() [1/2]

template<typename FieldT >

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

default

operator=() [2/2]

template<typename FieldT >

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

default

Member Data Documentation

domain

template<typename FieldT >

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

Definition at line 102 of file ssp.hpp.

Ht

template<typename FieldT >

std::vector<FieldT> libsnark::ssp_instance_evaluation< FieldT >::Ht

Definition at line 106 of file ssp.hpp.

t

template<typename FieldT >

FieldT libsnark::ssp_instance_evaluation< FieldT >::t

Definition at line 104 of file ssp.hpp.

Vt

template<typename FieldT >

std::vector<FieldT> libsnark::ssp_instance_evaluation< FieldT >::Vt

Definition at line 106 of file ssp.hpp.

Zt

template<typename FieldT >

FieldT libsnark::ssp_instance_evaluation< FieldT >::Zt

Definition at line 108 of file ssp.hpp.

---

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

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