auxiliary_input_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
circuit_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
generate(const circuit_type &circuit) | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |
keypair_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
primary_input_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
processed_verification_key_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
proof_type typedef | nil::crypto3::zk::snark::tbcs_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::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |
proving_key_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
verification_key_type typedef | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | |
verify(const VerificationKey &vk, const primary_input_type &primary_input, const proof_type &proof) | nil::crypto3::zk::snark::tbcs_ppzksnark< CurveType, Generator, Prover, Verifier > | inlinestatic |