fp6_3over2_gadgets.hpp

Go to the documentation of this file.

 
#ifndef LIBSNARK_GADGETLIB1_GADGETS_FIELDS_FP6_3OVER2_GADGETS_HPP_
#define LIBSNARK_GADGETLIB1_GADGETS_FIELDS_FP6_3OVER2_GADGETS_HPP_
 
#include "libsnark/gadgetlib1/gadget.hpp"
#include "libsnark/gadgetlib1/gadgets/fields/fp2_gadgets.hpp"
 
#include <libff/algebra/curves/public_params.hpp>
 
namespace libsnark
{
 
template<typename Fp6T>
class Fp6_3over2_variable : public gadget<typename Fp6T::my_Fp>
{
public:
    using FieldT = typename Fp6T::my_Fp;
    using Fp2T = typename Fp6T::my_Fp2;
 
    Fp2_variable<Fp2T> _c0;
    Fp2_variable<Fp2T> _c1;
    Fp2_variable<Fp2T> _c2;
 
    Fp6_3over2_variable(
        protoboard<FieldT> &pb, const std::string &annotation_prefix);
 
    Fp6_3over2_variable(
        protoboard<FieldT> &pb,
        const Fp6_3over2_variable<Fp6T> &el,
        const std::string &annotation_prefix);
 
    Fp6_3over2_variable(
        protoboard<FieldT> &pb,
        const Fp6T &el,
        const std::string &annotation_prefix);
 
    Fp6_3over2_variable(
        protoboard<FieldT> &pb,
        const Fp2_variable<Fp2T> &c0,
        const Fp2_variable<Fp2T> &c1,
        const Fp2_variable<Fp2T> &c2,
        const std::string &annotation_prefix);
 
    Fp6_3over2_variable<Fp6T> operator*(const FieldT &scalar) const;
    Fp6_3over2_variable<Fp6T> operator*(const Fp2T &fp2_constant) const;
    Fp6_3over2_variable<Fp6T> operator*(const Fp6T &fp6_constant) const;
    Fp6_3over2_variable<Fp6T> operator+(
        const Fp6_3over2_variable<Fp6T> &other) const;
    Fp6_3over2_variable<Fp6T> operator-(
        const Fp6_3over2_variable<Fp6T> &other) const;
    Fp6_3over2_variable<Fp6T> operator-() const;
    Fp6_3over2_variable<Fp6T> frobenius_map(size_t power) const;
 
    void evaluate() const;
    void generate_r1cs_witness(const Fp6T &el);
    Fp6T get_element() const;
};
 
template<typename Fp6T>
class Fp6_3over2_mul_gadget : public gadget<typename Fp6T::my_Fp>
{
public:
    using FieldT = typename Fp6T::my_Fp;
    using Fp2T = typename Fp6T::my_Fp2;
 
    Fp6_3over2_variable<Fp6T> _A;
    Fp6_3over2_variable<Fp6T> _B;
    Fp6_3over2_variable<Fp6T> _result;
 
    // These conditions follow from the above expressions for c0, c1, c2:
    //  v0 = c0 - non_residue*((a1 + a2)(b1 + b2) - v1 - v2)
    //  (a0 + a1)(b0 + b1) = c1 + v0 + v1 - non_residue * v2
    //  (a0 + a2)(b0 + b2) = c2 + v0 + v2 - v1
 
    Fp2_mul_gadget<Fp2T> _compute_v1;
    Fp2_mul_gadget<Fp2T> _compute_v2;
    Fp2_mul_gadget<Fp2T> _compute_a1a2_times_b1b2;
    Fp2_mul_gadget<Fp2T> _compute_v0;
    Fp2_mul_gadget<Fp2T> _compute_a0a1_times_b0b1;
    Fp2_mul_gadget<Fp2T> _compute_a0a2_times_b0b2;
 
    Fp6_3over2_mul_gadget(
        protoboard<FieldT> &pb,
        const Fp6_3over2_variable<Fp6T> &A,
        const Fp6_3over2_variable<Fp6T> &B,
        const Fp6_3over2_variable<Fp6T> &result,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
} // namespace libsnark
 
#include "libsnark/gadgetlib1/gadgets/fields/fp6_3over2_gadgets.tcc"
 
#endif // LIBSNARK_GADGETLIB1_GADGETS_FIELDS_FP6_3OVER2_GADGETS_HPP_