top of page

创造时刻

走向发现

2_edited.png
2_edited.png
tools-car key.png
tools-wireless earpiece.png
tools-wireless mouse.png
Lock blue_edited.png
2_edited.png
2_edited.png
2_edited.png

最近的工作

73.png

“构建抗量子加密”

— 研究问题

85.png
95 (1).png
w1.png
91.png
80.png
95 (2).png
95.png

时间线

  • 1930 年代 - 哥德尔不完备性定理
    我们的研究问题始于哥德尔不完备性定理,该定理指出: “在任何合理的数学系统中,总会存在无法证明的真实陈述”
  • 1930 年代中期 - 停机问题
    停机问题是根据对任意计算机程序的描述和输入来确定程序是将结束运行还是永远继续运行的问题。艾伦图灵于 1936 年证明,解决所有可能的程序输入对的停机问题的通用算法是不存在的。 停机问题是第一个经过验证的不可判定问题示例。
  • 2020s - 研究进展
    “构建抗量子加密” 上述问题是我们近期研究的核心问题陈述。 通过研究问题的进展、较早发展的定理和不可判定性的概念,我们开发了自己的专利加密作为解决问题的建议方法。 最新消息

技术价值

Untitled_Artwork (7).png

— 2021-2022 年量子计算网络安全准备法案

“密码学对于 . . .经济运行”

bottom of page