第245章 本原密码安全公理体系(2/2)
还请您来写吧！”
整个文稿近百页，无一行代码，无一个工程参数，无一处实际操作，全是纯数学的公理定义、引理证明、复杂度规约、代数结构扮演，是国密下一代体系的绝对数学根基。
陈敬山与林砚觉得这个文稿的封面必须得让叶清河来写。
整个工作全是叶清河一个人完成的，他们也只是在最初提供了一些资料，然后就是帮着代笔手写了，根本没有资格在封面上留字。
叶清河没有拒绝，提笔在封面上认真地写下：抗NP坍缩本原密码安全公理体系（形式化证明版）叶清河。
看着最终完稿的文稿，陈敬山内心满是激动。
后续虽然还需要让国家顶级数学团队核验这份证明的严谨性，但经过他与林砚两人这两天的研究，这一点其实已经无需证明。
剩下的就是密码工程团队照着数学框架落地算法。
可以说这份公理，将使华夏国密彻底领先全球，摆脱所有底层数学卡脖子的风险。
“叶先生，这份成果，足以让你拿下菲尔兹奖，拿下国家最高荣誉，我们会为你申请一切....”
叶清河淡淡摇头：“数学从无勋章可证，公理自在纸笔之间，我来做这个不是为了荣誉！”
整个文稿近百页，无一行代码，无一个工程参数，无一处实际操作，全是纯数学的公理定义、引理证明、复杂度规约、代数结构扮演，是国密下一代体系的绝对数学根基。
陈敬山与林砚觉得这个文稿的封面必须得让叶清河来写。
整个工作全是叶清河一个人完成的，他们也只是在最初提供了一些资料，然后就是帮着代笔手写了，根本没有资格在封面上留字。
叶清河没有拒绝，提笔在封面上认真地写下：抗NP坍缩本原密码安全公理体系（形式化证明版）叶清河。
看着最终完稿的文稿，陈敬山内心满是激动。
后续虽然还需要让国家顶级数学团队核验这份证明的严谨性，但经过他与林砚两人这两天的研究，这一点其实已经无需证明。
剩下的就是密码工程团队照着数学框架落地算法。
可以说这份公理，将使华夏国密彻底领先全球，摆脱所有底层数学卡脖子的风险。
“叶先生，这份成果，足以让你拿下菲尔兹奖，拿下国家最高荣誉，我们会为你申请一切....”
叶清河淡淡摇头：“数学从无勋章可证，公理自在纸笔之间，我来做这个不是为了荣誉！”