Protocol Library

Functionality	Protocols
Byzantine Agreement	Fast Quantum Byzantine Agreement
Anonymous Transmission	GHZ-based Quantum Anonymous Transmission
	Verifiable Quantum Anonymous Transmission
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
Fingerprinting	Quantum Fingerprinting
(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
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 Mulit-Party Delegated Computation	Secure Multiparty Delegated Quantum Computation
	Secure Multiparty Delegated Classical Computation
(Quantum) Teleportation	State Teleporation
	Gate Teleporation
Verification of Quantum Computers	Verification of NP-complete problems
	Classical Verification of Quantum Computation
-	Weak String Erasure

Nodal Subroutine
Quantum Cloning
Superposition