Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Public Member Functions | Public Attributes | List of all members
libsnark::digest_variable< FieldT > Class Template Reference

#include <hash_io.hpp>

Inheritance diagram for libsnark::digest_variable< FieldT >:
Inheritance graph
[legend]
Collaboration diagram for libsnark::digest_variable< FieldT >:
Collaboration graph
[legend]

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
 
- Public Member Functions inherited from libsnark::gadget< FieldT >
 gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)
 

Public Attributes

size_t digest_size
 
pb_variable_array< FieldT > bits
 

Additional Inherited Members

- Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > & pb
 
const std::string annotation_prefix
 

Detailed Description

template<typename FieldT>
class libsnark::digest_variable< FieldT >

Definition at line 16 of file hash_io.hpp.

Constructor & Destructor Documentation

◆ digest_variable() [1/2]

template<typename FieldT >
libsnark::digest_variable< FieldT >::digest_variable ( protoboard< FieldT > &  pb,
const size_t  digest_size,
const std::string &  annotation_prefix 
)

◆ digest_variable() [2/2]

template<typename FieldT >
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 
)

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldT >
void libsnark::digest_variable< FieldT >::generate_r1cs_constraints ( )

◆ generate_r1cs_witness()

template<typename FieldT >
void libsnark::digest_variable< FieldT >::generate_r1cs_witness ( const libff::bit_vector &  contents)

◆ get_digest()

template<typename FieldT >
libff::bit_vector libsnark::digest_variable< FieldT >::get_digest ( ) const

Member Data Documentation

◆ bits

template<typename FieldT >
pb_variable_array<FieldT> libsnark::digest_variable< FieldT >::bits

Definition at line 20 of file hash_io.hpp.

◆ digest_size

template<typename FieldT >
size_t libsnark::digest_variable< FieldT >::digest_size

Definition at line 19 of file hash_io.hpp.


The documentation for this class was generated from the following file: