exponentiation_gadget.hpp

Go to the documentation of this file.

 
#ifndef EXPONENTIATION_GADGET_HPP_
#define EXPONENTIATION_GADGET_HPP_
 
#include <libff/algebra/fields/bigint.hpp>
#include <libff/algebra/scalar_multiplication/wnaf.hpp>
#include <libsnark/gadgetlib1/gadget.hpp>
#include <memory>
#include <vector>
 
namespace libsnark
{
 
template<
    typename FpkT,
    template<class>
    class Fpk_variableT,
    template<class>
    class Fpk_mul_gadgetT,
    template<class>
    class Fpk_sqr_gadgetT,
    mp_size_t m>
class exponentiation_gadget : public gadget<typename FpkT::my_Fp>
{
public:
    typedef typename FpkT::my_Fp FieldT;
    std::vector<long> NAF;
 
    std::vector<std::shared_ptr<Fpk_variableT<FpkT>>> intermediate;
    std::vector<std::shared_ptr<Fpk_mul_gadgetT<FpkT>>> addition_steps;
    std::vector<std::shared_ptr<Fpk_mul_gadgetT<FpkT>>> subtraction_steps;
    std::vector<std::shared_ptr<Fpk_sqr_gadgetT<FpkT>>> doubling_steps;
 
    Fpk_variableT<FpkT> elt;
    libff::bigint<m> power;
    Fpk_variableT<FpkT> result;
 
    size_t intermed_count;
    size_t add_count;
    size_t sub_count;
    size_t dbl_count;
 
    exponentiation_gadget(
        protoboard<FieldT> &pb,
        const Fpk_variableT<FpkT> &elt,
        const libff::bigint<m> &power,
        const Fpk_variableT<FpkT> &result,
        const std::string &annotation_prefix);
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
template<
    typename FpkT,
    template<class>
    class Fpk_variableT,
    template<class>
    class Fpk_mul_gadgetT,
    template<class>
    class Fpk_sqr_gadgetT,
    mp_size_t m>
void test_exponentiation_gadget(
    const libff::bigint<m> &power, const std::string &annotation);
 
} // namespace libsnark
 
#include <libsnark/gadgetlib1/gadgets/fields/exponentiation_gadget.tcc>
 
#endif // EXPONENTIATION_GADGET_HPP_