Cardano 創始人正開發新編程語言，融合交易意圖與 Groth16 證明

ChainCatcher 消息，据 CoinDesk 報導，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。該新語言的名稱、公開代碼及發布日期目前均未公布。