查爾斯·霍斯金森 (Charles Hoskinson) 概述了卡爾達諾 (ADA) 雄心勃勃的 2022 年路線圖



查爾斯·霍斯金森 (Charles Hoskinson) 概述了卡爾達諾 (ADA) 雄心勃勃的 2022 年路線圖

Cardano 的老闆 Charles Hoskinson 在 2022 年制定了 dApp 的宏偉計劃,為此將不惜任何費用。

卡爾達諾的老闆查爾斯·霍斯金森 (Charles Hoskinson) 在最近的 YouTube 教育視頻博客中概述了他在 2022 年實現卡爾達諾的路線圖。 Hoskinson 的主要目標是為 Cardano 上的智能合約開發一個擴展的 UTXO 智能合約模型。自阿朗佐的硬分叉以來,卡爾達諾一直支持智能合約。 Hoskinson 區分了比特幣智能合約的編寫方式、以太坊虛擬機 (EVM) 智能合約的編寫方式以及卡爾達諾試圖佔據中間地帶的方式。

開發中的 UTXO 可擴展模型

Hoskinson 深入研究了比特幣的 UTXO 系統。比特幣智能合約是用一種叫做 Forth 的語言編寫的,它本質上是函數式的。智能合約包含對 UTXO 輸入進行操作以提供 UTXO 輸出的函數。函數包含語言定義的條款和條件,關於它們的表達能力。語言的表現力是可以用該語言表示和交流的想法的廣度。

隨著您從最缺乏表現力到最具表現力的範圍向下移動,您會發現諸如 Java 虛擬機之類的編程環境,其中 Minecraft 運行在最具表現力的一端。 EVM 接近於完全表達,但出於安全原因對其表達能力有限制。

Cardano 正試圖在 UTXO 比特幣智能合約模型和 EVM 模型之間找到一個中間立場,並創建一個擴展的 UTXO (eUTXO) 模型。原因很簡單:EVM 是否使用了 DeFi 應用程序不需要的功能,而這些功能是由 EVM 的用戶付費的?如果有的話,在保持比特幣的功能範式的同時,可以去除 EVM 的多餘功能。新的卡爾達諾模型就是針對這一點的。

Cardano 的大部分編碼都是使用 Haskell 編程語言完成的。該公司更喜歡函數式語言,因為它們比其他語言更能抵抗歧義和人為錯誤,並且從數學的角度來看它們更容易驗證。

Hoskinson 表示,eUTXO 將於 10 月完成

Hoskinson 希望在 10 月之前完成新 Eutxo 模型的大部分開發工作,並願意不遺餘力。 2022 年有三個硬分叉值得關注;一個在二月,一個在六月,一個在十月。 Cardano 背後的公司 Input Output Global 擁有 100 名工程師,致力於創建新軟件堆棧的不同部分,並已招募 15 家外部公司提供代碼。 Hoskinson 相信大部分科學工作已經完成,現在剩下要做的就是代碼。

對於這個話題你有什麼看法?寫信告訴我們

查爾斯·霍斯金森 (Charles Hoskinson)的帖子概述了首次出現在BeInCrypto上的卡爾達諾 (ADA) 雄心勃勃的 2022 年路線圖