libsnark::r1cs_ppzkadsnark_proving_key< ppT > Class Template Reference

#include <r1cs_ppzkadsnark.hpp>

Collaboration diagram for libsnark::r1cs_ppzkadsnark_proving_key< ppT >:

Public Member Functions
	r1cs_ppzkadsnark_proving_key ()
r1cs_ppzkadsnark_proving_key< ppT > &	operator= (const r1cs_ppzkadsnark_proving_key< ppT > &other)=default
	r1cs_ppzkadsnark_proving_key (const r1cs_ppzkadsnark_proving_key< ppT > &other)=default
	r1cs_ppzkadsnark_proving_key (r1cs_ppzkadsnark_proving_key< ppT > &&other)=default
	r1cs_ppzkadsnark_proving_key (knowledge_commitment_vector< libff::G1< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&A_query, knowledge_commitment_vector< libff::G2< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&B_query, knowledge_commitment_vector< libff::G1< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&C_query, libff::G1_vector< snark_pp< ppT >> &&H_query, libff::G1_vector< snark_pp< ppT >> &&K_query, libff::G1< snark_pp< ppT >> &&rA_i_Z_g1, r1cs_ppzkadsnark_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_ppzkadsnark_proving_key< ppT > &other) const

Public Attributes
knowledge_commitment_vector< libff::G1< snark_pp< ppT > >, libff::G1< snark_pp< ppT > > >	A_query
knowledge_commitment_vector< libff::G2< snark_pp< ppT > >, libff::G1< snark_pp< ppT > > >	B_query
knowledge_commitment_vector< libff::G1< snark_pp< ppT > >, libff::G1< snark_pp< ppT > > >	C_query
libff::G1_vector< snark_pp< ppT > >	H_query
libff::G1_vector< snark_pp< ppT > >	K_query
libff::G1< snark_pp< ppT > >	rA_i_Z_g1
r1cs_ppzkadsnark_constraint_system< ppT >	constraint_system

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

Detailed Description

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

A proving key for the R1CS ppzkADSNARK.

Definition at line 249 of file r1cs_ppzkadsnark.hpp.

Constructor & Destructor Documentation

r1cs_ppzkadsnark_proving_key() [1/4]

template<typename ppT >

libsnark::r1cs_ppzkadsnark_proving_key< ppT >::r1cs_ppzkadsnark_proving_key ( )

inline

Definition at line 284 of file r1cs_ppzkadsnark.hpp.

{};

r1cs_ppzkadsnark_proving_key() [2/4]

template<typename ppT >

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

default

r1cs_ppzkadsnark_proving_key() [3/4]

template<typename ppT >

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

default

r1cs_ppzkadsnark_proving_key() [4/4]

template<typename ppT >

libsnark::r1cs_ppzkadsnark_proving_key< ppT >::r1cs_ppzkadsnark_proving_key ( knowledge_commitment_vector< libff::G1< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&  A_query, knowledge_commitment_vector< libff::G2< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&  B_query, knowledge_commitment_vector< libff::G1< snark_pp< ppT >>, libff::G1< snark_pp< ppT >>> &&  C_query, libff::G1_vector< snark_pp< ppT >> &&  H_query, libff::G1_vector< snark_pp< ppT >> &&  K_query, libff::G1< snark_pp< ppT >> &&  rA_i_Z_g1, r1cs_ppzkadsnark_constraint_system< ppT > &&  constraint_system  )

inline

Definition at line 291 of file r1cs_ppzkadsnark.hpp.

        : A_query(std::move(A_query))
        , B_query(std::move(B_query))
        , C_query(std::move(C_query))
        , H_query(std::move(H_query))
        , K_query(std::move(K_query))
        , rA_i_Z_g1(std::move(rA_i_Z_g1))
        , constraint_system(std::move(constraint_system)){};

Member Function Documentation

G1_size()

template<typename ppT >

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

inline

Definition at line 313 of file r1cs_ppzkadsnark.hpp.

    {
        return 2 * (A_query.domain_size() + C_query.domain_size()) +
               B_query.domain_size() + H_query.size() + K_query.size() + 1;
    }

Here is the caller graph for this function:

G1_sparse_size()

template<typename ppT >

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

inline

Definition at line 321 of file r1cs_ppzkadsnark.hpp.

    {
        return 2 * (A_query.size() + C_query.size()) + B_query.size() +
               H_query.size() + K_query.size() + 1;
    }

Here is the caller graph for this function:

G2_size()

template<typename ppT >

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

inline

Definition at line 319 of file r1cs_ppzkadsnark.hpp.

{ return B_query.domain_size(); }

Here is the caller graph for this function:

G2_sparse_size()

template<typename ppT >

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

inline

Definition at line 327 of file r1cs_ppzkadsnark.hpp.

{ return B_query.size(); }

Here is the caller graph for this function:

operator=()

template<typename ppT >

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

default

operator==()

template<typename ppT >

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

(

const r1cs_ppzkadsnark_proving_key< ppT > &

other

)

const

print_size()

template<typename ppT >

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

inline

Definition at line 337 of file r1cs_ppzkadsnark.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_ppzkadsnark_proving_key< ppT >::size_in_bits ( ) const

inline

Definition at line 329 of file r1cs_ppzkadsnark.hpp.

    {
        return A_query.size_in_bits() + B_query.size_in_bits() +
               C_query.size_in_bits() + libff::size_in_bits(H_query) +
               libff::size_in_bits(K_query) +
               libff::G1<snark_pp<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_ppzkadsnark_proving_key< ppT > &  pk  )

friend

operator>>

template<typename ppT >

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

friend

Member Data Documentation

A_query

template<typename ppT >

knowledge_commitment_vector< libff::G1<snark_pp<ppT> >, libff::G1<snark_pp<ppT> > > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::A_query

Definition at line 268 of file r1cs_ppzkadsnark.hpp.

B_query

template<typename ppT >

knowledge_commitment_vector< libff::G2<snark_pp<ppT> >, libff::G1<snark_pp<ppT> > > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::B_query

Definition at line 272 of file r1cs_ppzkadsnark.hpp.

C_query

template<typename ppT >

knowledge_commitment_vector< libff::G1<snark_pp<ppT> >, libff::G1<snark_pp<ppT> > > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::C_query

Definition at line 276 of file r1cs_ppzkadsnark.hpp.

constraint_system

template<typename ppT >

r1cs_ppzkadsnark_constraint_system<ppT> libsnark::r1cs_ppzkadsnark_proving_key< ppT >::constraint_system

Definition at line 282 of file r1cs_ppzkadsnark.hpp.

H_query

template<typename ppT >

libff::G1_vector<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::H_query

Definition at line 277 of file r1cs_ppzkadsnark.hpp.

K_query

template<typename ppT >

libff::G1_vector<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::K_query

Definition at line 278 of file r1cs_ppzkadsnark.hpp.

rA_i_Z_g1

template<typename ppT >

libff::G1<snark_pp<ppT> > libsnark::r1cs_ppzkadsnark_proving_key< ppT >::rA_i_Z_g1

Definition at line 280 of file r1cs_ppzkadsnark.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/ppzkadsnark/r1cs_ppzkadsnark/r1cs_ppzkadsnark.hpp