作者:Mathilda 來源:X,@Mathilda_Sun_ 翻譯:善歐巴,金色財經
終於有時間來寫這個了。關於zk與TEE的整個辯論讓我意識到,有很多人在CT上發表意見之前,連基本的研究都懶得做。
說一個會取代另一個是絕對愚蠢的,就好像我們生活在一個二元世界一樣。它們是完全不同的技術;一個是基於硬件的,另一個是基於軟件的。這兩者在加密行業誕生之前就已經存在並共存了。它們各自有自己的優勢和權衡。這一切都取決於具體項目的使用案例和設計需求。
工作原理:
zk:一方(證明者)可以向另一方(驗證者)證明一個陳述是真實的,而不透露任何超出該陳述本身有效性的信息。
TEE:處理器內的一個安全飛地,確保加載其中的代碼和數據在保密性和完整性方面得到保護。
使用案例:
zk:(1)隱私 - 例如 @TornadoCash,@penumbrazone,@aztecnetwork;(2)可擴展性 - 所有的zk rollups,例如 @zkSync,@Starknet,@Scroll_ZKP。我會將zk橋、預言機、ML等歸類爲“可擴展性”,因爲它們本質上是在擴展區塊鏈生態系統,但也歡迎不同意見。
TEE:主要是隱私 - 私有L1/L2,例如 @SecretNetwork,@tenprotocol;Flashbots的加密mempool和區塊構建器Suave;Web2中使用TEE的私人聯邦學習。
附註:在隱私方面,對於zk,證明者可以看到程序和數據。隱私保護是針對除證明者以外的任何一方。對於TEE,甚至運行TEE的計算機都不知道安全飛地內發生的事情。
優勢:
zk:可以在無需任何可信第三方的情況下用於去中心化系統;不依賴於硬件
TEE:由於基於硬件的隔離,安全級別高;減少了攻擊面。
劣勢:
zk:計算密集型
TEE:依賴硬件供應商(例如Intel)和硬件中的潛在漏洞;受限於TEE內可用的計算能力和內存(例如,一些大型ML模型無法在TEE中運行)
TEE並不新鮮。之前的週期中有很多,例如 @OasisProtocol 和一些 @Polkadot 生態系統項目。由於缺乏生態系統,一些已經變得無關緊要。沒有實際使用的情況下,討論哪種技術更優越有點無意義。
此外,它們在某些情況下可以共存。例如,@alignedlayer 將構建TEE證明,這是TEE中的一個重要步驟,允許TEE節點向Aligned證明在TEE內部運行的代碼是真實且未被篡改的。
來源:金色財經