NASA で先駆的に開発された正式な検証手法を適用してコンピューティング システムの安全性、信頼性、正確性を向上させるイリノイ州に本拠を置くセキュリティ監査会社 Runtime Verification は、MultiversX ブロックチェーンをコンセンサス層として使用するユニバーサル ZK ロールアップである PI Squared を開始します。  MultiversX が主催する xDay カンファレンスの 3 日目のプレミアで明らかになったが、PI Squared は、計算上の主張の検証を数学的証明の検証に減らす予定です。これは、カスタム (並列) ZK 回路として実装されたユニバーサル プルーフ チェッカーを介して行われます。 ブロックチェーン空間の急激な成長に伴い、ハッキングやスマートコントラクトの悪用が増加しており、より優れたセキュリティ標準の必要性が生じています。したがって、Runtime Verification の ZK ロールアップ ベースのソリューションは、主にレイヤー 1 ネットワークのスケーラビリティを向上させるためにこのテクノロジーを使用する代替手段とは異なり、導入を妨げるこれらの問題を排除する重要なツールとして機能します。 プログラミング言語や VM に依存しないため、ワークフローで MultiversX ブロックチェーンの機能を活用するあらゆる開発者、ユーザー、企業が、トラストレスかつプログラム的に正確性の証明を簡単に検証できるようになります。 また、この動きにより、設計段階から微妙なバグやロジックの欠陥を発見するためのアクセス可能な開発ツールキットを提供することにより、MultiversX エコシステムが、高価値のユースケースを安全に展開したいと考えているスタートアップや企業にとっての最有力候補となります。   イベントは、AI、フィンテック、ゲームなどを世界で最も堅牢でスケーラブルで安全なブロックチェーン アーキテクチャと接続する大規模なパートナーシップによって促進され、Web3 分野に新たな成長のスーパーウェーブを引き起こしました。 xDay 実行時検証について ランタイム検証は、過去 20 年間にわたってソフトウェア開発の正式な検証手法の先駆けとなってきました。これは NASA で始まり、徐々にブロックチェーン領域に浸透してきました。スマート コントラクトのコンポーザビリティとブロックチェーン アーキテクチャに伴う複雑さの増大により、おそらくブロックチェーン領域が最も必要とされています。   MultiversX について ユーザー、ビジネス、社会、そして新しいメタバース フロンティアのための根本的に新しいアプリケーションを可能にするために作成された、拡張性が高く安全な分散型ブロックチェーン ネットワーク。

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Scale across the Multiverse. Build new apps, new economies, new worlds.

このオーディオは、ストーリーの元の言語で制作されています。

ランタイム検証により MultiversX でユニバーサル ZK ロールアップが開始

About Author

コメント

ラベル

この記事は

Related Stories

クラウド移行を成功させるための完全ガイド: 戦略とベストプラクティス

海を航海する: データレイクを使用した本番環境レベルの RAG アプリケーションの開発

目に見えない層: ユーザーインタビューがかけがえのない資産である理由

ユーザー中心の暗号通貨製品の作成: 顧客からのフィードバックの重要性

クラウド移行を成功させるための完全ガイド: 戦略とベストプラクティス

海を航海する: データレイクを使用した本番環境レベルの RAG アプリケーションの開発

目に見えない層: ユーザーインタビューがかけがえのない資産である理由

ユーザー中心の暗号通貨製品の作成: 顧客からのフィードバックの重要性

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps