Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <libff/algebra/fields/fp.hpp>
#include <libsnark/common/data_structures/sparse_vector.hpp>
#include <libsnark/knowledge_commitment/knowledge_commitment.tcc>
Go to the source code of this file.
Classes | |
struct | libsnark::knowledge_commitment< T1, T2 > |
Namespaces | |
libsnark | |
Typedefs | |
template<typename T1 , typename T2 > | |
using | libsnark::knowledge_commitment_vector = sparse_vector< knowledge_commitment< T1, T2 > > |
Functions | |
template<typename T1 , typename T2 , mp_size_t m> | |
knowledge_commitment< T1, T2 > | libsnark::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 > | libsnark::operator* (const libff::Fp_model< m, modulus_p > &lhs, const knowledge_commitment< T1, T2 > &rhs) |
template<typename T1 , typename T2 > | |
std::ostream & | libsnark::operator<< (std::ostream &out, const knowledge_commitment< T1, T2 > &kc) |
template<typename T1 , typename T2 > | |
std::istream & | libsnark::operator>> (std::istream &in, knowledge_commitment< T1, T2 > &kc) |
Declaration of interfaces for:
a knowledge commitment vector.
Definition in file knowledge_commitment.hpp.