為什麼 Charles Hoskinson 親自為 Cardano 打造一種新的程式語言

目錄

• 你可能想知道
• 主題
• 重點整理表
• 後續……

你可能想知道

• 結合交易意圖與密碼學證明的 Cardano 程式語言，能讓開發者打造哪些應用？
• 這項提議中的語言與 Cardano 現有工具有何關聯？目前還有哪些細節未知？

主題

Cardano 創辦人 Charles Hoskinson 表示，他正與 Input Output Global 的軟體工程師 Lucas Rosa 親自為該網路開發一種新的程式語言。根據 Hoskinson 的描述，這項構想旨在結合使用者對交易預期達成的結果，以及證明相關條件已獲滿足的密碼學證據。這項提議或能讓開發者以新的方式描述應用程式應達成的目標，並驗證其規則是否獲遵循。

Hoskinson 於週日在 X 上發文宣布這項計畫，寫道：「我其實正在親自為 Cardano 開發一種程式語言。」他表示自己正與 Rosa 合作；Rosa 是 Aiken 的共同創作者之一，而 Aiken 是 Cardano 的主要智慧合約語言之一。這項計畫之所以受到關注，部分原因在於，儘管 Input Output Global 擁有一整支工程師團隊，Hoskinson 仍親自參與開發一項未來可能用於打造 Cardano 應用程式的工具。

據報導，這項設計將結合三個要素：交易意圖、攜帶證明的資料，以及 Groth16 證明。每個要素分別處理應用程式如何表達請求、分享資訊，以及確認特定規則已獲滿足的不同環節。結合這些要素，目的是協助應用程式協調操作並驗證條件，而不必要求每位參與者重做所有底層工作。

交易意圖描述的是期望達成的結果，而非規定達成結果所需的每個步驟。例如，交易者可能會要求只有在最終價格符合指定條件時才進行代幣交換。使用者不必列出完整的操作流程，只需說明目標與限制，再由應用程式決定如何執行請求。這種模式或許能讓某些互動更容易描述，但應用程式仍須負責執行，並遵守使用者設定的條件。

攜帶證明的資料會在資訊中附加密碼學證據，讓其他應用程式能檢查資訊是否符合既定規則。接收服務不必重做產生該資訊的每項計算，而是可以檢視隨附的證據。當應用程式交換資料，或需要由另一項服務檢查結果時，這種方式可能派得上用場。證明並不能免除訂定適當規則的必要；它只是提供一種驗證資料是否符合規則的方法。

第三個要素 Groth16 是一種廣泛使用的證明系統，能產生精簡的證明，讓電腦快速驗證。這類證明可以在不透露用來滿足條件的私人資訊下，證明條件已獲滿足。當驗證很重要、但不宜公開底層資料時，這項特性便與應用程式息息相關。來源描述並未說明這項提議中的語言將如何實作 Groth16，也未提及會搭配哪些開發工具。

這三個要素結合後，或能協助開發者打造可協調交易、評估複雜條件，以及在服務之間傳遞已驗證資訊的應用程式。在一種可能的工作流程中，應用程式可以解讀使用者的意圖、安排必要操作，並產生證據以證明所要求的條件已獲滿足。接著，Cardano 可以檢查精簡的證明，而不必重做整個流程涉及的每項計算。這只是對潛在能力的描述，並不代表已有可運作的實作或應用程式。

這項提議的做法也處於 Cardano 既有的開發環境中。開發者目前已使用以程式語言 Haskell 為基礎的 Plutus，以及 Aiken 撰寫智慧合約。Rosa 的參與將這項新計畫與 Aiken 的開發相連，而這項公告則暗示，新語言會帶來意圖與證明的獨特組合。目前公開的資訊尚未確定它會取代、擴充，或與這些現有工具並行運作。

Input Output Global 也打造了 Compact，這是一種用於 Midnight 上處理機密資料之應用程式的語言。Midnight 是與 Hoskinson 公司相關、以隱私為重點的區塊鏈。Compact 與這項提議中的 Cardano 語言，是針對不同網路及應用情境的獨立計畫。Compact 的存在，讓人得以了解該公司在專用程式語言方面的工作，但公告並未表示新語言會重用 Compact，或採用相同設計。

目前仍有重要細節尚未公布。Hoskinson 尚未透露這種語言的名稱、發布公開程式碼，或宣布開發者何時能開始使用。在缺少這些資訊的情況下，開發者無法評估其語法、文件、相容性、效能、安全模型或實際實作方式。這項公告傳達了預定方向，但目前資訊仍不足以判斷這項工具在實際專案中會如何運作。

核心構想是將使用者要求的結果與可驗證的證據連結起來，但專案是否已就緒、何時能使用，仍未獲確認。因此，要了解它最終會帶來什麼影響，還得等候更多技術資訊、公開實作，以及實際測試工具的開發者分享經驗。

重點整理表

後續……

接下來真正有意義的一步，是提供足以讓外界獨立評估的技術細節。公開規格或程式碼，能說明這種語言如何表示意圖、開發者如何附加並驗證證明，以及各個元件如何與 Cardano 現有的合約工具互動。文件與範例也有助於區分這種語言預期具備的能力，以及實際上能夠實作的功能。

進一步探索隱私保護運算、證明系統安全性，以及意圖式應用程式的易用性，將有助於整個領域評估這種做法。開發者與研究人員不只需要考量證明能否有效率地驗證，也要檢視其假設是否可靠，以及應用程式能否正確處理使用者限制。同時，實際測試也能揭示當多項服務協調操作時，這些機制的表現如何。

目前這項公告呈現的是一種可能方向，而非已完成的產品。接下來最值得關注的問題是：這種語言將如何制定規格、如何與 Plutus 和 Aiken 並存，以及開發者何時能查看並測試它。這些問題的答案將決定這項提議中的組合能否成為 Cardano 開發環境中的實用新工具。