Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::sap_witness< FieldType > Struct Template Reference

#include <sap.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::sap_witness< FieldType >:

Public Member Functions

sap_witness & operator= (const sap_witness< FieldType > &other)=default
 
sap_witness & operator= (sap_witness< FieldType > &&other)=default
 
 sap_witness (const sap_witness< FieldType > &other)=default
 
 sap_witness (const std::size_t num_variables, const std::size_t degree, const std::size_t num_inputs, const typename FieldType::value_type &d1, const typename FieldType::value_type &d2, const std::vector< typename FieldType::value_type > &coefficients_for_ACs, const std::vector< typename FieldType::value_type > &coefficients_for_H)
 
 sap_witness (const std::size_t num_variables, const std::size_t degree, const std::size_t num_inputs, const typename FieldType::value_type &d1, const typename FieldType::value_type &d2, const std::vector< typename FieldType::value_type > &coefficients_for_ACs, std::vector< typename FieldType::value_type > &&coefficients_for_H)
 
 sap_witness (sap_witness< FieldType > &&other)=default
 

Public Attributes

std::vector< typename FieldType::value_type > coefficients_for_ACs
 
std::vector< typename FieldType::value_type > coefficients_for_H
 
FieldType::value_type d1
 
FieldType::value_type d2
 
std::size_t degree
 
std::size_t num_inputs
 
std::size_t num_variables
 

Detailed Description

template<typename FieldType>
struct nil::crypto3::zk::snark::sap_witness< FieldType >

A SAP witness.

Constructor & Destructor Documentation

◆ sap_witness() [1/4]

template<typename FieldType >
nil::crypto3::zk::snark::sap_witness< FieldType >::sap_witness ( const std::size_t  num_variables,
const std::size_t  degree,
const std::size_t  num_inputs,
const typename FieldType::value_type &  d1,
const typename FieldType::value_type &  d2,
const std::vector< typename FieldType::value_type > &  coefficients_for_ACs,
const std::vector< typename FieldType::value_type > &  coefficients_for_H 
)
inline

◆ sap_witness() [2/4]

template<typename FieldType >
nil::crypto3::zk::snark::sap_witness< FieldType >::sap_witness ( const std::size_t  num_variables,
const std::size_t  degree,
const std::size_t  num_inputs,
const typename FieldType::value_type &  d1,
const typename FieldType::value_type &  d2,
const std::vector< typename FieldType::value_type > &  coefficients_for_ACs,
std::vector< typename FieldType::value_type > &&  coefficients_for_H 
)
inline

◆ sap_witness() [3/4]

template<typename FieldType >
nil::crypto3::zk::snark::sap_witness< FieldType >::sap_witness ( const sap_witness< FieldType > &  other)
default

◆ sap_witness() [4/4]

template<typename FieldType >
nil::crypto3::zk::snark::sap_witness< FieldType >::sap_witness ( sap_witness< FieldType > &&  other)
default

Member Function Documentation

◆ operator=() [1/2]

template<typename FieldType >
sap_witness& nil::crypto3::zk::snark::sap_witness< FieldType >::operator= ( const sap_witness< FieldType > &  other)
default

◆ operator=() [2/2]

template<typename FieldType >
sap_witness& nil::crypto3::zk::snark::sap_witness< FieldType >::operator= ( sap_witness< FieldType > &&  other)
default

Member Data Documentation

◆ coefficients_for_ACs

template<typename FieldType >
std::vector<typename FieldType::value_type> nil::crypto3::zk::snark::sap_witness< FieldType >::coefficients_for_ACs

◆ coefficients_for_H

template<typename FieldType >
std::vector<typename FieldType::value_type> nil::crypto3::zk::snark::sap_witness< FieldType >::coefficients_for_H

◆ d1

template<typename FieldType >
FieldType::value_type nil::crypto3::zk::snark::sap_witness< FieldType >::d1

◆ d2

template<typename FieldType >
FieldType::value_type nil::crypto3::zk::snark::sap_witness< FieldType >::d2

◆ degree

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::sap_witness< FieldType >::degree

◆ num_inputs

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::sap_witness< FieldType >::num_inputs

◆ num_variables

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::sap_witness< FieldType >::num_variables
The documentation for this struct was generated from the following file: