Mistral AI が Leanstral を発表：Lean 4 の最初のオープンソースコードエージェントで、自動的に形式化証明を出力

Pi Network のコアチーム：エコシステムにはすでに身分確認済みユーザーが1800万人以上います

Pi Network の公式発表によると、現在すでに KYC を完了したユーザーは 1,800 万人超に達しており、検証済みユーザーは、未検証のアカウントよりも取引においてより大きな意味を持つと強調しています。コアチームは、身元確認は取引の信頼性にとって極めて重要であると考えており、そのために完全な KYC 検証を備えたメインネットのエコシステムを構築し、身分を検証可能にしてスパムを減らし、全体としての信頼性を高めています。

Curve Finance が LayerZero のクロスチェーンを予防的に一時停止、CRV および crvUSD のブリッジで受け入れが制限される

Curve FinanceはrsETH関連のLayerZero基盤インフラが攻撃を受けたため、リスクを防ぐ目的でクロスチェーン機能を一時停止しており、CRVのクロスチェーンブリッジとcrvUSDの高速ブリッジに影響を与えています。創業者のEgorovは今回の出来事が「非アイソレート（隔離されない）レンディング」のリスクを示していると述べ、代替案として完全な隔離モードを提案しました。Kelp DAOは攻撃によって約2.92億ドルの損失を被り、Aaveプラットフォームでの貸し借り活動に影響が出ています。

AAVE（Aave）24時間で6.53%下落

ゲートニュースの配信、4月20日、Gateのマーケット情報によると、記事作成時点でAAVE（Aave）は92.32ドルで取引されており、24時間で6.53%下落しています。最高値は99.17ドルまで到達し、最安値は88.71ドルまで下落しました。24時間の取引量は1695.44万ドルです。現在の時価総額は約14.01億ドルです。 Aaveはオープンソースの分散型貸付プロトコルで、ユーザーに預金と借入のサービスを提供しています。借入側と貸付側のユーザーの預金金利および貸出金利は、プラットフォームの借入量と預金量に基づいてアルゴリズムで算出され、さらにプラットフォームはChainlinkのオラクルを採用して担保資産の価格の公正性を確保しています。 AAVEの最近の重要ニュース： 1️⃣ **Kelp DAOのクロスチェーンブリッジがハッキング被害を受け、流動性危機が発生*

TinderとZoomの連携でWorld ID 4.0がローンチ、認証ユーザーが1800万人に到達

Tools for HumanityはWorld ID 4.0をローンチし、鍵のローテーションと段階的なオプションで生体認証システムを強化しました。ユーザー数は1,800万人で、TinderとZoomと連携しています。同社は、WLDトークン価値が97%下落したにもかかわらず、資金調達を通じた拡大を支援しています。

Curve Finance、rsETHハック後にLayerZeroインフラを停止

Curve Financeは、rsETHをめぐるセキュリティインシデントのため、一時的にLayerZeroのインフラを停止しました。プロトコルは問題を調査中であり、一部のクロスチェーン・ブリッジング操作に影響していますが、その他は通常どおり継続しています。

Monadの共同創業者、ハッキングリスクを軽減するため担保預入の動的キャップを提案

ケオネ・ホン氏は、プール型レンディング・プロトコルはハック時のリスクを軽減するために、担保資産の増加に対して段階的なレート制限を導入すべきだと提案しています。彼は、rsETHの預託者に見られたような大きな損失が防げた可能性があると主張しています。