Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <sha256_aux.hpp>
Public Member Functions | |
small_sigma_gadget (protoboard< FieldT > &pb, const pb_variable_array< FieldT > &W, const pb_variable< FieldT > &result, const size_t rot1, const size_t rot2, const size_t shift, 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_variable_array< FieldT > | result_bits |
std::vector< std::shared_ptr< XOR3_gadget< FieldT > > > | compute_bits |
std::shared_ptr< packing_gadget< FieldT > > | pack_result |
Additional Inherited Members | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 70 of file sha256_aux.hpp.
libsnark::small_sigma_gadget< FieldT >::small_sigma_gadget | ( | protoboard< FieldT > & | pb, |
const pb_variable_array< FieldT > & | W, | ||
const pb_variable< FieldT > & | result, | ||
const size_t | rot1, | ||
const size_t | rot2, | ||
const size_t | shift, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::small_sigma_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::small_sigma_gadget< FieldT >::generate_r1cs_witness | ( | ) |
std::vector<std::shared_ptr<XOR3_gadget<FieldT> > > libsnark::small_sigma_gadget< FieldT >::compute_bits |
Definition at line 78 of file sha256_aux.hpp.
std::shared_ptr<packing_gadget<FieldT> > libsnark::small_sigma_gadget< FieldT >::pack_result |
Definition at line 79 of file sha256_aux.hpp.
pb_variable_array<FieldT> libsnark::small_sigma_gadget< FieldT >::result_bits |
Definition at line 77 of file sha256_aux.hpp.