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

时间线

  • 1930s - Gödel’s Incompleteness Theorem
    Our research problem begins with Gödel’s Incompleteness Theorem that states: “In any reasonable mathematical system there will always be true statements that cannot be proved”
  • mid 1930s - Halting Problem
    The halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist. The halting problem is the first proven example of an undecidable problem.
  • 2020s - Research Progress
    “Building Quantum Resistant Encryption” The above question is the problem statement at the core of our recent research. By researching the progress of the problem, theorems developed earlier and the concept of undecidability we have developed our own patented encryption as a proposed method to solve the problem. Latest News

技术价值

Untitled_Artwork (7).png

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

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

bottom of page