Crypto3 Cryptography Suite

#include <proving_key.hpp>

Collaboration diagram for nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >:

Public Types
typedef CircuitType	circuit_type

typedef CurveType	curve_type

typedef r1cs_ppzksnark< CurveType >::proving_key_type	r1cs_proving_key_type

Public Member Functions
	bacs_ppzksnark_proving_key ()

	bacs_ppzksnark_proving_key (bacs_ppzksnark_proving_key &&other)=default

	bacs_ppzksnark_proving_key (circuit_type &&circuit, r1cs_proving_key_type &&r1cs_pk)

	bacs_ppzksnark_proving_key (const bacs_ppzksnark_proving_key &other)=default

	bacs_ppzksnark_proving_key (const circuit_type &circuit, const r1cs_proving_key_type &r1cs_pk)

std::size_t	G1_size () const

std::size_t	G1_sparse_size () const

std::size_t	G2_size () const

std::size_t	G2_sparse_size () const

bacs_ppzksnark_proving_key &	operator= (const bacs_ppzksnark_proving_key &other)=default

bool	operator== (const bacs_ppzksnark_proving_key &other) const

std::size_t	size_in_bits () const

Public Attributes
circuit_type	circuit

r1cs_proving_key_type	r1cs_pk

Member Typedef Documentation

◆ circuit_type

template<typename CurveType , typename CircuitType >

typedef CircuitType nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::circuit_type

◆ curve_type

template<typename CurveType , typename CircuitType >

typedef CurveType nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::curve_type

◆ r1cs_proving_key_type

template<typename CurveType , typename CircuitType >

typedef r1cs_ppzksnark<CurveType>::proving_key_type nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::r1cs_proving_key_type

Constructor & Destructor Documentation

◆ bacs_ppzksnark_proving_key() [1/5]

template<typename CurveType , typename CircuitType >

nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::bacs_ppzksnark_proving_key ( )

inline

◆ bacs_ppzksnark_proving_key() [2/5]

template<typename CurveType , typename CircuitType >

nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::bacs_ppzksnark_proving_key ( const bacs_ppzksnark_proving_key< CurveType, CircuitType > & other )

default

◆ bacs_ppzksnark_proving_key() [3/5]

template<typename CurveType , typename CircuitType >

nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::bacs_ppzksnark_proving_key ( bacs_ppzksnark_proving_key< CurveType, CircuitType > && other )

default

◆ bacs_ppzksnark_proving_key() [4/5]

template<typename CurveType , typename CircuitType >

nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::bacs_ppzksnark_proving_key	(	const circuit_type &	circuit,
		const r1cs_proving_key_type &	r1cs_pk
	)

inline

◆ bacs_ppzksnark_proving_key() [5/5]

template<typename CurveType , typename CircuitType >

nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::bacs_ppzksnark_proving_key	(	circuit_type &&	circuit,
		r1cs_proving_key_type &&	r1cs_pk
	)

inline

Member Function Documentation

◆ G1_size()

template<typename CurveType , typename CircuitType >

std::size_t nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::G1_size ( ) const

inline

◆ G1_sparse_size()

template<typename CurveType , typename CircuitType >

std::size_t nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::G1_sparse_size ( ) const

inline

◆ G2_size()

template<typename CurveType , typename CircuitType >

std::size_t nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::G2_size ( ) const

inline

◆ G2_sparse_size()

template<typename CurveType , typename CircuitType >

std::size_t nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::G2_sparse_size ( ) const

inline

◆ operator=()

template<typename CurveType , typename CircuitType >

bacs_ppzksnark_proving_key& nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::operator= ( const bacs_ppzksnark_proving_key< CurveType, CircuitType > & other )

default

◆ operator==()

template<typename CurveType , typename CircuitType >

bool nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::operator== ( const bacs_ppzksnark_proving_key< CurveType, CircuitType > & other ) const

inline

◆ size_in_bits()

template<typename CurveType , typename CircuitType >

std::size_t nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::size_in_bits ( ) const

inline

Member Data Documentation

◆ circuit

template<typename CurveType , typename CircuitType >

circuit_type nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::circuit

◆ r1cs_pk

template<typename CurveType , typename CircuitType >

r1cs_proving_key_type nil::crypto3::zk::snark::bacs_ppzksnark_proving_key< CurveType, CircuitType >::r1cs_pk

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

systems/ppzksnark/bacs_ppzksnark/proving_key.hpp