auxiliary_input_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
constraint_system_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_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::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
keypair_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
primary_input_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
proof_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
prove(const proving_key_type &pk, const PublicKey &pubkey, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input, const typename CurveType::scalar_field_type::value_type &r) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |
proving_key_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
verification_key_type typedef | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | |
verify(CipherTextIterator first, CipherTextIterator last, const verification_key_type &vk, const PublicKey &pubkey, const primary_input_type &unencrypted_primary_input, const proof_type &proof) | nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type > | inlinestatic |