程式語言

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。該新語言的名稱、公開代碼及發布日期目前均未公布。

ChainCatcher 消息，Vitalik 在 X 平台發文表示，一種值得嘗試的新型"高級編程語言"是編譯為 Lean（或 HOL 等）的語言，重點是盡可能讓人類更容易閱讀定義和定理。而不是證明，因為證明只要正確即可，關鍵在於定義和定理本身。其設想用途是，AI 輸出一大段證明，而讀者需要盡可能輕鬆地理解這些輸出中實際被證明了哪些精確主張。

ChainCatcher 消息，Starknet 在社交媒體上表示，Cairo V2.3.0 從候選發行版本轉變為正式發行版本，新版本包括性能改進、bug 修復，以及幫助處理組件依賴關係的新內聯宏。此前消息，Starknet 宣布其編程語言 Cairo V2.3.0 版本引入組件（component）。

ChainCatcher 消息，StarkWare 宣布開源其程式語言 Cairo 1.0，作為 StarkNet 堆疊開源的第一步。StarkNet 尚不支援 Cairo 1.0，會於明年第一季度進行支援。Cairo 1.0 編譯器的首個版本計劃於明年第一季度初推出，重點在 Cairo 1.0 中支援 StarkNet 的所有現有功能，也正在擴展 Cairo 1.0 編譯器功能。（來源鏈接）

ChainCatcher 消息，以太坊二層網路 ZkSync 發推宣布，已將 Java、Go 和 Python 程式語言整合至其軟體開發工具包 (SDK)，開發人員可以訪問和使用他們習慣的編碼語言，並啟用新的用例，例如"移動或特定於硬體的應用程式"。該團隊表示，未來將繼續擴展到其他程式語言。ChainCatcher 此前報導，10 月 31 日，zkSync 2.0 主網第一階段 Baby Alpha 已上線，主網預計 2023 年初向全部用戶開放。（來源連結）