Movement Aptos Coreが機密資産の重大な暗号化脆弱性にパッチを適用
Movementのコアチームは、機密資産モジュール内の重大なセキュリティ修正をマージしました。残高減算バグを修正し、偽造不可能な登録プルーフと無効化された監査チャネルにつながる可能性のある恒等点公開鍵を拒否します。

プロトコルアップデート、開発者リソース、イベント、エコシステムの成長など、Movementエコシステムを幅広くカバーしています。
11 件の記事 カテゴリ: 開発者リリース
Movementのコアチームは、機密資産モジュール内の重大なセキュリティ修正をマージしました。残高減算バグを修正し、偽造不可能な登録プルーフと無効化された監査チャネルにつながる可能性のある恒等点公開鍵を拒否します。

Movement Aptos Coreは、aptos_framework::objectモジュール内の所有権関連関数に`#[view]`アノテーションを追加する新機能をマージし、開発者がオブジェクト所有権のステータスをオフチェーンで照会できるようになりました。

MovementのAptos Core PR #167では、`DECOMMISSION_CORE_RESOURCES`フィーチャーフラグと新しい`account::destroy_account_from`関数が導入され、Aptosフレームワークを通じてコアリソースアカウント(@a550c18)の制御された廃止が可能になりました。

MovementのAptos Coreフレームワークに、ERC20とMove L2間でのシームレスな資産転送を実現するネイティブアトミックブリッジが統合されました。このブリッジはガバナンス設定可能なリレイヤーロールとタイムロック機能を備えており、形式的検証が進行中です。

Movement Aptos Coreリポジトリに、Governed Gas Pool(GGP)がステーキング報酬配布に必要な資金を持たない場合にエポック変更が中止されるのを防ぐフェイルセーフ機構がマージされました。このアップデートはバリデータが部分的またはゼロの報酬を受け取る一方で、ネットワークの安定性を確保します。

Movementの公式プロトコルドキュメンテーションが、手数料分配とステーキング報酬フローに関する詳細な仕様で拡張されました。この更新には、Reward-and-Gas-Poolメカニズムの機能を説明するインタラクティブなトークノミクスビジュアライゼーションが含まれています。

Movementのコア開発チームは、コンフィデンシャル資産転送証明のバッチ検証システムにおける暗号脆弱性にパッチを適用しました。マルチスカラー乗算(MSM)バッチ処理最適化におけるガンマインデックス生成の衝突を防止し、複数監査人での証明の健全性低下を阻止します。

Movementのaptos-coreリポジトリで、Lean 4を使用したMove標準ライブラリの形式的検証フレームワークが拡張され、vector::index_of関数の完全な正当性証明と、エラーハンドリング、オプション型、署名者操作、固定小数点演算を対象とした新しい仕様モジュールが追加されました。

MovementのaptosCoreリポジトリに包括的なLean 4バイトコードインタプリタ、洗練プルーフ、およびMove VMと形式仕様を比較する差分テストハーネスが統合されました。更新には標準ライブラリベクトル仕様と暗号モジュールレイアウトが含まれ、プロトコル正確性の保証が強化されます。

Movementのドキュメントが更新され、Movement Name Service (MNS)の包括的なガイダンスが提供されるようになりました。SDK統合例、ドメイン管理方法、テストネット向けの検証済みGraphQLインデクサークエリが含まれています。
