第143章 安全論證突破！姜撞奶反擊！
早飯時林遠滿腦子都是那個卡住的地方。
困難度等價性——這條路子是對的，但"怎麼證明特殊結構沒引入弱點"這道坎兒，怎麼繞都繞不過去。他在水木荷園食堂打了碗豆漿，邊喝邊想，筷子都快忘了拿。
"宿主，你一直在想'怎麼證明沒有'，但這條路可能從根兒上就走歪了。"
小艾的聲音在腦海響起，語氣裡帶著一絲若有所思。
"怎麼說？"林遠在心裡問。
"換個思路。你之前說，NIST那套體系的問題是——參數是機構選的，外人沒法驗證。那如果反過來呢？不是去證明'我選的參數沒有鬼'，而是讓任何人都能自己驗證。"
林遠愣了一下。豆漿的熱氣撲在臉上，他盯著碗裡的白沫，突然明白了什麼。
"你是說——可審計性？"
"對。安全性的核心不是沒人知道有後門，而是任何人都可以驗證沒有後門。"
小艾繼續說："想像一下，NIST的曲線為什麼沒人質疑？不是因為它們真的絕對安全，而是因為種子是256位隨機數，窮舉驗證根本不可能——除非你有量子計算機。但你的素數選擇空間很小，任何一台普通計算機都能在幾秒鐘內窮舉驗證一遍。"
"這就是透明和黑箱的根本區別。"林遠放下筷子，眼裡有了光。
"沒錯。你不需要證明'沒人埋雷'，你只需要讓'埋雷'這件事變得不可能——把參數選的過程公開，把驗證的方法公開，任何人都能來查。"
林遠飛快地吃完早飯，一路小跑回宿舍。打開台式機，把這個思路敲進文檔里。
雙層論證框架——第一層，困難度等價性，數學層面；第二層，參數可審計性，工程層面。數學證明告訴你"破解這個問題有多難"，可審計性告訴你"沒人能作弊"。
兩個維度加在一起，安全性的論證才算完整。
他花了一上午把框架寫清楚，檢查了兩遍，果斷給李教授和周明哲各發了一封郵件。
"思路有更新，請查收。"
郵件發出去的時候，已經快十一點了。
林遠靠在椅背上，長出了一口氣。
窗外的梧桐樹葉子已經掉得差不多了，光禿禿的枝丫在冬天的風裡搖晃。他想起兩個月前剛入學的時候，那時候自己還是個剛拿完IMO金牌的愣頭青，滿腦子想的都是怎麼在大學數學裡證明自己。
現在呢？
一邊寫論文，一邊開店，還要應付中科院的課題組。每一天都排得滿滿當當的，但奇怪的是，他一點都不覺得累。
"累是累，但充實。"他在心裡說。
小艾沒接話，但林遠能感覺到她在。
中午騎自行車去奶茶店，遠遠就看見攤子前排著隊——比前幾天熱鬧多了。
"姜撞奶賣得可好了！"母親笑得合不攏嘴，"科技園那邊幾個白領，專門跑來買的！"
父親站在操作台後面，正給一杯姜撞奶封口。他的動作已經比昨晚熟練了，多：老薑洗淨切成小塊，放進手搖的磨蓉器里磨出薑汁，濾掉渣滓倒入杯底，熱牛奶從高處衝下去，靜置兩分鐘就凝成了嫩滑的布丁狀。
"這東西得現做現賣，不能提前備。"父親一邊忙一邊說，"比普通奶茶麻煩，但確實好賣。"
林遠接過父親遞來的一杯姜撞奶，湊近聞了聞——姜的辛香和牛奶的醇厚混在一起，熱乎乎的蒸汽撲在鼻子上，冬天的感覺一下子就對了。
"爸，做得不錯。"
【記住本站域名 閒時看書選 TW 看書網，𝑠ℎ𝑢.𝑡𝑤超愜意 】
"是你教得好。"父親嘴上這麼說，眼角的笑意藏都藏不住。
這個時候，一個穿著灰色羽絨服的中年男人走過來，指著操作台上的姜撞奶問："老闆，這個多少錢？"
"五塊。"
"來一杯。"
父親照著流程做了一杯，遞過去。男人喝了一口，眼睛亮了："這個好！別的地兒喝不到！"
"暖胃的，天冷喝正合適。"母親笑著接話。
男人又喝了兩口，連連點頭："值，比那些沖粉的強多了。"
林遠心裡一動。"沖粉的"——說的是誰，大家心裡都有數。
就在這時，一個穿黑色棉襖的中年男人走到攤子旁邊，沒排隊，就站在那兒看著。
林遠認出他了——隔壁"甜蜜時光"的錢老闆。
錢老闆盯著父親手裡的動作看了好一會兒，然後指了指操作台上的姜撞奶："這個……怎麼做？"
"薑汁加牛奶，現沖的。"父親淡淡地回了一句。
錢老闆皺了皺眉，又問："薑汁怎麼出？"
"新鮮老薑磨的。"
錢老闆沒再說話，轉身走了。他走到自己店門口，站了一會兒，又回頭看了一眼遠航的攤子，臉色不太好看。
母親壓低聲音："那人又來了，這都第三回了。"
"讓他看。"父親擦了擦手，"他又做不出來。"
林遠笑了笑。
姜撞奶這東西，看著簡單，門檻卻在這兒擺著——需要真材實料，需要手藝，不是拿植脂末和香精兌水能糊弄過去的。錢老闆那套沖粉的路子，根本做不出這個味道。
他站在一旁觀察了一會兒，發現姜撞奶的客戶群體很有意思——大多是三十到四十歲的中年人，專門衝著"暖胃""養生"來的。年輕人還是喜歡珍珠奶茶和原味，但姜撞奶填補了一個空白。
"這東西有季節性，"林遠在心裡盤算，"夏天肯定不好賣，但冬天是正當時。"
下午三點多，又來了幾個回頭客，都是中午喝過姜撞奶的。
"一號窗口那個奶茶太稀了，跟兌了水似的。"一個戴眼鏡的年輕人抱怨道，"還是你這兒的實在。"
母親笑著應了："我們用的都是好奶粉。"
"難怪。"年輕人點點頭，買了杯珍珠奶茶走了。
傍晚收攤的時候，父親清點杯數："五十杯。"
比昨天多了十五杯。
"姜撞奶八杯。"母親報數，"占了快兩成了。"
林遠點點頭。姜撞奶成了新的增長點，而甜蜜時光的客流正在肉眼可見地流失。
錢老闆這幾天肯定急瘋了。開業才幾天，搞了買一送一以為能一波流把人全搶走，結果發現自己那套東西根本留不住客人。現在促銷活動停了，客人自然就回來了。
加上姜撞奶這張牌，遠航的優勢又回來了。
晚上回到宿舍，林遠打開台式機繼續寫論文。安全論證這部分，他按照雙層框架重新組織了一遍語言，把可審計性的概念講清楚。
"參數選取過程公開可驗證——任何人都可以用普通計算機在幾秒內窮舉驗證參數是否正確。"
寫完這一段，他上傳了第十一章。
收藏數跳到了十九。
蘇明遠從隔壁床探過頭來："你那個論文寫到哪兒了？"
"還差兩章。"
"快了吧？"
"差不多。"
窗外的夜色已經深了，宿舍樓里安靜下來。蘇明遠又問："你那個奶茶店，生意怎麼樣了？"
"好多了。加了新品，賣得不錯。"
"那還行。"蘇明遠點點頭，"你小子真能折騰，又是論文又是開店的。"
林遠笑了笑："習慣了。"
他關掉屏幕，上床睡覺。
兩線都在回暖——論文有了新維度，奶茶有了殺手鐧。
躺在床上，林遠盯著上鋪的床板發呆。
可審計性這條路，真的走得通嗎？
小艾說得很清楚：不需要證明"沒人埋雷"，只需要讓"埋雷"變得不可能。這個邏輯沒問題，但學術界會接受嗎？
NIST那套體系用了這麼多年，大家早就習慣了"相信機構"這套玩法。突然冒出來，十七歲的大一新生，說"我選的參數你們可以自己驗證"——多少人會當回事？
但林遠又想了想，覺得也不必太悲觀。
做研究本來就是這樣的。新路子一開始總是不被看好，等做出來、發表出去、有人復現了，質疑聲自然就小了。
而且他有底氣——基準測試的數據在那兒擺著，安全性的數學證明也一步一步在推進。
怕什麼？做就是了。
他翻了個身，把被子往上拽了拽。
明天還要去奶茶店，還要繼續寫論文。一步一步來。
困難度等價性——這條路子是對的，但"怎麼證明特殊結構沒引入弱點"這道坎兒，怎麼繞都繞不過去。他在水木荷園食堂打了碗豆漿，邊喝邊想，筷子都快忘了拿。
"宿主，你一直在想'怎麼證明沒有'，但這條路可能從根兒上就走歪了。"
小艾的聲音在腦海響起，語氣裡帶著一絲若有所思。
"怎麼說？"林遠在心裡問。
"換個思路。你之前說，NIST那套體系的問題是——參數是機構選的，外人沒法驗證。那如果反過來呢？不是去證明'我選的參數沒有鬼'，而是讓任何人都能自己驗證。"
林遠愣了一下。豆漿的熱氣撲在臉上，他盯著碗裡的白沫，突然明白了什麼。
"你是說——可審計性？"
"對。安全性的核心不是沒人知道有後門，而是任何人都可以驗證沒有後門。"
小艾繼續說："想像一下，NIST的曲線為什麼沒人質疑？不是因為它們真的絕對安全，而是因為種子是256位隨機數，窮舉驗證根本不可能——除非你有量子計算機。但你的素數選擇空間很小，任何一台普通計算機都能在幾秒鐘內窮舉驗證一遍。"
"這就是透明和黑箱的根本區別。"林遠放下筷子，眼裡有了光。
"沒錯。你不需要證明'沒人埋雷'，你只需要讓'埋雷'這件事變得不可能——把參數選的過程公開，把驗證的方法公開，任何人都能來查。"
林遠飛快地吃完早飯，一路小跑回宿舍。打開台式機，把這個思路敲進文檔里。
雙層論證框架——第一層，困難度等價性，數學層面；第二層，參數可審計性，工程層面。數學證明告訴你"破解這個問題有多難"，可審計性告訴你"沒人能作弊"。
兩個維度加在一起，安全性的論證才算完整。
他花了一上午把框架寫清楚，檢查了兩遍，果斷給李教授和周明哲各發了一封郵件。
"思路有更新，請查收。"
郵件發出去的時候，已經快十一點了。
林遠靠在椅背上，長出了一口氣。
窗外的梧桐樹葉子已經掉得差不多了，光禿禿的枝丫在冬天的風裡搖晃。他想起兩個月前剛入學的時候，那時候自己還是個剛拿完IMO金牌的愣頭青，滿腦子想的都是怎麼在大學數學裡證明自己。
現在呢？
一邊寫論文，一邊開店，還要應付中科院的課題組。每一天都排得滿滿當當的，但奇怪的是，他一點都不覺得累。
"累是累，但充實。"他在心裡說。
小艾沒接話，但林遠能感覺到她在。
中午騎自行車去奶茶店，遠遠就看見攤子前排著隊——比前幾天熱鬧多了。
"姜撞奶賣得可好了！"母親笑得合不攏嘴，"科技園那邊幾個白領，專門跑來買的！"
父親站在操作台後面，正給一杯姜撞奶封口。他的動作已經比昨晚熟練了，多：老薑洗淨切成小塊，放進手搖的磨蓉器里磨出薑汁，濾掉渣滓倒入杯底，熱牛奶從高處衝下去，靜置兩分鐘就凝成了嫩滑的布丁狀。
"這東西得現做現賣，不能提前備。"父親一邊忙一邊說，"比普通奶茶麻煩，但確實好賣。"
林遠接過父親遞來的一杯姜撞奶，湊近聞了聞——姜的辛香和牛奶的醇厚混在一起，熱乎乎的蒸汽撲在鼻子上，冬天的感覺一下子就對了。
"爸，做得不錯。"
【記住本站域名 閒時看書選 TW 看書網，𝑠ℎ𝑢.𝑡𝑤超愜意 】
"是你教得好。"父親嘴上這麼說，眼角的笑意藏都藏不住。
這個時候，一個穿著灰色羽絨服的中年男人走過來，指著操作台上的姜撞奶問："老闆，這個多少錢？"
"五塊。"
"來一杯。"
父親照著流程做了一杯，遞過去。男人喝了一口，眼睛亮了："這個好！別的地兒喝不到！"
"暖胃的，天冷喝正合適。"母親笑著接話。
男人又喝了兩口，連連點頭："值，比那些沖粉的強多了。"
林遠心裡一動。"沖粉的"——說的是誰，大家心裡都有數。
就在這時，一個穿黑色棉襖的中年男人走到攤子旁邊，沒排隊，就站在那兒看著。
林遠認出他了——隔壁"甜蜜時光"的錢老闆。
錢老闆盯著父親手裡的動作看了好一會兒，然後指了指操作台上的姜撞奶："這個……怎麼做？"
"薑汁加牛奶，現沖的。"父親淡淡地回了一句。
錢老闆皺了皺眉，又問："薑汁怎麼出？"
"新鮮老薑磨的。"
錢老闆沒再說話，轉身走了。他走到自己店門口，站了一會兒，又回頭看了一眼遠航的攤子，臉色不太好看。
母親壓低聲音："那人又來了，這都第三回了。"
"讓他看。"父親擦了擦手，"他又做不出來。"
林遠笑了笑。
姜撞奶這東西，看著簡單，門檻卻在這兒擺著——需要真材實料，需要手藝，不是拿植脂末和香精兌水能糊弄過去的。錢老闆那套沖粉的路子，根本做不出這個味道。
他站在一旁觀察了一會兒，發現姜撞奶的客戶群體很有意思——大多是三十到四十歲的中年人，專門衝著"暖胃""養生"來的。年輕人還是喜歡珍珠奶茶和原味，但姜撞奶填補了一個空白。
"這東西有季節性，"林遠在心裡盤算，"夏天肯定不好賣，但冬天是正當時。"
下午三點多，又來了幾個回頭客，都是中午喝過姜撞奶的。
"一號窗口那個奶茶太稀了，跟兌了水似的。"一個戴眼鏡的年輕人抱怨道，"還是你這兒的實在。"
母親笑著應了："我們用的都是好奶粉。"
"難怪。"年輕人點點頭，買了杯珍珠奶茶走了。
傍晚收攤的時候，父親清點杯數："五十杯。"
比昨天多了十五杯。
"姜撞奶八杯。"母親報數，"占了快兩成了。"
林遠點點頭。姜撞奶成了新的增長點，而甜蜜時光的客流正在肉眼可見地流失。
錢老闆這幾天肯定急瘋了。開業才幾天，搞了買一送一以為能一波流把人全搶走，結果發現自己那套東西根本留不住客人。現在促銷活動停了，客人自然就回來了。
加上姜撞奶這張牌，遠航的優勢又回來了。
晚上回到宿舍，林遠打開台式機繼續寫論文。安全論證這部分，他按照雙層框架重新組織了一遍語言，把可審計性的概念講清楚。
"參數選取過程公開可驗證——任何人都可以用普通計算機在幾秒內窮舉驗證參數是否正確。"
寫完這一段，他上傳了第十一章。
收藏數跳到了十九。
蘇明遠從隔壁床探過頭來："你那個論文寫到哪兒了？"
"還差兩章。"
"快了吧？"
"差不多。"
窗外的夜色已經深了，宿舍樓里安靜下來。蘇明遠又問："你那個奶茶店，生意怎麼樣了？"
"好多了。加了新品，賣得不錯。"
"那還行。"蘇明遠點點頭，"你小子真能折騰，又是論文又是開店的。"
林遠笑了笑："習慣了。"
他關掉屏幕，上床睡覺。
兩線都在回暖——論文有了新維度，奶茶有了殺手鐧。
躺在床上，林遠盯著上鋪的床板發呆。
可審計性這條路，真的走得通嗎？
小艾說得很清楚：不需要證明"沒人埋雷"，只需要讓"埋雷"變得不可能。這個邏輯沒問題，但學術界會接受嗎？
NIST那套體系用了這麼多年，大家早就習慣了"相信機構"這套玩法。突然冒出來，十七歲的大一新生，說"我選的參數你們可以自己驗證"——多少人會當回事？
但林遠又想了想，覺得也不必太悲觀。
做研究本來就是這樣的。新路子一開始總是不被看好，等做出來、發表出去、有人復現了，質疑聲自然就小了。
而且他有底氣——基準測試的數據在那兒擺著，安全性的數學證明也一步一步在推進。
怕什麼？做就是了。
他翻了個身，把被子往上拽了拽。
明天還要去奶茶店，還要繼續寫論文。一步一步來。