論文の概要: BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
- arxiv url: http://arxiv.org/abs/2501.17733v1
- Date: Wed, 29 Jan 2025 16:16:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-30 15:52:45.215065
- Title: BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
- Title（参考訳）: BitMLx:Bitcoinスタイルの暗号通貨のためのセキュアなクロスチェーンスマートコントラクト
- Authors: Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind,
- Abstract要約: BitMLxは、クロスチェーンスマートコントラクトのための最初のドメイン固有言語です。
我々は,複数の契約を交わす際に所定の戦略に従う誠実なユーザに対して,BitMLx契約の実行時と同様,少なくとも多くの資金を拠出することを示す。
- 参考スコア（独自算出の注目度）: 6.815730801645783
- License:
- Abstract: A smart contract is an interactive program that governs funds in the realm of a single cryptocurrency. Yet, the many existing cryptocurrencies have spurred the design of cross-chain applications that require interactions with multiple cryptocurrencies simultaneously. Currently, cross-chain applications are implemented as use-case-specific cryptographic protocols that serve as overlay to synchronize smart contract executions in the different cryptocurrencies. Hence, their design requires substantial expertise, as well as a security analysis in complex cryptographic frameworks. In this work, we present BitMLx, the first domain-specific language for cross-chain smart contracts, enabling interactions with several users that hold funds across multiple Bitcoin-like cryptocurrencies. We contribute a compiler to automatically translate a BitMLx contract into one contract per involved cryptocurrency and a user strategy that synchronizes the execution of these contracts. We prove that an honest user, who follows the prescribed strategy when interacting with the several contracts, ends up with at least as many funds as in the corresponding execution of the BitMLx contract. Last, but not least, we implement the BitMLx compiler and demonstrate its utility in the design of illustrative examples of cross-chain applications such as multi-chain donations or loans across different cryptocurrencies.
- Abstract（参考訳）: スマートコントラクトは、単一の暗号通貨の領域で資金を管理する対話型プログラムである。
しかし、既存の多くの暗号通貨は、複数の暗号通貨との相互作用を必要とするクロスチェーンアプリケーションの設計を刺激している。
現在、クロスチェーンアプリケーションは、異なる暗号通貨におけるスマートコントラクト実行を同期するオーバーレイとして機能するユースケース固有の暗号プロトコルとして実装されている。
そのため、それらの設計には相当な専門知識と、複雑な暗号フレームワークのセキュリティ分析が必要である。
この作業では、クロスチェーンなスマートコントラクトのための最初のドメイン固有言語であるBitMLxを紹介します。
我々は、BitMLx契約を関連する暗号通貨ごとに1つの契約に自動的に翻訳するコンパイラと、それらの契約の実行を同期するユーザ戦略をコントリビュートする。
我々は,複数の契約を交わす際に所定の戦略に従う誠実な利用者が,BitMLx契約の実行に該当する金額の少なくとも1倍の資金を得られることを証明した。
最後に、重要なこととして、BitMLxコンパイラを実装し、マルチチェーンの寄付や異なる暗号通貨間のローンといった、クロスチェーンアプリケーションの実証的な例の設計において、その実用性を実証する。
関連論文リスト
- ElasticTok: Adaptive Tokenization for Image and Video [109.75935878130582]
我々は、フレームを可変数のトークンに適応的にエンコードする、事前のフレームを条件付けするElasticTokを紹介する。
推論中、ElasticTokは必要に応じてトークンを動的に割り当てる。
画像とビデオに対する評価は,トークンの有効利用におけるアプローチの有効性を示すものである。
論文 参考訳（メタデータ） (2024-10-10T20:54:15Z) - BlockFound: Customized blockchain foundation model for anomaly detection [47.04595143348698]
BlockFoundは、異常なブロックチェーントランザクション検出のためのカスタマイズされた基盤モデルである。
ブロックチェーントランザクションのユニークなデータ構造をモデル化するための、一連のカスタマイズデザインを紹介します。
BlockFoundは、Solana上の異常なトランザクションを高精度に検出する唯一の方法である。
論文 参考訳（メタデータ） (2024-10-05T05:11:34Z) - Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs [0.820828081284034]
分散環境では、送信されたデータはセマンティック相互運用性の標準を使って構成されます。
本稿では,高レベルな意味知識グラフを用いたスマートコントラクト論理の符号化を提案する。
セマンティックなKGに基づいてスマートコントラクトコードを自動的に生成できることを示す。
論文 参考訳（メタデータ） (2024-09-11T13:46:24Z) - The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳（メタデータ） (2024-07-16T20:53:04Z) - Towards Secure and Trusted-by-Design Smart Contracts [0.3499870393443268]
証拠取引には、金銭、出生証明書、ビザ、チケットなど、あらゆる形の物的証拠の交換が含まれる。
多くの場合、明らかなトランザクションは、物理的なエージェントの間で、明らかなプロトコルと呼ばれる複雑な手続きの文脈で発生する。
ブロックチェーンはエビデンスを転送するメカニズムを提供し、スマートコントラクトはブロックチェーン上にエビデンシャルプロトコルをエンコードすることを可能にする。
スマートコントラクトは信頼できるサードパーティを先導し、匿名で複数のマシン上で動作するため、セキュアで信頼性の高い設計のプログラムを構成する。
論文 参考訳（メタデータ） (2024-03-25T16:14:22Z) - Atomicity and Abstraction for Cross-Blockchain Interactions [2.041399528183464]
マルチチェーンのアトミックトランザクションの現在の方法は、暗号スワップの範囲に限られている。
まず、チェーン間の通信のための一様で高レベルなインターフェースを定義する。
次に、操作が複数の連鎖にまたがる一般的なトランザクションに対して原子性を保証するプロトコルを定式化する。
論文 参考訳（メタデータ） (2024-03-12T02:13:29Z) - InterCode: Standardizing and Benchmarking Interactive Coding with
Execution Feedback [50.725076393314964]
標準的な強化学習環境として,インタラクティブコーディングの軽量でフレキシブルで使いやすいフレームワークであるInterCodeを紹介した。
私たちのフレームワークは、言語とプラットフォームに依存しない、自己完結型のDocker環境を使用して、安全で再現可能な実行を提供します。
我々は、異なるプロンプト戦略で構成された複数の最先端LLMを評価することにより、InterCodeの生存性をテストベッドとして示す。
論文 参考訳（メタデータ） (2023-06-26T17:59:50Z) - Secure compilation of rich smart contracts on poor UTXO blockchains [0.8192907805418581]
UTXOモデルのための中間レベル言語であるILLUMを提案する。
コンパイラをILLUMから、ループフリースクリプトでベアボーンのUTXOブロックチェーンに定義する。
コベナント(covenants)は、トランザクションのチェーンに沿ってスクリプトを保存するメカニズムです。
論文 参考訳（メタデータ） (2023-05-16T15:40:18Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。