nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key Class Reference
#include <basic_policy.hpp>
Collaboration diagram for nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key:
Public Member Functions | |
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 |
proving_key & | operator= (const proving_key &other)=default |
bool | operator== (const proving_key< CurveType > &other) const |
proving_key () | |
proving_key (const proving_key &other)=default | |
proving_key (knowledge_commitment_vector< g1_type, g1_type > &&A_query, knowledge_commitment_vector< g2_type, g1_type > &&B_query, knowledge_commitment_vector< g1_type, g1_type > &&C_query, typename std::vector< g1_value_type > &&H_query, typename std::vector< g1_value_type > &&K_query, g1_value_type &&rA_i_Z_g1, constraint_system< CurveType > &&constraint_system) | |
proving_key (proving_key &&other)=default | |
std::size_t | size_in_bits () const |
Public Attributes | |
knowledge_commitment_vector< g1_type, g1_type > | A_query |
knowledge_commitment_vector< g2_type, g1_type > | B_query |
knowledge_commitment_vector< g1_type, g1_type > | C_query |
constraint_system< CurveType > | constraint_system |
std::vector< g1_value_type > | H_query |
std::vector< g1_value_type > | K_query |
g1_value_type | rA_i_Z_g1 |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key
A proving key for the R1CS ppzkADSNARK.
Constructor & Destructor Documentation
◆ proving_key() [1/4]
template<typename CurveType >
|
inline |
◆ proving_key() [2/4]
template<typename CurveType >
|
default |
◆ proving_key() [3/4]
template<typename CurveType >
|
default |
◆ proving_key() [4/4]
template<typename CurveType >
|
inline |
Member Function Documentation
◆ G1_size()
template<typename CurveType >
|
inline |
◆ G1_sparse_size()
template<typename CurveType >
|
inline |
◆ G2_size()
template<typename CurveType >
|
inline |
◆ G2_sparse_size()
template<typename CurveType >
|
inline |
◆ operator=()
template<typename CurveType >
|
default |
◆ operator==()
template<typename CurveType >
|
inline |
◆ size_in_bits()
template<typename CurveType >
|
inline |
Member Data Documentation
◆ A_query
template<typename CurveType >
knowledge_commitment_vector<g1_type, g1_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::A_query |
◆ B_query
template<typename CurveType >
knowledge_commitment_vector<g2_type, g1_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::B_query |
◆ C_query
template<typename CurveType >
knowledge_commitment_vector<g1_type, g1_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::C_query |
◆ constraint_system
template<typename CurveType >
constraint_system<CurveType> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::constraint_system |
◆ H_query
template<typename CurveType >
std::vector<g1_value_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::H_query |
◆ K_query
template<typename CurveType >
std::vector<g1_value_type> nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::K_query |
◆ rA_i_Z_g1
template<typename CurveType >
g1_value_type nil::crypto3::zk::snark::detail::r1cs_ppzkadsnark_basic_policy< CurveType >::proving_key::rA_i_Z_g1 |
The documentation for this class was generated from the following file: