Quantum Teleportation

Implement the complete protocol, with Bob's corrections as coherent controlled gates (deferred measurement). The grader enforces locality: Bob can only be reached through the shared Bell pair and Alice's two classical bits.

Objective

q0 holds an unknown state, q1 is Alice's and q2 is Bob's. Return a three-qubit circuit that ends with q2 in the original state of q0. It must run in three stages: (1) gates on q1/q2 only, to share a Bell pair; (2) Alice's gates on q0/q1 only; (3) corrections in which q2 is the target of CX/CZ controlled by q0 or q1.

Constraints

• No measurements: use deferred measurement.
• No SWAP or other shortcut between q0 and q2.

Entry Point

Checks

• Exports build_teleportation_circuit().
• Follows the Bell pair -> Alice -> corrections structure.
• Bob's qubit receives four random states.