tqec/tqec

What it solves

It addresses the extreme complexity of manually encoding and verifying circuits for large-scale fault-tolerant quantum computations. Because implementing protocols based on surface codes and lattice surgery is manually intensive and error-prone, many complex logical computations have previously remained unsimulated.

How it works

tqec acts as design automation software that provides a library of verified building blocks based on state-of-the-art protocols. Users can construct large-scale logical computations by combining these blocks. The tool can import circuit designs in Collada format (often created via 3D modeling tools like SketchUp), compile them, and then generate a stim.Circuit for a target code distance with a specified noise model.

Who it’s for

Researchers and developers working in fault-tolerant quantum computing, specifically those focusing on topological quantum error correction and surface code compilation.

Highlights

• Automated Compilation: Converts high-level logical designs into detailed computational circuits.
• Verified Blocks: Includes pre-verified circuit implementations for various protocol building blocks.
• 3D Design Integration: Supports importing designs from Collada (.dae) files.
• Noise Modeling: Allows the application of custom noise models, such as uniform depolarizing noise, during circuit generation.