Hoskinson 親為 Cardano 開發新程式語言，結合交易意圖與 Groth16 證明

Cardano 創始人 Charles Hoskinson 表示，他正為 Cardano 網路開發一種新的程式語言，並與 Input Output Global 工程師 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智慧合約語言之一 Aiken 的共同建立者。

Hoskinson 在 X 平台發文稱，這將是首個把使用者希望交易完成的操作與密碼學證明相結合的程式語言。

該語言將支援三種工具：交易意圖、攜帶證明的資料以及 Groth16 證明。交易意圖讓使用者說明想完成的目標，具體步驟交由應用處理；例如交易者可要求在最終價格符合設定條件時才把一種代幣兌換成另一種，無需指定具體路徑。攜帶證明的資料可為資訊附加密碼學證據，證明其符合特定規則，其他應用不必重新計算即可驗證。Groth16 則是廣泛使用的證明系統，能生成體積小、驗證速度快的證明，在不暴露隱私資料的前提下證明條件已滿足。

三者結合後，開發者可以構建協調交易、檢查複雜條件並在服務之間傳遞已驗證資訊的應用，最終由 Cardano 驗證一個小型證明。

目前 Cardano 開發者主要使用基於 Haskell 的 Plutus 以及 Aiken 編寫智慧合約；Hoskinson 旗下 Input Output Global 構建的隱私區塊鏈 Midnight 則有自己的語言 Compact。該新語言的名稱、公開程式碼及發布日期均未公布。