Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <hash_io.hpp>
Public Member Functions | |
digest_variable (protoboard< FieldT > &pb, const size_t digest_size, const std::string &annotation_prefix) | |
digest_variable (protoboard< FieldT > &pb, const size_t digest_size, const pb_variable_array< FieldT > &partial_bits, const pb_variable< FieldT > &padding, const std::string &annotation_prefix) | |
void | generate_r1cs_constraints () |
void | generate_r1cs_witness (const libff::bit_vector &contents) |
libff::bit_vector | get_digest () const |
![]() | |
gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
size_t | digest_size |
pb_variable_array< FieldT > | bits |
Additional Inherited Members | |
![]() | |
protoboard< FieldT > & | pb |
const std::string | annotation_prefix |
Definition at line 16 of file hash_io.hpp.
libsnark::digest_variable< FieldT >::digest_variable | ( | protoboard< FieldT > & | pb, |
const size_t | digest_size, | ||
const std::string & | annotation_prefix | ||
) |
libsnark::digest_variable< FieldT >::digest_variable | ( | protoboard< FieldT > & | pb, |
const size_t | digest_size, | ||
const pb_variable_array< FieldT > & | partial_bits, | ||
const pb_variable< FieldT > & | padding, | ||
const std::string & | annotation_prefix | ||
) |
void libsnark::digest_variable< FieldT >::generate_r1cs_constraints | ( | ) |
void libsnark::digest_variable< FieldT >::generate_r1cs_witness | ( | const libff::bit_vector & | contents | ) |
libff::bit_vector libsnark::digest_variable< FieldT >::get_digest | ( | ) | const |
pb_variable_array<FieldT> libsnark::digest_variable< FieldT >::bits |
Definition at line 20 of file hash_io.hpp.
size_t libsnark::digest_variable< FieldT >::digest_size |
Definition at line 19 of file hash_io.hpp.