#include <basic_policy.hpp>
Static Public Attributes | |
static constexpr ProvingMode | mode = ProvingMode::Basic |
Member Typedef Documentation
◆ auxiliary_input_type
typedef r1cs_auxiliary_input<typename curve_type::scalar_field_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::auxiliary_input_type |
◆ constraint_system_type
typedef r1cs_constraint_system<typename curve_type::scalar_field_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::constraint_system_type |
Below are various template aliases (used for convenience).
◆ curve_type
typedef CurveType nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::curve_type |
◆ extended_keypair_type
A key pair for the R1CS GG-ppzkSNARK, which consists of a proving key and an extended verification key.
◆ extended_verification_key_type
typedef r1cs_gg_ppzksnark_extended_verification_key<curve_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::extended_verification_key_type |
An extended verification key for the R1CS GG-ppzkSNARK.
Compared to a (non-extended) verification key, an extended verification key contains additional field.
◆ keypair_type
typedef r1cs_gg_ppzksnark_keypair<proving_key_type, verification_key_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::keypair_type |
A key pair for the R1CS GG-ppzkSNARK, which consists of a proving key and a verification key.
◆ primary_input_type
typedef r1cs_primary_input<typename curve_type::scalar_field_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::primary_input_type |
◆ processed_keypair_type
A key pair for the R1CS GG-ppzkSNARK, which consists of a proving key and a processed verification key.
◆ processed_verification_key_type
typedef r1cs_gg_ppzksnark_processed_verification_key<curve_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::processed_verification_key_type |
A processed verification key for the R1CS GG-ppzkSNARK.
Compared to a (non-processed) verification key, a processed verification key contains a small constant amount of additional pre-computed information that enables a faster verification time.
◆ proof_type
typedef r1cs_gg_ppzksnark_proof<CurveType> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::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
typedef r1cs_gg_ppzksnark_proving_key<curve_type, constraint_system_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::proving_key_type |
A proving key for the R1CS GG-ppzkSNARK.
◆ verification_key_type
typedef r1cs_gg_ppzksnark_verification_key<curve_type> nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Basic >::verification_key_type |
A verification key for the R1CS GG-ppzkSNARK.
Member Data Documentation
◆ mode
|
staticconstexpr |
The documentation for this struct was generated from the following file: