Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <sha256_components.hpp>
Public Member Functions | |
sha256_message_schedule_gadget (protoboard< FieldT > &pb, const pb_variable_array< FieldT > &M, const pb_variable_array< FieldT > &packed_W, const std::string &annotation_prefix) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness () |
![]() | |
gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
std::vector< pb_variable_array< FieldT > > | W_bits |
std::vector< std::shared_ptr< packing_gadget< FieldT > > > | pack_W |
std::vector< pb_variable< FieldT > > | sigma0 |
std::vector< pb_variable< FieldT > > | sigma1 |
std::vector< std::shared_ptr< small_sigma_gadget< FieldT > > > | compute_sigma0 |
std::vector< std::shared_ptr< small_sigma_gadget< FieldT > > > | compute_sigma1 |
std::vector< pb_variable< FieldT > > | unreduced_W |
std::vector< std::shared_ptr< lastbits_gadget< FieldT > > > | mod_reduce_W |
pb_variable_array< FieldT > | M |
pb_variable_array< FieldT > | packed_W |
Additional Inherited Members | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 30 of file sha256_components.hpp.
libsnark::sha256_message_schedule_gadget< FieldT >::sha256_message_schedule_gadget | ( | protoboard< FieldT > & | pb, |
const pb_variable_array< FieldT > & | M, | ||
const pb_variable_array< FieldT > & | packed_W, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::sha256_message_schedule_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::sha256_message_schedule_gadget< FieldT >::generate_r1cs_witness | ( | ) |
std::vector<std::shared_ptr<small_sigma_gadget<FieldT> > > libsnark::sha256_message_schedule_gadget< FieldT >::compute_sigma0 |
Definition at line 38 of file sha256_components.hpp.
std::vector<std::shared_ptr<small_sigma_gadget<FieldT> > > libsnark::sha256_message_schedule_gadget< FieldT >::compute_sigma1 |
Definition at line 39 of file sha256_components.hpp.
pb_variable_array<FieldT> libsnark::sha256_message_schedule_gadget< FieldT >::M |
Definition at line 44 of file sha256_components.hpp.
std::vector<std::shared_ptr<lastbits_gadget<FieldT> > > libsnark::sha256_message_schedule_gadget< FieldT >::mod_reduce_W |
Definition at line 41 of file sha256_components.hpp.
std::vector<std::shared_ptr<packing_gadget<FieldT> > > libsnark::sha256_message_schedule_gadget< FieldT >::pack_W |
Definition at line 34 of file sha256_components.hpp.
pb_variable_array<FieldT> libsnark::sha256_message_schedule_gadget< FieldT >::packed_W |
Definition at line 45 of file sha256_components.hpp.
std::vector<pb_variable<FieldT> > libsnark::sha256_message_schedule_gadget< FieldT >::sigma0 |
Definition at line 36 of file sha256_components.hpp.
std::vector<pb_variable<FieldT> > libsnark::sha256_message_schedule_gadget< FieldT >::sigma1 |
Definition at line 37 of file sha256_components.hpp.
std::vector<pb_variable<FieldT> > libsnark::sha256_message_schedule_gadget< FieldT >::unreduced_W |
Definition at line 40 of file sha256_components.hpp.
std::vector<pb_variable_array<FieldT> > libsnark::sha256_message_schedule_gadget< FieldT >::W_bits |
Definition at line 33 of file sha256_components.hpp.