敬山连忙道。
拿着东西,跟昨天一样,两人直接回自己房间研究。
“太可怕了!叶先生的天赋真的太可怕了!这样的推导一天时间就完成了,这真的刷新了我的认知!”
回到房间后,帮着写下手稿的林砚忍不住连连赞叹道。
他是数学家,在数学领域也是全国乃至全球数得着的领军人物,不然也不可能成为华科数学院的院长。
可是在叶清河面前,他觉得自己就像是个小学生一样。
不管是思维,知识面,还是说其他,都完全没有可比性。
在他看来,叶清河的这个证明只能用完美来形容。
“是啊,我想叶先生看咱们,可能跟咱们看手下最笨的学生是一个样的。”
陈敬山也在一旁叹口气。
差距太大了!
叶清河昨天说的东西,他们可能还能当场听懂,只是有一些不太明白,而今天说的,他们顶多能听懂一半,剩下的一半,需要好好研究一下,才有可能明白。
“可能还不如!”
林砚苦笑着摇头。
昨天一晚上加上今天一天的工作量,可以说已经完成了一多半的工作,本原密码的整体问题基本已经定型,就算是现在叶清河不接下来做,剩下的工作他们也可以接着往下做了。
只是时间上可能不会像叶清河这么快而已。
第三天,叶清河的工作实际上是完善整个公理体系的可证明安全规约框架,让后续密码工程团队有明确的数学校验标准。
为此他建立了一整套形式化安全证明范式,基于一阶逻辑与模型论,给出密码算法安全性的纯数学校验规则。
任何依托该公理体系的密码设计,只需要通过三步数理校验,即可判定其绝对安全。
这三步分别是代数结构合规性、困难问题关联性、解空间拓扑唯一性。。
在解决了这些问题后,叶清河又补充推导了密钥分发、签名验证、加密解密三大核心环节的数学映射关系。
用抽象代数的同构变换定义出各环节的数理边界,明确标准,哪些代数运算、哪些数域结构是绝对安全的,哪些存在理论风险。
全程不涉及任何具体的算法实现、代码逻辑、硬件适配,只做数学层面的定标与规约。
一直到晚上九点,陈敬山放下手中的笔,把手稿交给旁边做整理的林砚,林砚将其仔细整理好。
“叶先生,这个封面
本章未完,请点击下一页继续阅读!