索求零常識證實系列 | 從「模仿」懂得零雲短信常識證實：平行宇宙與時間倒流(轉錄發載)
I know that I know nothing —— 蘇格拉底
置信良多人都據說過零常識證實，可是隻有少少數人據說過模仿，然而模仿是懂得零常識的樞紐。
咱們在第一篇文章『初識「零常識」與「證實」』（鏈接）[1]中先容瞭一個簡樸的零常識交互體系：輿圖三染色問題。那麼這個體系真的是零常識的嗎？咱們為什麼要置信這個論斷呢？有證實嗎？在 Alice 與 Bob 的對話經過歷程中，假如不零常識，Alice就被坑瞭。SMS 短訊平台交互式體系的design者「我」需求讓 Alice 確信，這個對話確鑿是零常識的。
假如從直覺主義角度詮釋，要證實一個交互體系中存在信息泄露，那麼你隻需求指證：第幾個 bit 招致信息台灣虛擬電話接收簡訊泄露即可；但假如要證實不存在信息泄露，那麼你要對著一切信息流中的一切 bit 說，這從1，2，3，4，5，…… 編號的 bit 都沒泄露任何信息。望官們，這是不是很難？
本免費臨時手機號碼文約八千字，略微燒腦。
安全的界說與不成區分性
起首，一個交互式體系，也便是一個對話，它的「零常識」需求證實。究竟，古代password學是設立在嚴酷的情勢化體系之上。在證實之前，還需求明白「安全假定」到底有哪些。所謂安全假定，好比咱們說一個體系的權限斷絕做得無比準確，每一個用戶隻能望到被受權的信息，可是這基於一個安全假定：治理員賬號沒有被破解。又好比在手機銀行軟件裡，隻能經由過程短信認證碼，能力實現轉賬效雲短信能，這也基於一個安全假定：你的手機 SIM 卡沒有被克隆。假如咱們深刻地剖析每一個咱們感覺安全的體系，都存在大批的好像不那麼鞏固的安全假定。比特幣私鑰安全嗎？比特幣賬戶的安全假定也不少：起首你的助記詞不克不及讓他人了解，手機錢包裡私鑰保留加密算法足夠強，密鑰派生算法正軌，你不克不及健忘助記詞，等等等。
脫離安全假定來談安全都是在耍地痞。所有安全都有條件的。隻有經由數學證實後來，年夜傢能力夠確信這個 算法/方案 的安全性基於一些很是明白的「安全假定」。
在證實之前，還缺乏一個工具，那便是「安全界說」。在大都人的認知體系中，安全便是一個框，什麼都可以去裡裝。年夜傢應當好好提示下本身，當評論辯論安全二字的時辰，有沒有想過到底什麼是安全？怎麼算安全？
「安全」需求有一個數學意義上的嚴酷界說
偉年夜的迷信傢噴鼻農（Claude Shannon）從信息論的角度給出瞭一個很是靠譜的安全性界說[2]：
完善安全：假定你是一個進犯者，你經由過程密文獲取不到任何有價值的信息，破解的獨一手腕便是靠瞎蒙。
年夜傢想一想，這個界說很乏味，經由過程密文獲取不到信息，這就象徵著你沒有得到任何分外的盤算才能接收驗證碼平台，可以或許匡助讓你以更短的時光來盤算出明文。
可是這個界說太完善，以至於運用的加密算法都很難知足這個安全性界說。之後 Goldwasser 與 Micali 等人寫瞭另一篇載進史乘的經典『概率加密』[2]。
在這篇論文中界說瞭如許一個觀點：語義安全。所謂語義安全在完善安全的界說上放松瞭些要求。
語義安全：假定你是一個進犯者，你經由過程密文在多項式時光內盤算不進去任何有價值的信息。
好瞭，這個望起來靠譜多瞭。接上去一個問題便是，怎麼懂得「盤算不進去信息」這個觀點？這望來要對信息入行器量，信息的界說又是什麼呢？
咱們又引進一個觀點——「不成區分性」，來從頭表述加密算法的安全性：假定你是一個進犯者，而我有一個加密算法：
你隨機發生兩段等長的明文，m1=「白天依山絕，黃河進海流」，m2=「燙燙燙燙燙，燙燙燙燙燙」
你把這兩段明文，m1 與 m2 交給我
我隨機遴選一個明文，不告知你是哪一個，然落後行加密，發生一個密文 c
我把密文 c 出示給你望，讓你猜這個c 畢竟是由唐詩加密發生，仍是亂碼加密發生
假如你用一臺盤算機來破解c，在多項式時光內破解不進去，也便是說你沒措施區分c的來歷，那麼就闡明加密算法是語義安全的
OK，懂得完「不成區分性」，咱們再歸到「零常識」，怎樣證實一個交互式體系是「零常識」呢？起首咱們要界說下零常識這個觀點。
註：不成區分性是概率意義上的不成區分；在學術上，它可以分為「完整不成區分」，「統計不成區分」，另有「盤算不成區分」。在本文中，咱們暫時不需求懂得這些觀免費簡訊點的差異。
碰見模仿器
先開個腦洞，假想在平行宇宙中，有兩個平行的世界，一個鳴做「抱負世界」（Ideal World），另一個鳴做「實際世界」（Real World）。咱們每一個個別可以在兩個平行世界中痛快地玩耍，可是兩個世界的平凡人無奈互相感虛擬門號知，也無奈互相溝通。
假定「你」是一個很兇猛的password破解者，並且「你」不是平凡人，具有在平行宇宙之間穿越的才能。而 Alice 有一個輿圖三染色的謎底，你的目標是經由過程和 Alice 對話來獲取輿圖三染色的謎底，會話的經過歷程參考上一篇文章的「輿圖三染色問題」協定。
繼承腦洞，Alice 隻存在「實際世界」中；在「抱負世界」，Alice 被「替代」成瞭一個長相與聲響如出一轍的個別，咱們稱替人為 Zlice。下一個步驟，把「你」同時放進兩個世界中，但不讓你了解是你以後位於哪一個世界。你的兩個兩全所面臨的都是一個 “Alice”樣子容貌的人。
再重復一遍，在「實際世界」中， 與你對話的是一個真正的的，而且老實的 Alice；而在「抱負世界」中，與你對話的免費臨時手機號碼是 Zlic簡訊e （假 Alice），Zlice 固然邊幅言語與 Alice 並無二致，但差別是，Zlice 並不了解「常識」，即不了解一個三染色問題的謎底。
接上去在這兩個世界中，你的兩個兩全將同時與虛實 Alice 入行對話。神奇的事變產生瞭，終極在兩個世界中，你的兩個兩全都被說服瞭，都經由n輪挑釁，沒有發明對方舞弊，即「你」的兩個兩全都以為對方確鑿了解「謎底」。換句話說，「你」沒有才能「區分」進去本身到底在 「實際世界」 仍是 「抱負隱私小號世界」，當然也沒才能「區分」和本身對話的畢竟是 Alice 仍是 Zlice。不只這般，對付吃瓜群眾我而言，假如把「我」作為察看者放進任何一個世界中，我會和你一樣「無奈區分」進去面前的 這個長相為 “Alice” 的人到底是真仍是假。
上面是燒腦論斷：
這個交互體系為何是「零常識」？由於 Zlice 是沒有任何常識，並且她和 Alice 不成區分。
我再換個方法詮釋：由於你和我都沒措施區分咱們畢竟是在哪個世界中，兩個世界產生的交互經過歷程險些不成區分，並且此中一個世界中最基礎就不存台灣接碼平台在常識，是以，咱們說這個交互協定——「輿圖三染色問題」是「零常識的」。
這裡另有個條件，抱負世界必需是算法可結構的。台灣虛擬門號收簡訊然後，有一個「神」，他經由過程算法「模仿」瞭一個「抱負世界」，此中結構瞭一個算法鳴做 Zlice，她沒有「常識」作為輸出，也即「零常識」；除此之外，「抱負世界」與「實際世界」如出一轍。
假想你在對話經過歷程中，假如真 Alice 泄露瞭信息，那麼你就能當即區分出頭具名前這小我私家是 真 Alice 仍是 Zlice，Zlice 是不成能假裝泄露信息的。是以可以得出論斷：
真Alice 沒有泄露任何信息。
這個神，被稱為「模仿器」（Simulator），而無理想世界中，和你對話的這個 Zlice 幻象實在也是「模仿器」，你無虛擬簡訊認證理想世界中，一切能感知到的工具都是模仿器「模仿」進去的。
好瞭，到這裡，咱們用「模仿器」這個觀點對「零常識」入行瞭界說。
接上去，咱們開端入進證實零常識的環節。
區分兩個世界
（Save World State as Snapshot X）
證實的零常識經過歷程，等價於結構（尋覓）一個「模仿」算法，這個算法可以或許讓模仿器來模仿出一個「沒有常識」的抱負世界。假如這個算法存在，並且兩個世界不成區分，那麼就證實終了。
等等，可能「你」會感到哪裡不合錯誤勁。
如果說真的存在這種算法，並且它可以或許在沒有常識的情形下說謊過我，那麼在「實際世界」中，不解除真 Alice 也運用瞭如許的算法來詐騙我。如許一來，我豈不是在兩個世界中都被詐騙瞭。那麼這個交互協定就掉往意義瞭。
實在，這裡有個樞紐點，借用片子『盜夢空間』中的劇照，在「抱負世界」中有點工具是和「實際世界」實質不同的。這個工具是區分兩個世界的樞紐，而它要讓咱們「無奈感知」。這個工具不是黑甜鄉中的陀螺，它是一種「超才能」，模仿器 Simulator 所具有的超才能。
好比如許一種超才能：「時間倒流」。
（上圖是片子『土撥鼠之日』的劇照，劇中客人公每次睡醒城市歸到2月2日的早上，如許他永遙活在統一天裡）
等等，列位望官，不是適才咱們始終在會商不成區分性嗎？怎麼臨時簡訊驗證兩個世界又需求區分啦？“我顢頇瞭”。不要慌，所謂的不成區分性針正確是抱負世界中的個別認知而言。而「可區分性」是對位於世界內部的神而言。
假想下在咱們四周，假如有一小我私家有時空穿梭才能，或許他能讓時光歸退到一年前，那麼咱們這些傖夫俗人完整是一臉茫（meng）然（bi）的，無從感知。那麼，假如「模仿器」可以在他結構出的「抱負世界」中完成「時光倒流」，那麼他就可以告竣一些神奇的事變，從而說謊過作為驗證者成分的「你」，也能說謊過簡訊試用察看者「我」。對付「你」而言，你明確，在「抱負世界」中，時光是可以歸退的，可是在「實際世界」中，顯然真 Alice 不成能領有超才能。固然你和我不克不及區分在哪個世界裡，可是至多咱們了解SMS 簡訊服務在兩個世界中的此中「實際世界」裡，對面阿誰Alice是沒措施詐騙咱們的，當然咱們卻不克不及說出咱們到底在哪個世界中。
到此，交互協定的「零常識」曾經證實完瞭。列位是否曾經明確瞭？我再給年夜傢再梳理下證實思緒：
起首「零常識」是為瞭維護 Alice 的好處，由於 Alice 不想在交互經過歷程中走漏更多的信息給 Bob，不想讓 Bob 了解她所領有的奧秘 w，甚至不想讓 Bob 從交互的經過歷程中剖析出哪怕一丁點的信息。那麼怎麼包管這一點呢？「模仿器」這時辰退場瞭，它能模仿出一個和實際世界外表如出一轍的「抱負世界」，然後「模仿器」在這個世界中可以輕松地說謊過任何一個敵手，讓對方無奈辨別本身是在實際世界中，仍是抱負世界中。由於「模仿器」手裡沒有阿誰奧秘 w，「抱負世界」是零常識的。又由於兩個世界的不成區分性，以是咱們可以得出論斷：Alice 的交互協定是「零常識」的。
咱們來望一個詳細的例子，上一篇文章[1]中提到的輿圖3染色問題。
輿圖三染色問題的零常識證實
歸憶一下「輿圖三染色問題交互體系」：
第一個步驟：Alice 把輿圖染色謎底做一次完整置換，然後將一切極點蓋上紙片，交給 Bob
第二步：Bo免費簡訊認證b 隨機遴選一條邊
第三步： Alice 關上指定邊的兩頭極點的紙片，Bob檢修兩個極點的色彩是否雷同，假如不同則經由過程，假如雷同則掉敗
歸到第一個步驟，重復 n 遍
咱們接上去就來證實上述這個交互是零常識的，這裡先假定驗證者 Bob 是老實的，這有助於年夜傢懂得這個證實經過歷程。然後咱們再會商，假如 Bob 不老實的證實方式。
在「抱負世界」中，跟 Bob 對話的是一個「模仿器」，它模仿出瞭整個世界的樣子。Bob 依照三染色問題的交互協定入行交互。模仿器並沒有一個三染色謎底，它索性把全部極點都染成瞭灰色。
起首，模仿器模擬 Alice ，把每個極點用紙片蓋起來。然後發給 Bob。
BobSmszk 隨機遴選瞭一條邊，挑釁證實者。
模仿器這時辰不克不及關上紙片，由於這條邊兩頭的色彩都是灰色啊。
這時辰，模仿器要施展「超才能」瞭，他使用時光倒流的技巧，歸到對話第一個步驟之前。
模仿器此刻處於第一個步驟，他把最上面那條邊的兩頭染上恣意不同的色彩，然後從頭蓋上紙片，並發給 Bob。
Bob 這時辰無奈感知到時光曾經倒退歸第一個步驟瞭，對他來說，所有都是新鮮的，他「老實」地再次抉擇瞭最上面的邊。
這時辰模仿器就可以安心地關上紙片，讓 Bob 檢討。Bob 很顯然會上圈套過。然後 Bob 一輪台灣簡訊輪地重復這個經過歷程，每一次模仿器都能用時光倒流的方法說謊過 Bob。
於是無理想世界中，模仿器並沒有任何三染色謎底的臨時簡訊驗證「常識」，卻同樣能說謊過Bob，而且從概率下去望，與「實際世界」中被察看到的交互經虛擬驗證碼過歷程高度地一致（完整一致的概率散佈）。於是下面的經過歷程鋪示瞭模仿器的算法的存在性，也就相稱於證實瞭交互體系的「零常識性子」。
不老實的 Bob
在下面的證實經過歷程中，有一個相稱強的假定，便是每次時光倒流後來，Bob城市抉擇統一條邊。假如 Bob 每次城市換一條不同的邊呢？沒關系，假如在模仿器第一次施行時光簡訊試用倒流後來，Bob又抉擇瞭不同的邊，那麼模仿器可以把色彩打亂後來，再次運轉時光倒流，在多次時光倒流後來，Bob 極年夜的概率總會一次抉擇模仿器入行染色的那條邊，然後這時辰模仿器才走到第三步，關上紙片。
阿裡巴巴、洞窟與芝麻開門
在網上浩繁的講授「零常識證實」的中台灣虛擬sms理科普文章中，有一個例子撒播很是廣，這便是阿裡巴巴與匪徒的故事。惋惜地是，這些不同版本的故事都隻講瞭一半。那麼我接上去講一個紛歧樣的「阿裡巴巴」與「四十悍賊」的故事：
在良久良久以前，在一個鳴做巴格達的都會裡，住著一小我私家鳴阿裡巴巴。天天阿裡巴巴會到集市上買工具。
有一天，阿裡巴巴被一個響馬搶瞭錢包，隱私小號於是他一起追著響馬到瞭一個巖穴口，然後響馬就消散瞭。阿裡巴巴發明洞口內裡有兩條岔路，如下圖所示。
阿裡巴巴不了解響馬去哪邊跑瞭，於是他決議往「右邊」岔道了解一下狀況，很快阿裡巴巴就發明這是個死胡同，也不見響馬蹤跡。然後他又往「左邊」岔道檢討，也是個死胡同，不見響馬蹤跡。阿裡巴巴喃喃自語道：「活該的響馬跑哪往瞭呢？」
第二天，阿裡巴巴又往集市買工具，此次另一個響馬搶瞭他的籃子，然後阿裡巴巴追著這個響馬到瞭昨天同樣的巖穴口，然後響馬又不見瞭，這一次阿裡巴巴決議先往「左邊」岔道了解一下狀況，沒有發明響馬，然後再往右邊了解一下狀況，也同樣不見響馬。這獵奇怪。
第三天，第四天，……，第四十天，同樣的故事上演，阿裡巴巴追著第四十個悍賊到瞭神秘的洞口，響馬就消散瞭。阿裡巴巴想，這個巖穴內裡必定無機關，於是他藏在「左邊」岔道的絕頭，耐煩地等瞭很永劫間，這時一個響馬跑瞭入來，走道岔道絕頭後來，念瞭一個咒語「芝麻開門」。這時辰墻壁竟然關上瞭，響馬跑入往後來，然後墻壁又合上瞭，這時辰另一個受益者追瞭入來，找瞭半天，一無所得。
阿裡巴巴隨後等他們走瞭後來，實驗瞭一下這個咒語，果真很是有用，並且阿裡巴巴發明這個墻壁通向「右邊」岔道。之後，阿裡巴巴找到瞭調換咒語的措施，而且把一個新咒語和洞窟的地輿地位寫在瞭一張羊皮紙上。
註：到這裡，故事並沒有收場…. （上字幕）良久良久當前
在良多年後，到瞭80年月，阿裡巴巴的羊皮紙漂泊到瞭幾個password學傢手裡，他們跑到巴格達，找到瞭洞窟的地位，絕管過瞭幾個世紀，咒語竟然仍舊有用，這幾個password學傢高興地關上墻壁，在兩個岔道之間跑來跑往。
一傢電視臺很快了解瞭這個奇特事務，一個password學傢 Mick Ali（與password學傢 Micali 發音類似）決議向電視觀眾鋪示他了解這個咒語，起首，電視節目掌管人把攝像機架在洞口，然後讓一切人都在巖穴口等候，這時辰 Mick Ali一小我私家入進到巖穴中，然後掌管人拋一個硬幣，來決議讓 Mick Ali 從哪個岔道跑進去。為瞭留念阿裡巴巴與四十悍賊，Mick Ali 重復瞭四十遍每次都勝利。
節目很是勝利。但很快，別的一個電視臺眼紅，也想拍一個相似的節目，可是Mick Ali 由於簽瞭獨傢協定，沒措施介入這個新節目。怎麼辦呢？第二個電視臺的掌管人心生一計，他找瞭一個和 Mick Ali 很像的演員，穿戴梳妝、姿勢和措辭口音都模擬 Mick Ali。然後他們開拍瞭，每次掌管人擲硬幣後，都讓這個演員跑進去，可是很顯然，演員並不了解接收驗證碼平台咒語，沒措施關上阿誰墻壁。於是有時辰演員碰勁會勝利，有時辰則會掉敗，於是演員很辛勞，重復瞭快要一百次，才勝利瞭四十次。最初這個桀黠的新節目掌管人，把錄制錄像入行瞭剪輯，隻保存瞭勝利的片斷，過錯的片斷都刪除瞭。然中華電信線上收簡訊後這個新節目和 Mick Ali 的節目在統一時光，不同頻道播出。然後觀眾們完整無奈區分哪個錄像是真的，哪個台灣門號代收簡訊錄像是假的。第一個電視臺的掌管人完整明確 Mick Ali 是真正了解墻壁的咒語的人，可是他卻臨時門號不克不及把這個事實通報給無辜的觀眾們。
望到這裡，年夜傢是不是對「模仿」逐步有瞭感覺？這裡第二個電視臺的掌管人經由過程剪輯錄像的方法，而不是「時光倒流」。他對「抱負世界」，也便是電視中播出的內在的事務地點的世界，入行瞭內部幹預，到達瞭同樣的後果。對抱負世界而言，這種剪輯實質上便是一種超才能。
這個故事實在來歷於一篇論文『怎樣向你的孩子詮釋零常識證實』（How to Explain Zero-Knowledge Protocols to Your Children）[3]，揭曉在1989年的美密會議上。
模仿與圖靈機
一談到超才能，年夜傢有沒有感到這玩意不迷信。是的，假如咱們無腦地用「超才能」來詮釋任何事變，那麼咱們邏輯就無奈自恰（Consistent）。無理想世界中，模仿器是不克不及隨意開掛的，好比模仿器肯定不克不及間接修正 Bob 的外部狀況，好比 Bob 在驗證步調明明驗證掉敗，可是模仿器倔強往把驗證成果改為「接收」，這會招致咱們可以證實：「任何的交互體系都是零常識的」，這個過錯論斷。
模仿器不是抱負世界中萬能的天主
那麼模仿器到底可所以什麼呢？模仿器實在隻是一個圖靈機。所謂的「時光倒流」，「剪編錄像」這類的所謂超才能並不虛擬簡訊是玄乎的超天然才能，而是圖靈機可以完成的效能。盤算機專門研究的伴侶們肯建都用過 VMWare，虛構機之類的軟件，本文講的「模仿器」完整可以想象成一個「虛構機」軟件臨時簡訊，它能虛構出一個盤算機周遭的狀況，這個虛構周遭的狀況便是咱們上文說的「抱負世界」。「時光倒流」怎樣詮釋呢？不了解年夜傢有沒有效過虛構機軟件的「快照」效能（Snapshot），運用快照的時辰，虛構機軟件可以把整個虛構盤算機的一切狀況保留上去，然後在恣意時刻，虛構機軟件都可以從頭歸到保留快照的地位繼承運轉。
註：實在所謂時光倒流是盤算機中的一個基礎操縱，在步伐言語理論中有一個觀點鳴做 Continuation。抽象地講，Continuation 表現從此刻開端到將來的盤算。Continuation這是把持流的一個顯式抽象，而 goto，call-with-current-continuation，甚至 thread sche台灣虛擬門號收簡訊duling 都可以望做是操縱 Continuation 的操縱符。好比采用call/cc，也便是call-with-current-continuation 就可以輕松地完成「歸溯」效能。保留快照可以懂得為保留以後的 Continuation，而歸到已往的某一刻，便是利用這個Continuation。
不管 Zlice 仍是 Bob，另有咱們的每一個察看者，都是一個個可履行步伐。這些步伐被拷貝到瞭虛構機裡。Zlice 與 Bob 的會話現實上便是這兩個步伐之間的通免費簡訊信。察看者是 Hook 在 Zlice 與 Bob 入程 IO 上的步伐。在上文的輿圖三染色「抱負世界」的老實 Bob，現實上是 Bob 入程挪用瞭虛構機的「隨機數產生器」，而這個隨機數產生器是能被 Zlice 操作的。「實際世界」是內部運轉虛構機軟件的盤算機周遭的狀況。
年夜傢是不是又有所悟，我再誇大一下：
證實零常識的經過歷程，便是要尋覓一個算法，或許更淺顯點說，寫出一段代碼，它運轉在內部盤算機體系中，可是完成瞭虛構機的效能。並且在虛構機中，需求有一個不帶有「常識」作為輸出的 Zlice，可以說謊過放進虛構機運轉的 Bob。
假如還沒懂得下面我這句話，請時間歸退到『區分兩個世界Smszk』這一末節，從頭思索模仿。:P （Load World State from Snapshot X）
柏拉圖的洞窟寓言
模仿無處不在，哥德爾不完備性定理就運用瞭模仿的觀點，用哥德爾數（Godel Numbers）模仿瞭情勢算術。圖靈建議瞭「Universal Turing Machine」（通用圖靈機）的觀點，這種圖靈機可以模仿自身。
但最早的「模仿」觀點，出自『抱負國』一書的第七卷[4]中，古希臘哲學傢柏拉圖講瞭這麼一則寓言——Allegory of Cave：
假想在一個天昏地暗的巖穴中，有一排被鎖鏈鎖住的階下囚，他們從小就隻能望到後方的墻壁。這些階下囚們死後是一堵墻，再前面有一堆放著火，在火與墻壁之間，有一些人舉著道具和木偶往返走，如許道具木偶就會在火光映射下在墻壁上投下影子。而這些階下囚們成天就隻能望著這些影子。由於這些階下囚們從打誕生起，所聞所見就隻是後方洞壁上的各類影子，他們會認為所望到的這些影子便是真正的的世界。
然而有一天，一個階下囚無意偶爾擺脫鎖鏈，他歸頭望到瞭火。可是他從小到年夜僅能望到黯淡的影子，他第一次望到瞭敞亮的火光。望到瞭道具和木偶，如果有人告知他，這些道具和木偶才是什物，他必定會五體投地，會保持以為影子才是真正的的。
柏拉圖假定說，假如把這個階下囚強制拖出洞窟，到外面往望到真正的的世界， 一開端階下囚會不順應真正的世界的光明而覺得刺眼花暈，他會是以簡訊認證而惱怒。 可是當他逐步順應瞭這個世界，望到太陽，樹木，河道，望到星空，他逐漸明確，這個世界比洞窟中阿誰世虛擬手機界更為優勝高等。他再也不想歸到暗中的洞窟餬口中瞭。
過瞭一段時光，他對洞窟中的階下囚心生惻隱，於是想往把他們都帶進去。可是當他再次返歸洞窟中，他由於曾經順應瞭外面敞亮的世界，歸到洞窟中反而望不清晰。被鎖的階下囚們反而以為他的目力受損，胡說八道，是個瘋子，最初當他想絕措施把這群階下囚帶出洞窟時，被階下囚們聯手殺死。
這是則人類命運的寓言，就和那一排被鎖鏈鎖著的階下囚相似， 咱們認為眼睛望到的便是世界的實情,但現實上，那興許是幻象，就像洞窟墻壁上投下的影子一樣。
人打賞
3
人 點贊
主帖得到的海角分：0
舉報 |
樓主
| 埋紅包