Cardano創始人Charles Hoskinson親自開發新編程語言
日期：2026年10月20日 上午8:09PANews 10月20日消息，據CoinDesk報道，Cardano創始人Charles Hoskinson周日在X上表示，他正親自為Cardano開發一門新編程語言。合作者是Input Output Global軟件工程師Lucas Rosa，Lucas Rosa也是Cardano智能合約語言Aiken的聯合創建者。Hoskinson稱，這將是首個把交易意圖（intents）與「規則已被遵守」的密碼學證明結合起來的語言，支持交易意圖、證明攜帶數據（proof-carrying data）和Groth16證明。
内容來源：PANews
