Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <sha256_aux.hpp>
Public Member Functions | |
lastbits_gadget (protoboard< FieldT > &pb, const pb_variable< FieldT > &X, const size_t X_bits, const pb_variable< FieldT > &result, const pb_linear_combination_array< FieldT > &result_bits, 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< FieldT > | X |
size_t | X_bits |
pb_variable< FieldT > | result |
pb_linear_combination_array< FieldT > | result_bits |
pb_linear_combination_array< FieldT > | full_bits |
std::shared_ptr< packing_gadget< FieldT > > | unpack_bits |
std::shared_ptr< packing_gadget< FieldT > > | pack_result |
Additional Inherited Members | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 20 of file sha256_aux.hpp.
libsnark::lastbits_gadget< FieldT >::lastbits_gadget | ( | protoboard< FieldT > & | pb, |
const pb_variable< FieldT > & | X, | ||
const size_t | X_bits, | ||
const pb_variable< FieldT > & | result, | ||
const pb_linear_combination_array< FieldT > & | result_bits, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::lastbits_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::lastbits_gadget< FieldT >::generate_r1cs_witness | ( | ) |
pb_linear_combination_array<FieldT> libsnark::lastbits_gadget< FieldT >::full_bits |
Definition at line 28 of file sha256_aux.hpp.
std::shared_ptr<packing_gadget<FieldT> > libsnark::lastbits_gadget< FieldT >::pack_result |
Definition at line 30 of file sha256_aux.hpp.
pb_variable<FieldT> libsnark::lastbits_gadget< FieldT >::result |
Definition at line 25 of file sha256_aux.hpp.
pb_linear_combination_array<FieldT> libsnark::lastbits_gadget< FieldT >::result_bits |
Definition at line 26 of file sha256_aux.hpp.
std::shared_ptr<packing_gadget<FieldT> > libsnark::lastbits_gadget< FieldT >::unpack_bits |
Definition at line 29 of file sha256_aux.hpp.
pb_variable<FieldT> libsnark::lastbits_gadget< FieldT >::X |
Definition at line 23 of file sha256_aux.hpp.
size_t libsnark::lastbits_gadget< FieldT >::X_bits |
Definition at line 24 of file sha256_aux.hpp.