Protocol Library

Functionality	Protocols
Anonymous Transmission	GHZ-based Quantum Anonymous Transmission
	Verifiable Quantum Anonymous Transmission
Authentication of Quantum Messages	Clifford based Quantum Authentication
	Polynomial Code based Quantum Authentication
Byzantine Agreement	Fast Quantum Byzantine Agreement
Bit Commitment	Quantum Bit Commitment
Coin Flipping	Quantum Coin Flipping
(Quantum) Digital Signature	Gottesman and Chuang Quantum Digital Signature
	Prepare and Measure Quantum Digital Signature
	Measurement Device Independent Quantum Digital Signature (MDI-QDS)
	Arbitrated Quantum Digital Signature
	Blind Delegation of Quantum Digital Signature
	Designated Verifiable Quantum Signature
	Limited Delegation of Quantum Digital Signature
	Quantum Proxy Signature
Entanglement Verification	Multipartite Entanglement Verification
Fingerprinting	Quantum Fingerprinting
Quantum Identity Authentication	-
(Quantum) Key Distribution	BB84 Quantum Key Distribution
	Measurement Device Independent Quantum Key Distribution (MDI-QKD)
	Device-Independent Quantum Key Distribution
	Continuous-Variable Quantum Key Distribution (CV-QKD)
Leader Election	Quantum Leader Election
(Quantum) Money	Quantum Cheque
	Quantum Coin
	Quantum Token
	Wiesner Quantum Money
Oblivious Transfer	Quantum Oblivious Transfer
Secret Sharing	Quantum Secret Sharing using GHZ States
	Verifiable Quantum Secret Sharing
Secure Client- Server Delegated Quantum Computation	Classical Fully Homomorphic Encryption for Quantum Circuits
	Measurement-Only Universal Blind Quantum Computation
	Prepare-and-Send Quantum Fully Homomorphic Encryption
	Prepare-and-Send Universal Blind Quantum Computation
	Pseudo-Secret Random Qubit Generator (PSQRG)
Secure Verifiable Client-Server Delegated Quantum Computation	Prepare-and-Send Verifiable Universal Blind Quantum Computation
	Measurement-Only Verifiable Universal Blind Quantum Computation
	Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption
Secure Delegated Classical Computation	Secure Client-Server Classical Delegated Computation
	Secure Multiparty Delegated Classical Computation
Secure Multi-Party Delegated Computation	Secure Multiparty Delegated Quantum Computation
	Secure Multiparty Delegated Classical Computation
(Quantum) Teleportation	State Teleporation
	Gate Teleporation
Verification of Universal Quantum Computation	Quantum Prover Interactive Proofs
Verification of Sub-Universal Quantum Computation	-
Verification of NP-complete problems	-
Classical Verification of Universal Quantum Computation	-
-	Weak String Erasure

Nodal Subroutine	Types
Quantum Cloning
Superposition
Quantum Random Number Generator	Certified finite randomness expansion
	Certified infinite randomness expansion
	Randomness amplification (8 devices)