Hoskinson 親自開發 Cardano 新程式語言

Cardano 創辦人 Charles Hoskinson 與開發者 Lucas Rosa 正在為 Cardano 開發一種程式語言，目標是以 Groth16 證明實作意圖（intents）與 PCD；目前尚未公布語言名稱、程式碼或推出時程。

Hoskinson 於 18 日在 X 的回覆中寫道：「我正在親自為 Cardano 開發一種程式語言。」他稱這會是「第一種以 Groth16 證明實作意圖與 PCD 的語言」，並表示 @rvcas 也參與開發。這則回覆是針對一名用戶提問而發出，對方詢問他是否仍將 Cardano 視為「最去中心化的信任根基」。

@rvcas 是 Lucas Rosa 的帳號。Aiken 的致謝頁將 Rosa 列為維護者，Aiken 專案的 manifest 也以 rvcas.dev 電子郵件地址將他列為作者。Rosa 的個人網站則介紹他是 Midnight 工具架構師。

Cardano 開發者主要使用源自 Haskell 的平台 Plutus，或使用 Aiken 撰寫智能合約。Aiken 是由 Rosa 共同開發並維護的語言。Hoskinson 尚未說明新語言會取代既有工具，還是與它們搭配使用。

Groth16 是密碼學家 Jens Groth 於 2016 年提出的零知識證明方法。單一證明由三個群元素組成，因此體積小，也能在區塊鏈上快速驗證。

PCD（Proof-Carrying Data，攜帶證明的資料）是一種分散式運算研究架構，其中每個運算階段都會附上證明，串接先前階段的結果。長鏈運算的最後一位參與者只要檢查一份證明，就能驗證完整歷程。

意圖是讓用戶指定想要的結果，並由其他參與者決定具體交易步驟。例如，用戶可以要求將資金轉往另一條鏈，再由執行者選擇使用哪座橋接工具與路徑。

Hoskinson 沒有說明新語言會如何結合 Groth16、PCD 與意圖。他先前曾在東京「Midnight City」活動上提出「Nightframe」，讓 AI 代理依照用戶意圖執行任務。新語言與 Nightframe 或 Midnight 之間的關係也尚未公布。

Cardano 本月初已在主網採用可程式化代幣標準。發行者可透過這項標準，將 KYC 驗證或凍結等管控功能直接加入原生代幣。