WAVSレジストリ契約はHashlockによって「安全」と評価されました

プレスリリース

Layer Labs、WAVS (Web Assembly 検証可能サービス) ランタイムの背後にいるチームは、Hashlockによる包括的なスマートコントラクト監査の結果、‘Secure’評価を達成しました。WAVSは、よりスマートな検証可能なアプリケーションを構築するためのベースレイヤーです：動的で軽量、モジュラーでコンポーザブル、EVMおよびマルチチェーン展開にわたってスケーラブルです。

WAVSは、開発者がオフチェーンコンピュートをオンチェーン検証と組み合わせて、AIエージェント、カスタムオラクル、インデクシング、サーバーレス関数、ブリッジなどをエコシステム全体で構築することを可能にします。

ハッシュロックはまずアーキテクチャにアプローチしました: レジストリの信頼境界と失敗モードをモデル化します。次にコード: 核心のWAVSレジストリ契約の手動、競争レベルの行単位レビューと、仮定を圧力テストするためのターゲット自動チェック。

Hashlockは、現実世界で重要なもの、つまりアップグレードパス、管理面、状態遷移を破ろうとしました。発見は重大さ、影響の証拠、修正パスとともに提供されました。

修正後、Hashlockは変更を確認し、「安全」評価を付与しました。公開監査ページは、範囲と結果を記録しています。

2025年9月に行われたWAVSレジストリの最初の公的レビューとして、この監査はLayerのWAVSアーキテクチャに対して明確なセキュリティベースラインを確立します。プラットフォームのスケールに伴い、追加の範囲が計画されており、プラットフォームを強化します。

レポートはここにあります：

ハッシュロックについて:

ハッシュロックは、スマートコントラクト監査とブロックチェーンサイバーセキュリティを専門とする先進的なWeb3セキュリティ企業です。私たちの使命は、厳格な監査と包括的なセキュリティサービスを通じて、ブロックチェーン技術の安全な採用を確保することです。

ウェブサイト:

X:

LinkedInの:

レイヤーについて:

Layerは、分散型計算の未来を構築するソフトウェア開発会社です。LayerのWeb Assembly Verifiable Services (WAVS)は、検証可能なアプリケーションを構築するためのベースレイヤーであり、どのチェーンにおいてもオンチェーンおよびオフチェーン環境を横断して構築することが容易になります。WAVSを使用することで、開発者は決定論的なAIエージェント、オラクル、インセンティブメカニクス、そしてDeFiアプリを構築できます。

レイヤーウェブサイト:

WAVSウェブサイト:

WAVSのGithub:

レイヤーX:x.com/LayerOnEth

WAVSデベロッパーX:

テレグラム: