語言

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 消息，据 PR Newswire 報導，加密支付平台 Mesh 宣布推出 Link Chat。該公司稱，這是 Mesh Link 中一項由 AI 驅動的產品體驗，用戶可用自然語言發起金融操作。該能力已上線，並正在向合作夥伴推出，後續還將擴展至 Mesh 產品棧，覆蓋支付及其他受支持的交易類型。Mesh 成立於 2020 年，正在建設連接數百家交易所、錢包和金融服務平台的加密支付網絡。根據 Mesh 說明，用戶提出請求後，平台可呈現符合條件的帳戶和資金來源，包括已連接帳戶以及可連接的兼容帳戶。示例意圖為向帳戶存入 50 USDC。用戶說明擬採取的行動，並審核、確認交易細節後，Mesh 編排資金來源與目標平台之間的連接，資金移動前須經用戶批准。相關用途包括為帳戶轉入資金、完成支付或其他受支持操作。

ChainCatcher 消息，10 月 14 日，B.AI 宣布其官網與 Web Chat 頁面現已支持 11 種語言，涵蓋繁體中文、English、Français、日本語、한국어、Español、Русский、ไทย、Türkçe、Tiếng Việt 及 العربية。此次多語言擴展覆蓋東亞、東南亞、歐洲、中東及拉美等主要市場，讓全球開發者、企業團隊與 AI 用戶都能以更熟悉的語言界面探索前沿模型、連接全球智能。無論身處何地、使用何種語言，B.AI 都致力於降低 AI 使用門檻，讓智能服務無界觸達。立即登錄 b.ai 體驗多語言服務。

ChainCatcher 消息，阿里已任命劉大一恆為 Qwen 大語言模型負責人。雲棲大會官網也已將他的頭銜更新為「Qwen LLM 項目負責人」。劉大一恆 2021 年加入阿里，此後一直是 Qwen 核心研發成員。今年 3 月，Qwen 技術負責人林俊陽離職創業；6 月，負責 AI 模型研發的周靖人卸任相關管理職務，轉任阿里首席科學家。半年內連續調整後，Qwen 大語言模型線的負責人現在正式明確。劉大一恆也被放到了今年雲棲大會的核心位置。大會官網的演講嘉賓中，他排在阿里主席蔡崇信和 CEO 吳泳銘之後，並將在主論壇發表「Qwen：邁向真實世界智能體」演講。

ChainCatcher 消息，蘋果宣布 Siri 人工智慧今日開始以英語進行測試，未來將擴展至 5 種語言。Siri AI 在 iOS、iPadOS 和 watchOS 上初期將無法在歐盟使用。

ChainCatcher 消息，据路透社報導，蘋果已針對中國市場訓練了一款大語言模型，與阿里巴巴合作開發。這一舉措不同於蘋果此前依賴第三方模型的策略。知情人士透露，蘋果的 AI 工具套件 Apple Intelligence 預計將在 iOS 更新後，於未來幾個月在中國推出。

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

ChainCatcher 消息，數字資產交易平台 Gate 上線零代碼 AI 量化工作台，通過自然語言即可生成交易策略，並一鍵部署至實盤。用戶無需編寫代碼，只需用自然語言描述交易思路，系統即可自動生成可執行的量化策略，並基於真實歷史行情完成回測驗證，支持一鍵部署至真實市場運行。該平台將自然語言策略生成、生成級回測引擎與真實交易執行打通，形成"策略構思---數據驗證---交易執行"的完整閉環，顯著降低量化交易門檻。與此同時，Gate 重磅上線 Gate for AI，構建統一的 AI 能力接口體系，整合 CEX、DEX、錢包、實時資訊與鏈上數據五大關鍵能力。AI 量化工作台則在這一基礎上進一步拓展應用場景，將 AI 從數據與研究層延伸至策略生成與交易執行。隨著 AI 與交易基礎設施的持續融合，Gate 正持續強化 AI 驅動的交易能力，推進 Intelligent Web3 戰略落地。

ChainCatcher 消息，根據 Web3 資產數據平台 RootData X 追蹤數據顯示，過去 7 天，基於 Move 語言的貨幣市場 Echelon Market 為新增 X（推特） Top 人物關注者最多的項目，新關注該項目的 X 影響力人物包括 CryptoMaid(@maid_crypto)、小捕手 CHAOS(@iamyourchaos)、華語Web3 KOL Calman卡門 (@CalmanBTC)。此外， X Top 人物關注者最多的項目還包括 The TIE 和 PRED。

ChainCatcher 消息，Vitalik Buterin 在 X 平台發文表示，他正嘗試推動一項更具雄心的計劃：在現有系統之上構建一個"遵循賽博朋克原則且不醜陋的以太坊"擴展層，並儘可能實現與當前體系的緊密集成與高度互操作性。該方案將逐步發展，同時確保以太坊本身獲得必須系統級實現的賽博朋克與簡潔性特徵，包括抗審查性、對零知識證明友好以及共識層屬性等。Vitalik Buterin 進一步表示，未來 5 年內（甚至在 AI 編碼與形式化驗證加速的情況下更快），或將打通一條開放路徑，使現有系統在需要時可遷移為基於新體系語言編寫的智能合約。以太坊曾在運行過程中完成類似"空中更換噴氣發動機"的重大升級------如"合併"，未來仍有能力再進行約四次類似規模的系統級變革，包括狀態樹優化、精簡共識、ZK-EVM 驗證以及虛擬機層變更等。

ChainCatcher 消息，据財新網報導，某了解數字人民幣的技術人士透露，數字人民幣基於帳戶體系的智能合約，與公鏈上的智能合約，二者本質都是"條件觸發的自動執行代碼"，區別在於是否具有完全圖靈完備性。數字人民幣基於帳戶體系的智能合約，屬於受限圖靈完備，其編程嚴格限制在央行許可的模板腳本範圍內，僅支持預設的、簡單的條件觸發功能，這種設計主要出於安全性和風控考量。數字人民幣智能合約的開發支持多種編程語言，包括以太坊的Solidity等完全圖靈完備語言，所以技術上不是問題，但如何設計出一套能被金融體系接受的標準接入與審計機制是核心挑戰。

ChainCatcher 消息，Polymarket 華語商務佳佳在 X 平台發文表示，Polymarket 正在開發支持多個語言版本，其中也包括適配中文。

ChainCatcher 消息，今日 Binance 現貨交易日誌更新表明，預計近兩週將逐步支持 UTF-8 格式編碼。此前 29 日消息，Binance 現貨測試網曾調整支持 UTF-8 格式的相關改動。注：UTF-8 格式編碼意味著可支持多種語言或符號的現貨交易對，如中文。此外，據 GMGN 監測，或同時受市場回暖影響，BSC 鏈上回暖。多個中文 Meme 有不同程度漲幅，"惡俗企鵝"市值回升至 1000 萬美元以上，其中："幣安人生"：24 小時上漲 15%，市值暫報 1.3 億美元，現報價約 0.13 美元；"惡俗企鵝"：24 小時上漲 60%，市值暫報 1220 萬美元，現報價約 0.012 美元；"馬到成功"：24 小時上漲 47%，市值暫報 424 萬美元，現報價約 0.004 美元。ChainCatcher 提醒用戶，Meme 幣交易波動巨大，多依賴市場情緒和概念的炒作，並無實際價值或用例，投資者需注意風險。

ChainCatcher 消息，SIP-033 與 SIP-034 提案已在比特幣區塊高度 923222 正式啟動，比特幣智能合約層 Stacks 同步上線 Clarity 4 智能合約語言。此次升級為開發者新增六項核心功能：鏈上合約代碼哈希獲取與驗證、合約自定義後置條件設置、簡單值轉 ASCII 字符串、當前區塊時間戳獲取、secp256r1 簽名驗證（支持原生密鑰集成），以及維度化資源任期擴展機制。這些功能將降低比特幣原生 DeFi 應用的開發門檻，助力構建更安全靈活的金融協議，進一步強化 Stacks 作為比特幣生態流動性層的定位。Stacks 所有交易均在比特幣鏈上結算，依託轉帳證明機制獲得比特幣網絡安全保障。

ChainCatcher 消息，Cardity 團隊推出了一種新的 UTXO 智能編程語言，可用於在類似比特幣的區塊鏈（例如狗狗幣）上構建去中心化協議。該語言採用類似 Solidity 的語法，易於理解，專為代幣、DAO、投票、DeFi 等應用設計。開發者可以通過 .car 文件將協議部署到 UTXO 中。Cardity 的核心實現已開源，可在 GitHub 查看。

ChainCatcher 消息，据美國科技媒體 The Verge 報導，微軟 (MSFT.O) 與 OpenAI 的複雜關係即將迎來戲劇性轉折。就在雙方重新協商合同以允許 OpenAI 重組為營利性公司之際，OpenAI 正準備發布一款開放語言模型，這可能進一步加劇兩家公司的裂痕。知情人士透露，薩姆·奧特曼領導的這家 AI 實驗室即將在下週發布開放權重模型，該模型不僅會登陸 OpenAI 和微軟 Azure 伺服器，還將向其他雲服務商開放。與 OpenAI 通常採用的封閉權重模式不同，此次公開的權重參數（一種訓練參數）將向公眾開放，這種開放性意味著企業和政府能夠自主部署該模型。(金十)