nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput > Class Template Reference

#include <basic_policy.hpp>

Collaboration diagram for nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >:

Public Types
typedef basic_policy::auxiliary_input_type	auxiliary_input_type
typedef basic_policy::constraint_system_type	constraint_system_type
typedef CurveType	curve_type
typedef basic_policy::extended_keypair_type	keypair_type
typedef basic_policy::primary_input_type	primary_input_type
typedef basic_policy::proof_type	proof_type
typedef basic_policy::proving_key_type	proving_key_type
typedef basic_policy::extended_verification_key_type	verification_key_type

Static Public Attributes
static constexpr ProvingMode	mode = ProvingMode::EncryptedInput

Member Typedef Documentation

auxiliary_input_type

template<typename CurveType >

typedef basic_policy::auxiliary_input_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::auxiliary_input_type

constraint_system_type

template<typename CurveType >

typedef basic_policy::constraint_system_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::constraint_system_type

Below are various template aliases (used for convenience).

curve_type

template<typename CurveType >

typedef CurveType nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::curve_type

keypair_type

template<typename CurveType >

typedef basic_policy::extended_keypair_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::keypair_type

A key pair for the R1CS GG-ppzkSNARK with encrypted input, which consists of proving, secret and verification keys.

primary_input_type

template<typename CurveType >

typedef basic_policy::primary_input_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::primary_input_type

proof_type

template<typename CurveType >

typedef basic_policy::proof_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::proof_type

A proof for the R1CS GG-ppzkSNARK.

While the proof has a structure, externally one merely opaquely produces, serializes/deserializes, and verifies proofs. We only expose some information about the structure for statistics purposes.

proving_key_type

template<typename CurveType >

typedef basic_policy::proving_key_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::proving_key_type

A proving key for the R1CS GG-ppzkSNARK with encrypted input.

verification_key_type

template<typename CurveType >

typedef basic_policy::extended_verification_key_type nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::verification_key_type

A verification key for the R1CS GG-ppzkSNARK with encrypted input.

Member Data Documentation

mode

template<typename CurveType >

constexpr ProvingMode nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::EncryptedInput >::mode = ProvingMode::EncryptedInput

staticconstexpr

---

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

• zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp