論文の概要: Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems
- arxiv url: http://arxiv.org/abs/2501.17786v1
- Date: Wed, 29 Jan 2025 17:25:53 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-30 15:52:43.477157
- Title: Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems
- Title(参考訳): Atomic Transfer Graphs: 異種ブロックチェーンエコシステムのためのセキュア・バイ・デザインプロトコル
- Authors: Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez, Clara Schneidewind,
- Abstract要約: 本稿では,共通セキュリティと機能目標を実現するセキュア・バイ・デザインプロトコルを生成するフレームワークを提案する。
その結果生まれたプロトコルは、新しい最小限のスマートコントラクト機能であるTimelock Contracts (CTLC)上に構築される。
私たちのフレームワークは、既存のユースケース固有のプロトコルのパフォーマンスをマッチングまたは改善しながら、これらすべてのユースケースに対して、汎用的で証明可能なセキュアなプロトコルを初めて提供します。
- 参考スコア(独自算出の注目度): 7.312229214872541
- License:
- Abstract: The heterogeneity of the blockchain landscape has motivated the design of blockchain protocols tailored to specific blockchains and applications that, hence, require custom security proofs. We observe that many blockchain protocols share common security and functionality goals, which can be captured by an atomic transfer graph (ATG) describing the structure of desired transfers. Based on this observation, we contribute a framework for generating secure-by-design protocols that realize these goals. The resulting protocols build upon Conditional Timelock Contracts (CTLCs), a novel minimal smart contract functionality that can be implemented in a large variety of cryptocurrencies with a restricted scripting language (e.g., Bitcoin), and payment channels. We show how ATGs, in addition to enabling novel applications, capture the security and functionality goals of existing applications, including many examples from payment channel networks and complex multi-party cross-currency swaps among Ethereum-style cryptocurrencies. Our framework is the first to provide generic and provably secure protocols for all these use cases while matching or improving the performance of existing use-case-specific protocols.
- Abstract(参考訳): ブロックチェーンの展望の不均一性は、特定のブロックチェーンやアプリケーションに適したブロックチェーンプロトコルの設計を動機付けている。
多くのブロックチェーンプロトコルが共通のセキュリティと機能の目標を共有しており、所望の転送構造を記述する原子移動グラフ(ATG)によってキャプチャすることができる。
この観測に基づいて,これらの目標を実現するセキュア・バイ・デザイン・プロトコルを生成するためのフレームワークをコントリビュートする。
結果として得られたプロトコルは、Conditional Timelock Contracts (CTLC)の上に構築される。これは新しい最小限のスマートコントラクト機能で、制限付きスクリプト言語(例えば、Bitcoin)と支払いチャネルを備えた、さまざまな暗号通貨で実装できる。
我々は,新しいアプリケーションを実現することに加えて,支払いチャネルネットワークやEthereumスタイルの暗号通貨間の複雑なマルチパーティ間スワップなど,既存のアプリケーションのセキュリティと機能の目標を捉える方法を示す。
私たちのフレームワークは、既存のユースケース固有のプロトコルのパフォーマンスをマッチングまたは改善しながら、これらすべてのユースケースに対して、汎用的で証明可能なセキュアなプロトコルを初めて提供します。
関連論文リスト
- BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies [6.815730801645783]
BitMLxは、クロスチェーンスマートコントラクトのための最初のドメイン固有言語です。
我々は,複数の契約を交わす際に所定の戦略に従う誠実なユーザに対して,BitMLx契約の実行時と同様,少なくとも多くの資金を拠出することを示す。
論文 参考訳(メタデータ) (2025-01-29T16:16:37Z) - Formal Model Guided Conformance Testing for Blockchains [1.4838910416636741]
本稿では,プロトコルの形式モデルを用いたプロトコル適合性テストを行うフレームワークを提案する。
私たちのフレームワークは、トレースジェネレータとチェッカーとしてコンポーネントを使用する2つの補完的なコンポーネントで構成されています。
論文 参考訳(メタデータ) (2025-01-15T03:20:13Z) - 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) - Quantum-resistance in blockchain networks [46.63333997460008]
本稿では、ブロックチェーンネットワークにおける量子脅威を特定し、排除するために、米国間開発銀行、IDBラボ、LACChain、量子コンピューティング(CQC)、Tecnologicalo de Monterreyによる研究について述べる。
量子コンピューティングの出現は、非量子耐性暗号アルゴリズムを利用するため、インターネットプロトコルやブロックチェーンネットワークを脅かす。
論文 参考訳(メタデータ) (2021-06-11T23:39:25Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。