Aave：Stable VaultsはCertoraの形式検証を完了しました
Foresight Newsの報道によると、AaveはTwitterで、スマートコントラクトの形式的検証を行う企業である Certora が Stable Vaults の検証を完了したと発表しました。この検証は、StableVault、Funds Handler、Asset Registry、Allocator、IOU token などのコントラクトを対象としており、Solidity実装が Certora の形式的ルールに適合していることが確認されました。Stable Vaults は、固定金利型ステーブルコインの利回り向けの統合型ソリューションであり、任意の金融プロダクトへ組み込むことができます。関連する監査報告書はすでに公開されています。
免責事項：本記事の内容はあくまでも筆者の意見を反映したものであり、いかなる立場においても当プラットフォームを代表するものではありません。また、本記事は投資判断の参考となることを目的としたものではありません。
こちらもいかがですか？
SpaceX、Rocket Labなどの宇宙関連株に新たなカタリスト登場？アメリカが軌道上の宇宙兵器を初めて認め、“Golden Dome”計画が加速
アメリカ軍は初めて公式に認め、現在、軌道上に「宇宙制御兵器」を保有していることを明らかにしました。また、「Iron Dome」宇宙基盤迎撃器プロジェクトは「飛行可能なハードウェア」段階まで進展しています。
Meta（META.US）のザッカーバーグがAIの「スローダウン」論争に対して回答：モデルの能力向上とセキュリティの強化を引き続き推進
Meta PlatformsのCEOであるマーク・ザッカーバーグと、同社のAI責任者アレキサンダー・ワンは、AIの発展スピードを巡る議論で、AIラボは引き続きモデルの能力を推進すべきだと主張しました。また、急速に強化されるモデルに対して、より強力な防護対策を構築する必要があると述べています。
SK海力士（SKHY.US）が初めて米国でメモリチップ製造を計画、Intel（INTC.US）のオハイオ工場を借りるか、合弁会社を設立する可能性
韓国のSK Hynix（SKHY.US）は、Intel（INTC.US）と取引について協議していると報じられています。成功すれば、SK Hynixが米国国内で初めてメモリーチップの生産を行うことになります。
ポジションは866.8万ドルに達し、あるアドレスが20倍レバレッジでゴールドをロングしています。
暗号資産価格
もっと見る
