libsnark::uscs_example< FieldT > Struct Template Reference

#include <uscs_examples.hpp>

Public Member Functions
	uscs_example ()=default
	uscs_example (const uscs_constraint_system< FieldT > &constraint_system, const uscs_primary_input< FieldT > &primary_input, const uscs_auxiliary_input< FieldT > &auxiliary_input)
	uscs_example (uscs_constraint_system< FieldT > &&constraint_system, uscs_primary_input< FieldT > &&primary_input, uscs_auxiliary_input< FieldT > &&auxiliary_input)

Public Attributes
uscs_constraint_system< FieldT >	constraint_system
uscs_primary_input< FieldT >	primary_input
uscs_auxiliary_input< FieldT >	auxiliary_input

Detailed Description

template<typename FieldT>
struct libsnark::uscs_example< FieldT >

A USCS example comprises a USCS constraint system, USCS input, and USCS witness.

Definition at line 24 of file uscs_examples.hpp.

Constructor & Destructor Documentation

uscs_example() [1/3]

template<typename FieldT >

libsnark::uscs_example< FieldT >::uscs_example ( )

default

uscs_example() [2/3]

template<typename FieldT >

libsnark::uscs_example< FieldT >::uscs_example ( const uscs_constraint_system< FieldT > &  constraint_system, const uscs_primary_input< FieldT > &  primary_input, const uscs_auxiliary_input< FieldT > &  auxiliary_input  )

inline

Definition at line 30 of file uscs_examples.hpp.

        : constraint_system(constraint_system)
        , primary_input(primary_input)
        , auxiliary_input(auxiliary_input){};

uscs_example() [3/3]

template<typename FieldT >

libsnark::uscs_example< FieldT >::uscs_example ( uscs_constraint_system< FieldT > &&  constraint_system, uscs_primary_input< FieldT > &&  primary_input, uscs_auxiliary_input< FieldT > &&  auxiliary_input  )

inline

Definition at line 37 of file uscs_examples.hpp.

        : constraint_system(std::move(constraint_system))
        , primary_input(std::move(primary_input))
        , auxiliary_input(std::move(auxiliary_input)){};

Member Data Documentation

auxiliary_input

template<typename FieldT >

uscs_auxiliary_input<FieldT> libsnark::uscs_example< FieldT >::auxiliary_input

Definition at line 27 of file uscs_examples.hpp.

constraint_system

template<typename FieldT >

uscs_constraint_system<FieldT> libsnark::uscs_example< FieldT >::constraint_system

Definition at line 25 of file uscs_examples.hpp.

primary_input

template<typename FieldT >

uscs_primary_input<FieldT> libsnark::uscs_example< FieldT >::primary_input

Definition at line 26 of file uscs_examples.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/relations/constraint_satisfaction_problems/uscs/examples/uscs_examples.hpp