libsnark::r1cs_gg_ppzksnark_proving_key< ppT > Class Template Reference

#include <r1cs_gg_ppzksnark.hpp>

Collaboration diagram for libsnark::r1cs_gg_ppzksnark_proving_key< ppT >:

Public Member Functions
	r1cs_gg_ppzksnark_proving_key ()
r1cs_gg_ppzksnark_proving_key< ppT > &	operator= (const r1cs_gg_ppzksnark_proving_key< ppT > &other)=default
	r1cs_gg_ppzksnark_proving_key (const r1cs_gg_ppzksnark_proving_key< ppT > &other)=default
	r1cs_gg_ppzksnark_proving_key (r1cs_gg_ppzksnark_proving_key< ppT > &&other)=default
	r1cs_gg_ppzksnark_proving_key (libff::G1< ppT > &&alpha_g1, libff::G1< ppT > &&beta_g1, libff::G2< ppT > &&beta_g2, libff::G1< ppT > &&delta_g1, libff::G2< ppT > &&delta_g2, libff::G1_vector< ppT > &&A_query, knowledge_commitment_vector< libff::G2< ppT >, libff::G1< ppT >> &&B_query, libff::G1_vector< ppT > &&H_query, libff::G1_vector< ppT > &&L_query, r1cs_gg_ppzksnark_constraint_system< ppT > &&constraint_system)
size_t	G1_size () const
size_t	G2_size () const
size_t	G1_sparse_size () const
size_t	G2_sparse_size () const
size_t	size_in_bits () const
void	print_size () const
bool	operator== (const r1cs_gg_ppzksnark_proving_key< ppT > &other) const

Public Attributes
libff::G1< ppT >	alpha_g1
libff::G1< ppT >	beta_g1
libff::G2< ppT >	beta_g2
libff::G1< ppT >	delta_g1
libff::G2< ppT >	delta_g2
libff::G1_vector< ppT >	A_query
knowledge_commitment_vector< libff::G2< ppT >, libff::G1< ppT > >	B_query
libff::G1_vector< ppT >	H_query
libff::G1_vector< ppT >	L_query
r1cs_gg_ppzksnark_constraint_system< ppT >	constraint_system

Friends
std::ostream &	operator (std::ostream &out, const r1cs_gg_ppzksnark_proving_key< ppT > &pk)
std::istream &	operator>> (std::istream &in, r1cs_gg_ppzksnark_proving_key< ppT > &pk)

Detailed Description

template<typename ppT>
class libsnark::r1cs_gg_ppzksnark_proving_key< ppT >

A proving key for the R1CS GG-ppzkSNARK.

Definition at line 61 of file r1cs_gg_ppzksnark.hpp.

Constructor & Destructor Documentation

r1cs_gg_ppzksnark_proving_key() [1/4]

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::r1cs_gg_ppzksnark_proving_key ( )

inline

Definition at line 91 of file r1cs_gg_ppzksnark.hpp.

{};

r1cs_gg_ppzksnark_proving_key() [2/4]

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::r1cs_gg_ppzksnark_proving_key ( const r1cs_gg_ppzksnark_proving_key< ppT > &  other )

default

r1cs_gg_ppzksnark_proving_key() [3/4]

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::r1cs_gg_ppzksnark_proving_key ( r1cs_gg_ppzksnark_proving_key< ppT > &&  other )

default

r1cs_gg_ppzksnark_proving_key() [4/4]

template<typename ppT >

libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::r1cs_gg_ppzksnark_proving_key ( libff::G1< ppT > &&  alpha_g1, libff::G1< ppT > &&  beta_g1, libff::G2< ppT > &&  beta_g2, libff::G1< ppT > &&  delta_g1, libff::G2< ppT > &&  delta_g2, libff::G1_vector< ppT > &&  A_query, knowledge_commitment_vector< libff::G2< ppT >, libff::G1< ppT >> &&  B_query, libff::G1_vector< ppT > &&  H_query, libff::G1_vector< ppT > &&  L_query, r1cs_gg_ppzksnark_constraint_system< ppT > &&  constraint_system  )

inline

Definition at line 98 of file r1cs_gg_ppzksnark.hpp.

        : alpha_g1(std::move(alpha_g1))
        , beta_g1(std::move(beta_g1))
        , beta_g2(std::move(beta_g2))
        , delta_g1(std::move(delta_g1))
        , delta_g2(std::move(delta_g2))
        , A_query(std::move(A_query))
        , B_query(std::move(B_query))
        , H_query(std::move(H_query))
        , L_query(std::move(L_query))
        , constraint_system(std::move(constraint_system)){};

Member Function Documentation

G1_size()

template<typename ppT >

size_t libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::G1_size ( ) const

inline

Definition at line 120 of file r1cs_gg_ppzksnark.hpp.

    {
        // 1 (alpha_g1) + 1 (beta_g1) + 1 (delta_g1) + A_query + B_query +
        // H_query + L_query
        return 1 + 1 + 1 + A_query.size() + B_query.domain_size() +
               H_query.size() + L_query.size();
    }

Here is the caller graph for this function:

G1_sparse_size()

template<typename ppT >

size_t libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::G1_sparse_size ( ) const

inline

Definition at line 134 of file r1cs_gg_ppzksnark.hpp.

    {
        return 1 + A_query.size() + B_query.size() + H_query.size() +
               L_query.size();
    }

Here is the caller graph for this function:

G2_size()

template<typename ppT >

size_t libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::G2_size ( ) const

inline

Definition at line 128 of file r1cs_gg_ppzksnark.hpp.

    {
        // 1 (beta_g2) + 1 (delta_g2) + B_query
        return 1 + 1 + B_query.domain_size();
    }

Here is the caller graph for this function:

G2_sparse_size()

template<typename ppT >

size_t libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::G2_sparse_size ( ) const

inline

Definition at line 140 of file r1cs_gg_ppzksnark.hpp.

{ return 1 + B_query.size(); }

Here is the caller graph for this function:

operator=()

template<typename ppT >

r1cs_gg_ppzksnark_proving_key<ppT>& libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::operator= ( const r1cs_gg_ppzksnark_proving_key< ppT > &  other )

default

operator==()

template<typename ppT >

bool libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::operator==

(

const r1cs_gg_ppzksnark_proving_key< ppT > &

other

)

const

print_size()

template<typename ppT >

void libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::print_size ( ) const

inline

Definition at line 151 of file r1cs_gg_ppzksnark.hpp.

    {
        libff::print_indent();
        printf("* G1 elements in PK: %zu\n", this->G1_size());
        libff::print_indent();
        printf("* Non-zero G1 elements in PK: %zu\n", this->G1_sparse_size());
        libff::print_indent();
        printf("* G2 elements in PK: %zu\n", this->G2_size());
        libff::print_indent();
        printf("* Non-zero G2 elements in PK: %zu\n", this->G2_sparse_size());
        libff::print_indent();
        printf("* PK size in bits: %zu\n", this->size_in_bits());
    }

Here is the call graph for this function:

size_in_bits()

template<typename ppT >

size_t libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::size_in_bits ( ) const

inline

Definition at line 142 of file r1cs_gg_ppzksnark.hpp.

    {
        return (
            libff::size_in_bits(A_query) + B_query.size_in_bits() +
            libff::size_in_bits(H_query) + libff::size_in_bits(L_query) +
            1 * libff::G1<ppT>::size_in_bits() +
            1 * libff::G2<ppT>::size_in_bits());
    }

Here is the caller graph for this function:

Friends And Related Function Documentation

operator

template<typename ppT >

std::ostream& operator ( std::ostream &  out, const r1cs_gg_ppzksnark_proving_key< ppT > &  pk  )

friend

operator>>

template<typename ppT >

std::istream& operator>> ( std::istream &  in, r1cs_gg_ppzksnark_proving_key< ppT > &  pk  )

friend

Member Data Documentation

A_query

template<typename ppT >

libff::G1_vector<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::A_query

Definition at line 84 of file r1cs_gg_ppzksnark.hpp.

alpha_g1

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::alpha_g1

Definition at line 77 of file r1cs_gg_ppzksnark.hpp.

B_query

template<typename ppT >

knowledge_commitment_vector<libff::G2<ppT>, libff::G1<ppT> > libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::B_query

Definition at line 85 of file r1cs_gg_ppzksnark.hpp.

beta_g1

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::beta_g1

Definition at line 78 of file r1cs_gg_ppzksnark.hpp.

beta_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::beta_g2

Definition at line 79 of file r1cs_gg_ppzksnark.hpp.

constraint_system

template<typename ppT >

r1cs_gg_ppzksnark_constraint_system<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::constraint_system

Definition at line 89 of file r1cs_gg_ppzksnark.hpp.

delta_g1

template<typename ppT >

libff::G1<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::delta_g1

Definition at line 80 of file r1cs_gg_ppzksnark.hpp.

delta_g2

template<typename ppT >

libff::G2<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::delta_g2

Definition at line 81 of file r1cs_gg_ppzksnark.hpp.

H_query

template<typename ppT >

libff::G1_vector<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::H_query

Definition at line 86 of file r1cs_gg_ppzksnark.hpp.

L_query

template<typename ppT >

libff::G1_vector<ppT> libsnark::r1cs_gg_ppzksnark_proving_key< ppT >::L_query

Definition at line 87 of file r1cs_gg_ppzksnark.hpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/r1cs_gg_ppzksnark.hpp