zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp
Go to the documentation of this file.
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:45
policy_type::proof_type proof_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:58
policy_type::auxiliary_input_type auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:51
policy_type::keypair_type keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:57
static processed_verification_key_type process(const verification_key_type &verification_key)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:61
policy_type::processed_verification_key_type processed_verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:55
policy_type::proving_key_type proving_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:53
policy_type::primary_input_type primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:50
policy_type::verification_key_type verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:54
policy_type::circuit_type circuit_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:49
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:130
policy_type::primary_input_type primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:137
policy_type::processed_verification_key_type processed_verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:142
policy_type::keypair_type keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:144
static bool process(const processed_verification_key_type &processed_verification_key, const primary_input_type &primary_input, const proof_type &proof)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:166
policy_type::auxiliary_input_type auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:138
policy_type::proving_key_type proving_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:140
policy_type::proof_type proof_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:145
policy_type::circuit_type circuit_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:136
static bool process(const verification_key_type &verification_key, const primary_input_type &primary_input, const proof_type &proof)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:152
policy_type::verification_key_type verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:141
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:81
policy_type::proof_type proof_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:100
policy_type::processed_verification_key_type processed_verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:97
policy_type::auxiliary_input_type auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:93
policy_type::keypair_type keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:99
static bool process(const verification_key_type &verification_key, const primary_input_type &primary_input, const proof_type &proof)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:107
policy_type::circuit_type circuit_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:91
static bool process(const processed_verification_key_type &processed_verification_key, const primary_input_type &primary_input, const proof_type &proof)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:121
policy_type::proving_key_type proving_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:95
policy_type::primary_input_type primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:92
policy_type::verification_key_type verification_key_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/verifier.hpp:96
Definition: snark/proof.hpp:37
Definition: r1cs_ppzksnark/generator.hpp:46
static processed_verification_key_type process(const verification_key_type &verification_key)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verifier.hpp:53
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: r1cs_ppzksnark/prover.hpp:56
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:42
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verifier.hpp:80
Definition: pair.hpp:31
Definition: bacs.hpp:110
Definition: systems/ppzksnark/bacs_ppzksnark/proving_key.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:63
bacs_primary_input< typename curve_type::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:74
bacs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:109
bacs_auxiliary_input< typename curve_type::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:76
Definition: zk/include/nil/crypto3/zk/snark/verification_key.hpp:35