Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Public Member Functions | Public Attributes | List of all members
libsnark::field_vector_copy_gadget< FieldT > Class Template Reference

#include <basic_gadgets.hpp>

Inheritance diagram for libsnark::field_vector_copy_gadget< FieldT >:
Inheritance graph
[legend]
Collaboration diagram for libsnark::field_vector_copy_gadget< FieldT >:
Collaboration graph
[legend]

Public Member Functions

 field_vector_copy_gadget (protoboard< FieldT > &pb, const pb_variable_array< FieldT > &source, const pb_variable_array< FieldT > &target, const pb_linear_combination< FieldT > &do_copy, const std::string &annotation_prefix="")
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
- Public Member Functions inherited from libsnark::gadget< FieldT >
 gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)
 

Public Attributes

const pb_variable_array< FieldT > source
 
const pb_variable_array< FieldT > target
 
const pb_linear_combination< FieldT > do_copy
 

Additional Inherited Members

- Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > & pb
 
const std::string annotation_prefix
 

Detailed Description

template<typename FieldT>
class libsnark::field_vector_copy_gadget< FieldT >

Definition at line 84 of file basic_gadgets.hpp.

Constructor & Destructor Documentation

◆ field_vector_copy_gadget()

template<typename FieldT >
libsnark::field_vector_copy_gadget< FieldT >::field_vector_copy_gadget ( protoboard< FieldT > &  pb,
const pb_variable_array< FieldT > &  source,
const pb_variable_array< FieldT > &  target,
const pb_linear_combination< FieldT > &  do_copy,
const std::string &  annotation_prefix = "" 
)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldT >
void libsnark::field_vector_copy_gadget< FieldT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename FieldT >
void libsnark::field_vector_copy_gadget< FieldT >::generate_r1cs_witness ( )

Member Data Documentation

◆ do_copy

template<typename FieldT >
const pb_linear_combination<FieldT> libsnark::field_vector_copy_gadget< FieldT >::do_copy

Definition at line 89 of file basic_gadgets.hpp.

◆ source

template<typename FieldT >
const pb_variable_array<FieldT> libsnark::field_vector_copy_gadget< FieldT >::source

Definition at line 87 of file basic_gadgets.hpp.

◆ target

template<typename FieldT >
const pb_variable_array<FieldT> libsnark::field_vector_copy_gadget< FieldT >::target

Definition at line 88 of file basic_gadgets.hpp.


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