不管是思維，知識面，還是說其他，都完全沒有可比性。
在他看來，葉清河的這個證明只能用完美來形容。
“是啊，我想葉先生看咱們，可能跟咱們看手下最笨的學生是一個樣的。”
陳敬山也在一旁嘆口氣。
差距太大了！
葉清河昨天說的東西，他們可能還能當場聽懂，只是有一些不太明白，而今天說的，他們頂多能聽懂一半，剩下的一半，需要好好研究一下，才有可能明白。
“可能還不如！”
林硯苦笑著搖頭。
昨天一晚上加上今天一天的工作量，可以說己經完成了一多半的工作，本原密碼的整體問題基本己經定型，就算是現在葉清河不接下來做，剩下的工作他們也可以接著往下做了。
只是時間上可能不會像葉清河這麼快而己。
第三天，葉清河的工作實際上是完善整個公理體系的可證明安全規約框架，讓後續密碼工程團隊有明確的數學校驗標準。
為此他建立了一整套形式化安全證明範式，基於一階邏輯與模型論，給出密碼演算法安全性的純數學校驗規則。
任何依託該公理體系的密碼設計，只需要透過三步數理校驗，即可判定其絕對安全。
這三步分別是代數結構合規性、困難問題關聯性、解空間拓撲唯一性。。
在解決了這些問題後，葉清河又補充推導了金鑰分發、簽名驗證、加密解密三大核心環節的數學對映關係。
用抽象代數的同構變換定義出各環節的數理邊界，明確標準，哪些代數運算、哪些數域結構是絕對安全的，哪些存在理論風險。
全程不涉及任何具體的演算法實現、程式碼邏輯、硬體適配，只做數學層面的定標與規約。
一首到晚上九點，陳敬山放下手中的筆，把手稿交給旁邊做整理的林硯，林硯將其仔細整理好。
“葉先生，這個封面還請您來寫吧！”
整個文稿近百頁，無一行程式碼，無一個工程引數，無一處實際操作，全是純數學的公理定義、引理證明、複雜度規約、代數結構扮演，是國密下一代體系的絕對數學根基。
陳敬山與林硯覺得這個文稿的封面必須得讓葉清河來寫。
整個工作全是葉清河一個人完成的，他們也只是在最初提供了一些資料，然後就是幫著代筆手寫了，根本沒有資格在封面上留字。
葉清河沒有拒絕，提筆在封面上認真地寫下：抗NP坍縮本原密碼安全公理體系（形式化證明版）葉清河。
看著最終完稿的文稿，陳敬山內心滿是激動。
後續雖然還需要讓國家頂級數學團隊核驗這份證明的嚴謹性，但經過他與林硯兩人這兩天的研究，這一點其實己經無需證明。
剩下的就是密碼工程團隊照著數學框架落地演算法。
可以說這份公理，將使華夏國密徹底領先全球，擺脫所有底層數學卡脖子的風險。
“葉先生，這份成果，足以讓你拿下菲爾茲獎，拿下國家最高榮譽，我們會為你申請一切....”
”！譽榮了為是不個這做來我，間之筆紙在自理公，證可章勳無從學數“：頭搖淡淡河清葉
