PANews October 20 news, according to CoinDesk, Cardano founder Charles Hoskinson said on Sunday on X that he is personally developing a new programming language for Cardano. His collaborator is Input Output Global software engineer Lucas Rosa, who is also a co-creator of the Cardano smart contract language Aiken. Hoskinson said this will be the first language to combine transaction intents with cryptographic proofs that "the rules have been followed," supporting transaction intents, proof-carrying data, and Groth16 proofs. Developers can use it to build applications that coordinate transactions and verify complex conditions, with a small proof ultimately verified on-chain by Cardano. Cardano's existing smart contract languages are Plutus and Aiken. Hoskinson has not yet announced the language's name, public code, or launch date.
Cardano founder Charles Hoskinson personally develops a new programming language.
関連ニュース
AI時代の金融抑圧
📺 ビデオを見るBitcoin Magazine AI時代の金融抑圧オフショアリングにより、米国は重要技術を競合国に依存するようになったとクレイグ・ティンデールは指摘する。ハミルトンとアイゼンハワーを...
9月の米国債売り：インフレ期待ではなく、実質利回りの急上昇
市場は経済成長と資本需要を再評価しているかもしれないが、タームプレミアムは依然として懸念事項である。
タイのパタヤで武装強盗3人が中国人男性に暗号通貨82万ドルを送金するよう強要した。
ByteDanceのTRAEが2つのAIツールを統合、TraeWorkは10月23日にサービス終了へ。
バーンスタイン：TSMCの第3四半期売上高は1兆4900億台湾ドルに達すると予想され、市場コンセンサスを3％上回る。