libsnark::r1cs_example< FieldT > Struct Template Reference

#include <r1cs_examples.hpp>

Public Member Functions
	r1cs_example ()=default
	r1cs_example (const r1cs_constraint_system< FieldT > &constraint_system, const r1cs_primary_input< FieldT > &primary_input, const r1cs_auxiliary_input< FieldT > &auxiliary_input)
	r1cs_example (r1cs_constraint_system< FieldT > &&constraint_system, r1cs_primary_input< FieldT > &&primary_input, r1cs_auxiliary_input< FieldT > &&auxiliary_input)

Public Attributes
r1cs_constraint_system< FieldT >	constraint_system
r1cs_primary_input< FieldT >	primary_input
r1cs_auxiliary_input< FieldT >	auxiliary_input

Detailed Description

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

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

Definition at line 25 of file r1cs_examples.hpp.

Constructor & Destructor Documentation

r1cs_example() [1/3]

template<typename FieldT >

libsnark::r1cs_example< FieldT >::r1cs_example ( )

default

r1cs_example() [2/3]

template<typename FieldT >

libsnark::r1cs_example< FieldT >::r1cs_example ( const r1cs_constraint_system< FieldT > &  constraint_system, const r1cs_primary_input< FieldT > &  primary_input, const r1cs_auxiliary_input< FieldT > &  auxiliary_input  )

inline

Definition at line 31 of file r1cs_examples.hpp.

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

r1cs_example() [3/3]

template<typename FieldT >

libsnark::r1cs_example< FieldT >::r1cs_example ( r1cs_constraint_system< FieldT > &&  constraint_system, r1cs_primary_input< FieldT > &&  primary_input, r1cs_auxiliary_input< FieldT > &&  auxiliary_input  )

inline

Definition at line 38 of file r1cs_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 >

r1cs_auxiliary_input<FieldT> libsnark::r1cs_example< FieldT >::auxiliary_input

Definition at line 28 of file r1cs_examples.hpp.

constraint_system

template<typename FieldT >

r1cs_constraint_system<FieldT> libsnark::r1cs_example< FieldT >::constraint_system

Definition at line 26 of file r1cs_examples.hpp.

primary_input

template<typename FieldT >

r1cs_primary_input<FieldT> libsnark::r1cs_example< FieldT >::primary_input

Definition at line 27 of file r1cs_examples.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp