量化宽松

量子等价性检验工具是量子等价性检验工具。虽然经典的量子系统模拟和分析在一般情况下是不可行的,但是我们已经能够自动验证一些重要的量子协议的正确性,从量子通信、量子容错计算到量子密码学。这里我们介绍一些我们已经能够通过等价性检验器验证的协议的细节。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换