| auxiliary_input_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| constraint_system_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| generate(const constraint_system_type &constraint_system) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
| generate(std::size_t num_proofs) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
| keypair_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| primary_input_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| proof_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| prove(const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
| prove(const proving_srs_type &srs, InputTranscriptIncludeIterator transcript_include_first, InputTranscriptIncludeIterator transcript_include_last, InputProofIterator proofs_first, InputProofIterator proofs_last) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
| proving_key_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| proving_srs_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| srs_pair_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| srs_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| verification_key_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| verification_srs_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
| verify(const VerificationKey &vk, const primary_input_type &primary_input, const basic_proof_type &proof) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
| verify(const verification_srs_type &ip_verifier_srs, const verification_key_type &pvk, const InputPrimaryInputRange &public_inputs, const proof_type &proof, InputIterator transcript_include_first, InputIterator transcript_include_last) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |