PV1 ⊧ qtpi, sometimes stylised as Qtpichecks that quantum programs obey real-world restrictions and simulates quantum programs

Quantum protocol programming language & simulator

Application domain/field

• Quantum cryptographic protocols
• Concurrent quantum systems
• Quantum communication
• Process-calculus

Type of tool

• Framework?
• Programming language and simulator/interpreter

Expected input

Quantum protocol and simulation settings (e.g. length of messages, length of hash key, minimum number of checkbits, number of sigmas, number of trials)

Format:

Own .qtp format

Expected output

Statistics about the simulation: number of qubits per trial, number of qubits that were interfered with, number of trials that succeeded. It is also possible to inspect a sample execution trace.

Internals

This tool was inspired by CQP. qtpi takes a single execution path, making probabilistic choices between outcomes. The programs are statically checked to ensure that they obey real-world restrictions on the use of qubits (no cloning, no sharing).

Comments

License: GPL v2.0