nil::crypto3::zk::snark::qap_witness< FieldType > Class Template Reference

#include <qap.hpp>

Collaboration diagram for nil::crypto3::zk::snark::qap_witness< FieldType >:

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

Public Attributes
std::vector< field_value_type >	coefficients_for_ABCs
std::vector< field_value_type >	coefficients_for_H
field_value_type	d1
field_value_type	d2
field_value_type	d3
std::size_t	degree
std::size_t	num_inputs
std::size_t	num_variables

Detailed Description

template<typename FieldType>
class nil::crypto3::zk::snark::qap_witness< FieldType >

A QAP witness.

Constructor & Destructor Documentation

qap_witness() [1/4]

template<typename FieldType >

nil::crypto3::zk::snark::qap_witness< FieldType >::qap_witness ( const std::size_t  num_variables, const std::size_t  degree, const std::size_t  num_inputs, const field_value_type &  d1, const field_value_type &  d2, const field_value_type &  d3, const std::vector< field_value_type > &  coefficients_for_ABCs, const std::vector< field_value_type > &  coefficients_for_H  )

inline

qap_witness() [2/4]

template<typename FieldType >

nil::crypto3::zk::snark::qap_witness< FieldType >::qap_witness ( const std::size_t  num_variables, const std::size_t  degree, const std::size_t  num_inputs, const field_value_type &  d1, const field_value_type &  d2, const field_value_type &  d3, const std::vector< field_value_type > &  coefficients_for_ABCs, std::vector< field_value_type > &&  coefficients_for_H  )

inline

qap_witness() [3/4]

template<typename FieldType >

nil::crypto3::zk::snark::qap_witness< FieldType >::qap_witness ( const qap_witness< field_type > &  other )

default

qap_witness() [4/4]

template<typename FieldType >

nil::crypto3::zk::snark::qap_witness< FieldType >::qap_witness ( qap_witness< field_type > &&  other )

default

Member Function Documentation

operator=() [1/2]

template<typename FieldType >

qap_witness& nil::crypto3::zk::snark::qap_witness< FieldType >::operator= ( const qap_witness< field_type > &  other )

default

operator=() [2/2]

template<typename FieldType >

qap_witness& nil::crypto3::zk::snark::qap_witness< FieldType >::operator= ( qap_witness< field_type > &&  other )

default

Member Data Documentation

coefficients_for_ABCs

template<typename FieldType >

std::vector<field_value_type> nil::crypto3::zk::snark::qap_witness< FieldType >::coefficients_for_ABCs

coefficients_for_H

template<typename FieldType >

std::vector<field_value_type> nil::crypto3::zk::snark::qap_witness< FieldType >::coefficients_for_H

d1

template<typename FieldType >

field_value_type nil::crypto3::zk::snark::qap_witness< FieldType >::d1

d2

template<typename FieldType >

field_value_type nil::crypto3::zk::snark::qap_witness< FieldType >::d2

d3

template<typename FieldType >

field_value_type nil::crypto3::zk::snark::qap_witness< FieldType >::d3

degree

template<typename FieldType >

std::size_t nil::crypto3::zk::snark::qap_witness< FieldType >::degree

num_inputs

template<typename FieldType >

std::size_t nil::crypto3::zk::snark::qap_witness< FieldType >::num_inputs

num_variables

template<typename FieldType >

std::size_t nil::crypto3::zk::snark::qap_witness< FieldType >::num_variables

---

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

• qap.hpp