論文の概要: Formal Model Guided Conformance Testing for Blockchains

• arxiv url: http://arxiv.org/abs/2501.08550v2
• Date: Sat, 18 Jan 2025 19:54:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-22 10:57:43.512892
• Title: Formal Model Guided Conformance Testing for Blockchains
• Title（参考訳）: ブロックチェーンのための形式モデルガイドコンフォーマンステスト
• Authors: Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin, Bernhard Scholz, Pavle Subotic,
• Abstract要約: 本稿では,プロトコルの形式モデルを用いたプロトコル適合性テストを行うフレームワークを提案する。 私たちのフレームワークは、トレースジェネレータとチェッカーとしてコンポーネントを使用する2つの補完的なコンポーネントで構成されています。
• 参考スコア（独自算出の注目度）: 1.4838910416636741
• License:
• Abstract: Modern blockchains increasingly consist of multiple clients that implement a single blockchain protocol. If there is a semantic mismatch between the protocol implementations, the blockchain can permanently split and introduce new attack vectors. Current ad-hoc test suites for client implementations are not sufficient to ensure a high degree of protocol conformance. As an alternative, we present a framework that performs protocol conformance testing using a formal model of the protocol and an implementation running inside a deterministic blockchain simulator. Our framework consists of two complementary workflows that use the components as trace generators and checkers. Our insight is that both workflows are needed to detect all types of violations. We have applied and demonstrated the utility of our framework on an industrial strength consensus protocol.
• Abstract（参考訳）: 現代のブロックチェーンはますます、単一のブロックチェーンプロトコルを実装する複数のクライアントで構成されています。 プロトコル実装間にセマンティックなミスマッチがある場合、ブロックチェーンは恒久的に分割し、新しいアタックベクタを導入することができる。 クライアント実装用の現在のアドホックテストスイートは、高いプロトコル適合性を保証するには不十分です。 代替として、プロトコルの形式モデルを用いてプロトコル適合性テストを行うフレームワークと、決定論的ブロックチェーンシミュレータ内で実行される実装を提案する。 私たちのフレームワークは、トレースジェネレータとチェッカーとしてコンポーネントを使用する2つの補完ワークフローで構成されています。 私たちの洞察では、いずれのワークフローも、あらゆる種類の違反を検出するために必要です。 我々は,産業力のコンセンサスプロトコルに適用し,その実用性を実証した。

関連論文リスト

• BlockFound: Customized blockchain foundation model for anomaly detection [47.04595143348698]
  BlockFoundは、異常なブロックチェーントランザクション検出のためのカスタマイズされた基盤モデルである。 ブロックチェーントランザクションのユニークなデータ構造をモデル化するための、一連のカスタマイズデザインを紹介します。 BlockFoundは、Solana上の異常なトランザクションを高精度に検出する唯一の方法である。
  論文  参考訳（メタデータ） (2024-10-05T05:11:34Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。 しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Sequencer Level Security [2.756899615600916]
  本稿では,ロールアップのシークエンシングプロトコルであるSequencer Level Security (SLS)プロトコルを紹介する。 本稿では、ロールアップメムプールに送信されたトランザクションと、レイヤ1から派生したトランザクションの両方に対するプロトコルの仕組みについて述べる。 我々は,GethとOPスタック上に構築されたSLSプロトコルであるZircuitのプロトタイプを実装した。
  論文  参考訳（メタデータ） (2024-05-03T02:47:40Z)
• Atomicity and Abstraction for Cross-Blockchain Interactions [2.041399528183464]
  マルチチェーンのアトミックトランザクションの現在の方法は、暗号スワップの範囲に限られている。 まず、チェーン間の通信のための一様で高レベルなインターフェースを定義する。 次に、操作が複数の連鎖にまたがる一般的なトランザクションに対して原子性を保証するプロトコルを定式化する。
  論文  参考訳（メタデータ） (2024-03-12T02:13:29Z)
• Generative AI-enabled Blockchain Networks: Fundamentals, Applications, and Case Study [73.87110604150315]
  Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。 本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
  論文  参考訳（メタデータ） (2024-01-28T10:46:17Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• BlockEmulator: An Emulator Enabling to Test Blockchain Sharding Protocols [18.755112831811836]
  BlockEmulatorはブロックチェーンシャーディングメカニズムをエミュレートするための実験的なプラットフォームである。 軽量なブロックチェーンアーキテクチャを採用しており、開発者は新しいプロトコルやメカニズムの実装のみに集中できる。 GithubでBlockEmulatorをオープンソース化しました。
  論文  参考訳（メタデータ） (2023-11-06T23:45:11Z)
• Blockchain Large Language Models [65.7726590159576]
  本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。 提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
  論文  参考訳（メタデータ） (2023-04-25T11:56:18Z)
• Towards automated verification of multi-party consensus protocols [0.0]
  Hyperledger Fabricフレームワークは、承認ポリシープロトコルに基づくマルチパーティのコンセンサスを公開して、トランザクションに関するコンセンサスに到達する。 本稿では,統計的モデル検査と仮説検証を用いた支持政策の検証手法を提案する。 私たちの技術を使って、Hyperledger Fabricフレームワークを使ってエンタープライズアプリケーションを設計できます。
  論文  参考訳（メタデータ） (2021-12-04T18:28:59Z)
• Talaria: A Framework for Simulation of Permissioned Blockchains for Logistics and Beyond [19.988195564240577]
  Talariaは、新しい認可型ブロックチェーンシミュレータである。 それは多くのプロトコルとユースケースをサポートしており、特にサプライチェーン管理において重要である。 Talariaは、実用的ビザンチンフォールトトレランス(pBFT)とProof-of-Authorityコンセンサスプロトコルの簡易バージョンの両方で設計されている。
  論文  参考訳（メタデータ） (2021-03-03T08:43:30Z)
• Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security [67.06003361150228]
  作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。 本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。 我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
  論文  参考訳（メタデータ） (2020-12-30T18:03:56Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。