tqec/tqec

它解决了什么问题

它解决了手动编码和验证大规模容错量子计算电路的极端复杂性。由于基于表面码和晶格手术的协议实现需要大量手动操作且容易出错，许多复杂的逻辑计算先前一直无法进行模拟。

它的工作原理

tqec 作为设计自动化软件，提供了一个基于最新协议的经过验证的构建块库。用户可以通过组合这些块来构建大规模的邏輯計算。该工具可以导入 Collada 格式的电路设计（通常通过 SketchUp 等 3D 建模工具创建），对其进行编译，然后为目标代码距离和指定的噪声模型生成 stim.Circuit。

它的目标用户

从事容错量子计算的研究人员和开发人员，特别是那些专注于拓扑量子纠错和表面码编译的人。

亮点

• 自动化编译：将高层次的逻辑设计转换为详细的计算电路。
• 经过验证的构建块：包含各种协议构建块的预先验证的电路实现。
• 3D 设计整合：支持从 Collada (.dae) 文件导入设计。
• 噪声建模：允许在电路生成期间应用自定义噪声模型，例如均匀去极化噪声。