30-Qubit Stabilizer GHZ | Turn lessons into working experiments

Starter code

module stabilizer_ghz_30;
@target("browser-stabilizer");

fn main() {
  let q: QReg<30> = qreg[30];
  H(q[0]);

  for i in 0..29 {
    CNOT(q[i], q[i + 1]);
  }

  return q;
}

Expected output

Output reports the stabilizer tableau simulation engine

Resources show 30 qubits, 30 gates, and 29 two-qubit CNOT links

The stabilizer summary lists GHZ-style generators instead of a full state vector

Diagnostics stay clean because the circuit uses only supported Clifford operations

Debugging checklist

Run the starter code and find the stabilizer engine line in Output

Open Resources and confirm the 30-qubit gate counts

Read the stabilizer generators and identify the all-X GHZ generator

Change one CNOT link and compare the generator summary

Add a T gate and explain why the program can no longer stay on the stabilizer engine

Extension challenge

Add a second target-free copy of the circuit with fewer qubits and compare state-vector output against the stabilizer summary.