knowledge_commitment.hpp

Go to the documentation of this file.

 
#ifndef KNOWLEDGE_COMMITMENT_HPP_
#define KNOWLEDGE_COMMITMENT_HPP_
 
#include <libff/algebra/fields/fp.hpp>
#include <libsnark/common/data_structures/sparse_vector.hpp>
 
namespace libsnark
{
 
/********************** Knowledge commitment *********************************/
 
template<typename T1, typename T2> struct knowledge_commitment {
 
    T1 g;
    T2 h;
 
    knowledge_commitment<T1, T2>(const T1 &g, const T2 &h);
    knowledge_commitment<T1, T2>() = default;
    knowledge_commitment<T1, T2>(const knowledge_commitment<T1, T2> &other) =
        default;
    knowledge_commitment<T1, T2>(knowledge_commitment<T1, T2> &&other) =
        default;
    knowledge_commitment<T1, T2> &operator=(
        const knowledge_commitment<T1, T2> &other) = default;
    knowledge_commitment<T1, T2> &operator=(
        knowledge_commitment<T1, T2> &&other) = default;
 
    knowledge_commitment<T1, T2> add(
        const knowledge_commitment<T1, T2> &other) const;
    knowledge_commitment<T1, T2> mixed_add(
        const knowledge_commitment<T1, T2> &other) const;
    knowledge_commitment<T1, T2> dbl() const;
 
    knowledge_commitment<T1, T2> operator+(
        const knowledge_commitment<T1, T2> &other) const;
    knowledge_commitment<T1, T2> operator-() const;
 
    void to_special();
    bool is_special() const;
 
    bool is_zero() const;
    bool operator==(const knowledge_commitment<T1, T2> &other) const;
    bool operator!=(const knowledge_commitment<T1, T2> &other) const;
 
    static knowledge_commitment<T1, T2> zero();
    static knowledge_commitment<T1, T2> one();
 
    void print() const;
 
    static size_t size_in_bits();
 
    static void batch_to_special_all_non_zeros(
        std::vector<knowledge_commitment<T1, T2>> &vec);
};
 
template<typename T1, typename T2, mp_size_t m>
knowledge_commitment<T1, T2> operator*(
    const libff::bigint<m> &lhs, const knowledge_commitment<T1, T2> &rhs);
 
template<
    typename T1,
    typename T2,
    mp_size_t m,
    const libff::bigint<m> &modulus_p>
knowledge_commitment<T1, T2> operator*(
    const libff::Fp_model<m, modulus_p> &lhs,
    const knowledge_commitment<T1, T2> &rhs);
 
template<typename T1, typename T2>
std::ostream &operator<<(
    std::ostream &out, const knowledge_commitment<T1, T2> &kc);
 
template<typename T1, typename T2>
std::istream &operator>>(std::istream &in, knowledge_commitment<T1, T2> &kc);
 
/******************** Knowledge commitment vector ****************************/
 
template<typename T1, typename T2>
using knowledge_commitment_vector = sparse_vector<knowledge_commitment<T1, T2>>;
 
} // namespace libsnark
 
#include <libsnark/knowledge_commitment/knowledge_commitment.tcc>
 
#endif // KNOWLEDGE_COMMITMENT_HPP_