生活分享

Cardano 創辦人 Hoskinson 親自開發新程式語言：想把「交易意圖」與密碼學證明結合，名稱與上線時間未公開

CoinDesk 報導，區塊鏈 Cardano 的創辦人 Charles Hoskinson 表示，他正與 Input Output Global（IOG）工程師 Lucas Rosa 開發新程式語言，未來 Cardano 應用程式可能以它打造。本文整理已知內容，以及仍未公開的名稱、程式碼與上線時間。

閱讀時間約 4 分鐘

Cardano 創辦人 Hoskinson 親自開發新程式語言：想把「交易意圖」與密碼學證明結合，名稱與上線時間未公開
圖片：Mokaair (Original editorial artwork)

發生了什麼事

CoinDesk 報導，區塊鏈 Cardano 的創辦人 Charles Hoskinson 表示，他正與 Input Output Global 的工程師 Lucas Rosa 一起親自開發一種新的程式語言。

據 CoinDesk 引述，Hoskinson 週日在 X 上寫道：「I’m actually personally developing a programming language for Cardano」（我其實正在親自為 Cardano 開發一種程式語言）。CoinDesk 稱，Rosa 是 Input Output Global 的軟體工程師，也是 Aiken 的共同創作者。Aiken 是 Cardano 主要的智能合約語言之一；智能合約是在區塊鏈上依預先寫好的規則自動執行的程式。

CoinDesk 並報導，Hoskinson 表示這將是第一個把「使用者希望交易完成什麼」與「規則已被遵守的密碼學證明」結合在一起的語言。密碼學證明是一種用數學方法產生的證據，讓別人能確認某件事屬實。「第一個」是 Hoskinson 本人的說法，由 CoinDesk 轉述。

三項核心技術是什麼

據 CoinDesk，這個語言將支援三項工具：交易意圖（intents）、證明攜帶資料（proof-carrying data）與 Groth16 證明。

  • 交易意圖：CoinDesk 說明，使用者只需說出想完成的事，步驟交給應用程式處理。例如交易者可要求在最終價格符合設定條件時，才把一種代幣換成另一種，而不必寫出達成的過程。
  • 證明攜帶資料：CoinDesk 說明，這是在資訊上附加密碼學證據，顯示資訊遵循某些規則；其他應用程式可檢查該證據，而不必重做背後的每項計算。
  • Groth16：CoinDesk 形容這是廣泛使用的證明系統，產生的證明很小、電腦能快速檢查，並能在不揭露私人資料的情況下證明某項條件已達成。

CoinDesk 指出，三者結合後，開發者可望打造協調交易、檢查複雜條件、並在服務之間傳遞已驗證資訊的應用，而 Cardano 最後只需檢查一個小型證明。

與現有語言的比較

依 CoinDesk 報導整理的 Cardano 相關語言比較
語言CoinDesk 報導的說明
PlutusCardano 開發者用來撰寫智能合約，建立在程式語言 Haskell 之上
AikenCardano 主要智能合約語言之一，Lucas Rosa 為共同創作者
CompactMidnight 的語言，用於處理機密資料的應用；Midnight 是 Input Output Global 打造的隱私區塊鏈
新語言（未命名）據稱結合交易意圖、證明攜帶資料與 Groth16 證明；名稱、程式碼與上線時間均未公開

對一般讀者的實際意義

目前這只是創辦人的公開說法，而非已可使用的產品。CoinDesk 報導，Hoskinson 尚未公開語言名稱、任何公開程式碼，也未宣布開發者何時可以開始使用。

若構想最終落實，依 CoinDesk 的說明，使用者的操作可能更接近「說出想要的結果」，而驗證則靠小型證明完成。但這些都屬於報導中描述的可能性，實際成效仍待觀察。

常見問題

這個新語言已經可以使用了嗎？

尚未。據 CoinDesk，Hoskinson 沒有公開語言名稱、任何公開程式碼，也沒有宣布開發者何時可以開始使用。

誰參與開發？

CoinDesk 報導，Hoskinson 表示他與 Input Output Global 工程師 Lucas Rosa 合作，Rosa 是 Aiken 的共同創作者之一。

這些內容的消息來源是什麼？

內容來自 CoinDesk 的報導，主要是 CoinDesk 對 Hoskinson 在 X 上發文的轉述與說明。「第一個結合交易意圖與密碼學證明的語言」是 Hoskinson 本人的說法。

查看同分類最新消息

同主題延伸閱讀

資料來源

生活分享