hash_io.hpp

Go to the documentation of this file.

 
#ifndef HASH_IO_HPP_
#define HASH_IO_HPP_
#include <cstddef>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <vector>
 
namespace libsnark
{
 
template<typename FieldT> class digest_variable : public gadget<FieldT>
{
public:
    size_t digest_size;
    pb_variable_array<FieldT> bits;
 
    digest_variable<FieldT>(
        protoboard<FieldT> &pb,
        const size_t digest_size,
        const std::string &annotation_prefix);
 
    digest_variable<FieldT>(
        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;
};
 
template<typename FieldT> class block_variable : public gadget<FieldT>
{
public:
    size_t block_size;
    pb_variable_array<FieldT> bits;
 
    block_variable(
        protoboard<FieldT> &pb,
        const size_t block_size,
        const std::string &annotation_prefix);
 
    block_variable(
        protoboard<FieldT> &pb,
        const std::vector<pb_variable_array<FieldT>> &parts,
        const std::string &annotation_prefix);
 
    block_variable(
        protoboard<FieldT> &pb,
        const digest_variable<FieldT> &left,
        const digest_variable<FieldT> &right,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness(const libff::bit_vector &contents);
    libff::bit_vector get_block() const;
};
 
} // namespace libsnark
#include <libsnark/gadgetlib1/gadgets/hashes/hash_io.tcc>
 
#endif // HASH_IO_HPP_