libsnark::qap_witness< FieldT > Class Template Reference

#include <qap.hpp>

Public Member Functions
	qap_witness (const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &d1, const FieldT &d2, const FieldT &d3, const std::vector< FieldT > &coefficients_for_ABCs, const std::vector< FieldT > &coefficients_for_H)
	qap_witness (const size_t num_variables, const size_t degree, const size_t num_inputs, const FieldT &d1, const FieldT &d2, const FieldT &d3, const std::vector< FieldT > &coefficients_for_ABCs, std::vector< FieldT > &&coefficients_for_H)
	qap_witness (const qap_witness< FieldT > &other)=default
	qap_witness (qap_witness< FieldT > &&other)=default
qap_witness &	operator= (const qap_witness< FieldT > &other)=default
qap_witness &	operator= (qap_witness< FieldT > &&other)=default
size_t	num_variables () const
size_t	degree () const
size_t	num_inputs () const

Public Attributes
FieldT	d1
FieldT	d2
FieldT	d3
std::vector< FieldT >	coefficients_for_ABCs
std::vector< FieldT >	coefficients_for_H

Detailed Description

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

A QAP witness.

Definition at line 33 of file qap.hpp.

Constructor & Destructor Documentation

qap_witness() [1/4]

template<typename FieldT >

libsnark::qap_witness< FieldT >::qap_witness	(	const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		const FieldT &	d1,
		const FieldT &	d2,
		const FieldT &	d3,
		const std::vector< FieldT > &	coefficients_for_ABCs,
		const std::vector< FieldT > &	coefficients_for_H
	)

qap_witness() [2/4]

template<typename FieldT >

libsnark::qap_witness< FieldT >::qap_witness	(	const size_t	num_variables,
		const size_t	degree,
		const size_t	num_inputs,
		const FieldT &	d1,
		const FieldT &	d2,
		const FieldT &	d3,
		const std::vector< FieldT > &	coefficients_for_ABCs,
		std::vector< FieldT > &&	coefficients_for_H
	)

qap_witness() [3/4]

template<typename FieldT >

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

default

qap_witness() [4/4]

template<typename FieldT >

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

default

Member Function Documentation

degree()

template<typename FieldT >

size_t libsnark::qap_witness< FieldT >::degree

(

)

const

num_inputs()

template<typename FieldT >

size_t libsnark::qap_witness< FieldT >::num_inputs

(

)

const

num_variables()

template<typename FieldT >

size_t libsnark::qap_witness< FieldT >::num_variables

(

)

const

operator=() [1/2]

template<typename FieldT >

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

default

operator=() [2/2]

template<typename FieldT >

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

default

Member Data Documentation

coefficients_for_ABCs

template<typename FieldT >

std::vector<FieldT> libsnark::qap_witness< FieldT >::coefficients_for_ABCs

Definition at line 177 of file qap.hpp.

coefficients_for_H

template<typename FieldT >

std::vector<FieldT> libsnark::qap_witness< FieldT >::coefficients_for_H

Definition at line 178 of file qap.hpp.

d1

template<typename FieldT >

FieldT libsnark::qap_witness< FieldT >::d1

Definition at line 175 of file qap.hpp.

d2

template<typename FieldT >

FieldT libsnark::qap_witness< FieldT >::d2

Definition at line 175 of file qap.hpp.

d3

template<typename FieldT >

FieldT libsnark::qap_witness< FieldT >::d3

Definition at line 175 of file qap.hpp.

---

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

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