ZXLab Tutorial
Learn how to use ZXLab for quantum circuit optimization with ZX-calculus
Powered byAI Youth Alliance
Tutorial Steps
Welcome to ZXLab
ZXLab is an interactive quantum circuit simplifier that uses ZX-calculus to optimize quantum circuits. This tutorial will guide you through all the features step by step.
ZX-calculus is a graphical language for reasoning about quantum computations. It represents quantum circuits as graphs where nodes are quantum operations and edges are quantum wires.
What you'll learn
Input quantum circuits in QASM format
Visualize circuits as ZX graphs
Apply ZX-calculus rewrite rules
Optimize circuits automatically
Export optimized circuits
Interface Overview
Left Panel: Circuit input and controls
Center Panel: Circuit and ZX graph visualization
Right Panel: Rewrite rules and metrics
Bottom Panel: Circuit metrics and comparison