TL;DR：Cardano 創辦人 Charles Hoskinson 表示，他正親自開發一種程式語言，結合交易意圖、攜帶證明的資料與 Groth16 證明。
Charles Hoskinson 重返鍵盤。這位 Cardano 創辦人表示，他正與 Input Output Global 工程師 Lucas Rosa 直接合作開發一種新的程式語言，旨在讓複雜的區塊鏈操作更容易表達與驗證。
他的描述結合了三個概念。交易意圖描述使用者想要達成的目標，而不強迫他們指定每一個執行步驟。攜帶證明的資料附上證據，證明某項計算或操作符合特定規則。Groth16 證明是緊湊的密碼學證明，可以高效率地驗證。
原則上，這些組件可以為 Cardano 開發者提供另一種方式來構建應用程式，使其能夠協調操作並驗證結果，而無需將每一項底層計算都放到鏈上。
有一個重大但書：Hoskinson尚未公開發布完整的規格、該語言的名称，或一般開發者得以使用的時間表。在社群媒體上宣布進行中的工作，並不代表一個新的正式生產用程式設計環境。
Cardano 已經支援 Plutus 和 Aiken 等工具，而獨立的 Midnight 隱私網路則使用自己的開發者工具。一門新語言必須展現出實際優勢、可行的安全性，以及足以鼓勵採用的開發者體驗。
這個構想雄心勃勃。尚未解答的問題是，它如何從霍斯金森的構想，轉變為可供公開審查、開發者實際可用的程式碼。
由新聞台撰寫，並由Samuel Rae編輯。
