| auxiliary_input_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| constraint_system_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| generate(const constraint_system_type &constraint_system) | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |
| generator_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| keypair_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| primary_input_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| processed_verification_key_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| proof_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| prove(const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input) | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |
| prover_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| proving_key_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| verification_key_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| verifier_type typedef | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
| verify(const typename Verifier::verification_key_type &vk, const primary_input_type &primary_input, const proof_type &proof) | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |
| verify(const typename Verifier::processed_verification_key_type &pvk, const primary_input_type &primary_input, const proof_type &proof) | nil::crypto3::zk::snark::r1cs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |