Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <basic_gadgets.hpp>
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 () |
![]() | |
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 | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 84 of file basic_gadgets.hpp.
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 = "" |
||
) |
void libsnark::field_vector_copy_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::field_vector_copy_gadget< FieldT >::generate_r1cs_witness | ( | ) |
const pb_linear_combination<FieldT> libsnark::field_vector_copy_gadget< FieldT >::do_copy |
Definition at line 89 of file basic_gadgets.hpp.
const pb_variable_array<FieldT> libsnark::field_vector_copy_gadget< FieldT >::source |
Definition at line 87 of file basic_gadgets.hpp.
const pb_variable_array<FieldT> libsnark::field_vector_copy_gadget< FieldT >::target |
Definition at line 88 of file basic_gadgets.hpp.