r1cs_ppzksnark.hpp
Go to the documentation of this file.
Definition: snark/proof.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:102
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:43
Definition: systems/ppzksnark/r1cs_ppzksnark/proving_key.hpp:47
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:42
static keypair_type generate(const constraint_system_type &constraint_system)
Definition: r1cs_ppzksnark.hpp:89
policy_type::proving_key_type proving_key_type
Definition: r1cs_ppzksnark.hpp:82
policy_type::proof_type proof_type
Definition: r1cs_ppzksnark.hpp:87
policy_type::primary_input_type primary_input_type
Definition: r1cs_ppzksnark.hpp:79
policy_type::constraint_system_type constraint_system_type
Definition: r1cs_ppzksnark.hpp:78
policy_type::auxiliary_input_type auxiliary_input_type
Definition: r1cs_ppzksnark.hpp:80
policy_type::processed_verification_key_type processed_verification_key_type
Definition: r1cs_ppzksnark.hpp:84
policy_type::keypair_type keypair_type
Definition: r1cs_ppzksnark.hpp:86
policy_type::verification_key_type verification_key_type
Definition: r1cs_ppzksnark.hpp:83
Generator generator_type
Definition: r1cs_ppzksnark.hpp:74
static bool verify(const typename Verifier::processed_verification_key_type &pvk, const primary_input_type &primary_input, const proof_type &proof)
Definition: r1cs_ppzksnark.hpp:106
static proof_type prove(const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
Definition: r1cs_ppzksnark.hpp:93
static bool verify(const typename Verifier::verification_key_type &vk, const primary_input_type &primary_input, const proof_type &proof)
Definition: r1cs_ppzksnark.hpp:100
Prover prover_type
Definition: r1cs_ppzksnark.hpp:75
Verifier verifier_type
Definition: r1cs_ppzksnark.hpp:76
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:78
r1cs_primary_input< typename CurveType::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:89
r1cs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:123
r1cs_auxiliary_input< typename CurveType::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/detail/basic_policy.hpp:91