Cardano創始人Charles Hoskinson親自開發新編程語言

PANews 10月20日消息，據CoinDesk報道，Cardano創始人Charles Hoskinson周日在X上表示，他正親自為Cardano開發一門新編程語言。合作者是Input Output Global軟件工程師Lucas Rosa，Lucas Rosa也是Cardano智能合約語言Aiken的聯合創建者。Hoskinson稱，這將是首個把交易意圖（intents）與「規則已被遵守」的密碼學證明結合起來的語言，支持交易意圖、證明攜帶數據（proof-carrying data）和Groth16證明。開發者可以用它構建能協調交易、校驗複雜條件的應用，最後由Cardano鏈上驗證一個小型證明。Cardano現有的智能合約語言是Plutus和Aiken。Hoskinson尚未公佈這門語言的名稱、公開代碼或上線時間。