Hoskinson稱正基於密碼學証明構建新版Cardano語言

據Bitcoinist發布，Cardano創始人Charles Hoskinson表示，他正親自與Input Output Global工程師Lucas Rosa閤作開發一種新編程語言，結閤交易意圖、攜帶証明的數據（proof-carrying data）與Groth16証明，旨在簡化復雜區塊鏈操作。