mimc_mp.hpp

Go to the documentation of this file.

// DISCLAIMER:
// Content taken and adapted from:
// https://github.com/HarryR/ethsnarks/blob/master/src/gadgets/mimc.hpp
 
#ifndef __ZETH_CIRCUITS_MIMC_MP_HPP__
#define __ZETH_CIRCUITS_MIMC_MP_HPP__
 
#include "libzeth/circuits/mimc/mimc_permutation.hpp"
 
namespace libzeth
{
 
template<typename FieldT, typename PermutationT> class MiMC_mp_gadget
{
private:
    std::shared_ptr<PermutationT> permutation_gadget;
 
public:
    MiMC_mp_gadget(
        libsnark::protoboard<FieldT> &pb,
        const libsnark::pb_linear_combination<FieldT> &x,
        const libsnark::pb_linear_combination<FieldT> &y,
        const libsnark::pb_variable<FieldT> &result,
        const std::string &annotation_prefix = "MiMC_mp_gadget");
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness() const;
 
    // Returns the hash (field element)
    static FieldT get_hash(const FieldT x, FieldT y);
};
 
} // namespace libzeth
 
#include "libzeth/circuits/mimc/mimc_mp.tcc"
 
#endif // __ZETH_CIRCUITS_MIMC_MP_HPP__