hash_io.hpp

/**
 *****************************************************************************
 * @author     This file is part of libsnark, developed by SCIPR Lab
 *             and contributors (see AUTHORS).
 * @copyright  MIT license (see LICENSE file)
 *****************************************************************************/
#ifndef HASH_IO_HPP_
#define HASH_IO_HPP_
#include <cstddef>
#include <vector>

#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>

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;
};

} // libsnark
#include <libsnark/gadgetlib1/gadgets/hashes/hash_io.tcc>

#endif // HASH_IO_HPP_