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

• arxiv url: http://arxiv.org/abs/2501.08550v1
• Date: Wed, 15 Jan 2025 03:20:13 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-16 15:53:16.087436
• 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 the 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つの補完ワークフローで構成されています。 私たちの洞察では、いずれのワークフローも、あらゆる種類の違反を検出するために必要です。 我々は,産業力のコンセンサスプロトコルに適用し,その実用性を実証した。

関連論文リスト

• Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems [7.312229214872541]
  本稿では,共通セキュリティと機能目標を実現するセキュア・バイ・デザインプロトコルを生成するフレームワークを提案する。 その結果生まれたプロトコルは、新しい最小限のスマートコントラクト機能であるTimelock Contracts (CTLC)上に構築される。 私たちのフレームワークは、既存のユースケース固有のプロトコルのパフォーマンスをマッチングまたは改善しながら、これらすべてのユースケースに対して、汎用的で証明可能なセキュアなプロトコルを初めて提供します。
  論文  参考訳（メタデータ） (2025-01-29T17:25:53Z)
• Commit0: Library Generation from Scratch [77.38414688148006]
  Commit0は、AIエージェントにスクラッチからライブラリを書くよう促すベンチマークである。 エージェントには、ライブラリのAPIを概説する仕様文書と、インタラクティブなユニットテストスイートが提供されている。 Commit0はまた、モデルが生成したコードに対して静的解析と実行フィードバックを受け取る、インタラクティブな環境も提供する。
  論文  参考訳（メタデータ） (2024-12-02T18:11:30Z)
• 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)
• 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)
• 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)

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

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