Author: Mina Doosti

Functionality Description Authentication is a two-party cryptographic functionality that enables one party (the verifier) to confirm the identity of another party (the prover), or to verify the authenticity of a message claimed to originate from a particular party. It serves as the foundational layer for secure access control, communication, and trust establishment in both classical…

Functionality Description Oblivious Transfer (OT) is a foundational two-party cryptographic functionality. It enables a sender to transfer part of their data to a receiver in such a way that: The sender does not learn which part was received. The receiver learns only the chosen part, and nothing about the rest. The most common variant is…

Functionality Description This functionality is relevant in the context of Interactive Proof Systems (IPs). Verification of Quantum Computation refers to the general cryptographic and computational two-party or multi-party functionality in which a verifier interacts with one or more quantum provers to check the correctness of a claimed quantum computation or decision, without necessarily performing the…

Functionality Description Quantum Teleportation is a two-party functionality that enables the transfer of an arbitrary unknown quantum state from one party (Alice) to another (Bob), without physically transmitting the particle carrying the state [1]. This quantum task is accomplished using two key resources: A pre-shared entangled pair between Alice and Bob. Two bits of classical…

Functionality Description This is a particular instance of the functionality [link to secure delegated computation] running between two parties, a client and a server, where the server is quantum (so the computation is run quantumly), and the client is either classical or has very limited quantum resources [1]. Here, the important aspect is that a quantum…

Functionality Description Secure Delegated Computation is a two or multi-party cryptographic functionality where a client (or multiple clients) securely delegates the computation of a function to one or more external servers or computing parties. These servers are often more powerful but untrusted. The functionality ensures privacy and correctness, and often verifiability (check [verifiable page]), while…

Functionality Description Leader Election is a multi-party cryptographic functionality that allows a group of parties to securely and fairly elect a single leader from among themselves[1,2]. It’s a core building block in distributed systems and blockchain protocols where coordination is required but trust is minimal. The functionality ensures that the elected leader is selected according…

Functionality Description Fingerprinting is a cryptographic functionality, between two parties, that allows one party to compress a (possibly large) data item into a compact summary, or fingerprint, such that it can later be used to verify the identity or equality of that item with high confidence. In cryptographic and communication-theoretic contexts, fingerprinting is often used…

Functionality Description Entanglement verification is a cryptographic functionality that allows one or more parties to verify the presence and quality of quantum entanglement between distant or untrusted devices or parties[1,2]. This functionality is crucial in quantum networks and cryptographic protocols where trust in devices or remote quantum systems cannot be assumed. This is a fundamentally…