可以稍後再談。」
他的食指點了點那一行關於圖靈機運行到第一百九十三步發生災難性停機的記錄上。
「我想先看看這台攻擊測試機。一個已經通過統一核驗器的非停機證書，為什麼會在第一百九十三步被實際運行結果推翻。」
「可以。」
江臨打開麵前的電腦。
周誌華盯著那份已經被係統正式核驗通過的錯誤證書，說：「那麼我們先來看看，導致機器在第一百九十三步停機的關鍵信息，在那個號稱最高效的壓縮與核驗過程中，為什麼沒能被作為證據保留下來？」
江臨應了一聲，敲擊鍵盤，接通投影儀的信號源。
會議室前方那塊寬大的白色幕布瞬間亮了起來。
屏幕被軟體從中一分為二。
左邊，展示的是一台由江臨構造的四狀態攻擊測試機的狀態轉移矩陣。
右邊，則是那份引發災難，已經通過核驗的非停機安全證書的十六進位代碼。
那份狀態表看起來短得可憐。
如果把它列印出來，甚至不需要改變字號，半張A4紙就能綽綽有餘地把它全部裝下。
然而，就是這樣一台看起來簡單到如同兒童玩具般的機器，一旦讓模擬器按照狀態表逐步執行，讓它在一條無限長的空白紙帶上運行起來，卻能遵循著那些簡單的規則，走出漫長且難以預測的軌跡。
這大概是整個計算機理論科學界裡，最容易令人產生錯覺的東西之一。
規則數量少，絕對不代表係統演化的事情就會簡單。
江臨移動滑鼠，將右側證書文件中的最後一項關鍵欄位，在幕布上放大到占據了半個屏幕。
【Isolated_Window：TRUE（隔離窗口驗證狀態：真）】
看本書最新章節，請到ｏｏｐ．ｔｗ
周誌華靠在椅背上，看了一眼那個巨大的TRUE。
「這個TRUE，是誰填進去的？」周誌華問。
「證書生成器。」江臨回答說，「在進行代碼壓縮和邏輯打包的時候，生成器為了減小文件體積，直接做出了這個斷言。」
「那麼，是誰負責檢查這個斷言的真偽？」
「後端的統一核驗器。」
「它是怎麼檢查的？」周誌華的聲音微微提高了一點。
「核驗器的邏輯被精簡過了，它沒有去重新跑一遍底層的物理狀態，而是直接讀取了這個欄位的布爾值。」
周誌華抬起頭看向江臨：「然後呢？」
「沒有然後了。」江臨的回答毫無波瀾。
整個會議室瞬間陷入了壓抑的安靜之中。
時間仿佛停滯了兩秒。
孫教授坐在旁邊，眉頭緊鎖，似乎在消化這個荒謬的邏輯閉環。
「也就是說核驗器僅僅是去讀取了生成器自己寫上去的我正確三個字，然後，核驗器就對整個係統宣布，嗯，我看過了，它是正確的？」周誌華打破了沉默。
「對，就是這樣。」
「嗬，這套係統內部的人際關係，處得還真是融洽啊。」周誌華笑道。
江臨沒有接話，而是直接在控製台上敲下回車，啟動了模擬程序。
幕布上的圖靈機開始高速運行。
代表讀寫頭的紅色光標在虛擬的紙帶上瘋狂閃爍。
二十六步，光標完成了一次局部循環。
五十二步，光標穩定地向右側推進。
七十八步。
根據係統後台生成的監控畫麵，紙帶上的局部數據結構完全按照那份安全證書裡描述的規律，整整齊齊地向右平移了三個格子。
沒有任何越界的跡象。
從前一百步的運行軌跡來看，這份證書顯得十分可靠，甚至可以說是完美。
機器的讀寫頭就像是一個被困在有限窗口內的鐘擺，往復移動，每隔精確的二十六步就會完成一次自我重複，然後再像時針一樣，向右挪動三格。
它像極了一個工作規律，作息穩定，每個月都會按時甚至提前把房租交到房東手裡的好租客，讓人絕對放心。
一百四十步。
。步十六百一
。兆徵的潰崩何任有沒，穩平然依行運的機靈圖
。間瞬一那的步四十八百一第到跳鐘時統係在就，而然
。界邊全安的過越會不遠永稱聲書證份那了過越，時則規返折的雜複條一行執在，頭寫讀的器機
。1字數的下寫前以早很個一著留保還上帶紙，外之口窗的全安為定劃被個那在
。1個這了到讀頭寫讀的器機
。變改之隨移轉態狀
。步三十九百一第
。態機停入進移轉態狀
。行運止停器機
。果結個三了現出時同，上布幕
】391_PETS_TA_TLAH：NUR_LAUTCA【
】GNITLAH_NON：MIALC_ETACIFITREC【
】TPECCA：TLUSER_REIFIREV【
。機停際實器機
。停會不遠永它稱聲書證
。書證誤錯份這了受接器驗核
」？的題問界邊個這理處麼怎是器驗核版舊的來原，前之書證一統種這用採在「：道問後然，鐘分半足足了看，字行三那著盯華誌周
」。域區動活入進新重來未在夠能，徑路移轉態狀法合條一何任在存否是，跡痕帶紙的下留外口窗查檢段逐並，界邊遠最的達到能可頭寫讀算計須必它「，圖構架的版舊了出調臨江」。重笨很器驗核的來原「
」？掉刪輯邏查檢的要重麼這把要師程工的來後麼什為那，全安很來起聽這「
」。右左倍四了升提度速驗核，存外問訪繁頻要需不於由，一十三之分百了少減模規的碼代心核，後之驗核態動掉刪「，據數組一出報口順臨江」。準標型類的書證一統合迎了為「
」？呢積體的書證那「
二之分百了短縮度長均平「
