Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <sha256_aux.hpp>
Public Member Functions | |
majority_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &X, const pb_linear_combination_array< FieldT > &Y, const pb_linear_combination_array< FieldT > &Z, const pb_variable< FieldT > &result, const std::string &annotation_prefix) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness () |
![]() | |
gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
pb_linear_combination_array< FieldT > | X |
pb_linear_combination_array< FieldT > | Y |
pb_linear_combination_array< FieldT > | Z |
pb_variable< FieldT > | result |
Additional Inherited Members | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 145 of file sha256_aux.hpp.
libsnark::majority_gadget< FieldT >::majority_gadget | ( | protoboard< FieldT > & | pb, |
const pb_linear_combination_array< FieldT > & | X, | ||
const pb_linear_combination_array< FieldT > & | Y, | ||
const pb_linear_combination_array< FieldT > & | Z, | ||
const pb_variable< FieldT > & | result, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::majority_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::majority_gadget< FieldT >::generate_r1cs_witness | ( | ) |
pb_variable<FieldT> libsnark::majority_gadget< FieldT >::result |
Definition at line 155 of file sha256_aux.hpp.
pb_linear_combination_array<FieldT> libsnark::majority_gadget< FieldT >::X |
Definition at line 152 of file sha256_aux.hpp.
pb_linear_combination_array<FieldT> libsnark::majority_gadget< FieldT >::Y |
Definition at line 153 of file sha256_aux.hpp.
pb_linear_combination_array<FieldT> libsnark::majority_gadget< FieldT >::Z |
Definition at line 154 of file sha256_aux.hpp.