nil::crypto3::zk::snark::ssp_witness< FieldType > Struct Template Reference

#include <ssp.hpp>

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

Public Member Functions

ssp_witnessoperator= (const ssp_witness< FieldType > &other)=default
 
ssp_witnessoperator= (ssp_witness< FieldType > &&other)=default
 
 ssp_witness (const ssp_witness< FieldType > &other)=default
 
 ssp_witness (const std::size_t num_variables, const std::size_t degree, const std::size_t num_inputs, const typename FieldType::value_type &d, const std::vector< typename FieldType::value_type > &coefficients_for_Vs, const std::vector< typename FieldType::value_type > &coefficients_for_H)
 
 ssp_witness (const std::size_t num_variables, const std::size_t degree, const std::size_t num_inputs, const typename FieldType::value_type &d, const std::vector< typename FieldType::value_type > &coefficients_for_Vs, std::vector< typename FieldType::value_type > &&coefficients_for_H)
 
 ssp_witness (ssp_witness< FieldType > &&other)=default
 

Public Attributes

std::vector< typename FieldType::value_type > coefficients_for_H
 
std::vector< typename FieldType::value_type > coefficients_for_Vs
 
FieldType::value_type d
 
std::size_t degree
 
std::size_t num_inputs
 
std::size_t num_variables
 

Detailed Description

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

A SSP witness.

Constructor & Destructor Documentation

◆ ssp_witness() [1/4]

template<typename FieldType >
nil::crypto3::zk::snark::ssp_witness< FieldType >::ssp_witness ( const std::size_t  num_variables,
const std::size_t  degree,
const std::size_t  num_inputs,
const typename FieldType::value_type &  d,
const std::vector< typename FieldType::value_type > &  coefficients_for_Vs,
const std::vector< typename FieldType::value_type > &  coefficients_for_H 
)
inline

◆ ssp_witness() [2/4]

template<typename FieldType >
nil::crypto3::zk::snark::ssp_witness< FieldType >::ssp_witness ( const std::size_t  num_variables,
const std::size_t  degree,
const std::size_t  num_inputs,
const typename FieldType::value_type &  d,
const std::vector< typename FieldType::value_type > &  coefficients_for_Vs,
std::vector< typename FieldType::value_type > &&  coefficients_for_H 
)
inline

◆ ssp_witness() [3/4]

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

◆ ssp_witness() [4/4]

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

Member Function Documentation

◆ operator=() [1/2]

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

◆ operator=() [2/2]

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

Member Data Documentation

◆ coefficients_for_H

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

◆ coefficients_for_Vs

template<typename FieldType >
std::vector<typename FieldType::value_type> nil::crypto3::zk::snark::ssp_witness< FieldType >::coefficients_for_Vs

◆ d

template<typename FieldType >
FieldType::value_type nil::crypto3::zk::snark::ssp_witness< FieldType >::d

◆ degree

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

◆ num_inputs

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

◆ num_variables

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::ssp_witness< FieldType >::num_variables

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