論文の概要: BitVMX: A CPU for Universal Computation on Bitcoin
- arxiv url: http://arxiv.org/abs/2405.06842v1
- Date: Fri, 10 May 2024 22:41:23 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-14 19:44:41.714996
- Title: BitVMX: A CPU for Universal Computation on Bitcoin
- Title(参考訳): BitVMX:Bitcoin上でのユニバーサル計算のためのCPU
- Authors: Sergio Demian Lerner, Ramon Amela, Shreemoy Mishra, Martin Jonas, Javier Álvarez Cid-Fuentes,
- Abstract要約: BitVMXは、Bitcoin上で楽観的に任意のプログラムを実行する仮想CPUの新しい設計である。
私たちの最先端技術への貢献は、プログラムトレースのハッシュチェーン、メモリマップレジスタ、新しいチャレンジ-レスポンスプロトコルを使った設計です。
- 参考スコア(独自算出の注目度): 0.31457219084519
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: BitVMX is a new design for a virtual CPU to optimistically execute arbitrary programs on Bitcoin based on a challenge response game introduced in BitVM. Similar to BitVM1 we create a general-purpose CPU to be verified in Bitcoin script. Our design supports common architectures, such as RISC-V or MIPS. Our main contribution to the state of the art is a design that uses hash chains of program traces, memory mapped registers, and a new challenge-response protocol. We present a new message linking protocol as a means to allow authenticated communication between the participants. This protocol emulates stateful smart contracts by sharing state between transactions. This provides a basis for our verification game which uses a graph of pre-signed transactions to support challenge-response interactions. In case of a dispute, the hash chain of program trace is used with selective pre-signed transactions to locate (via $n$-ary search) and then recover the precise nature of errors in the computation. Unlike BitVM1, our approach does not require the creation of Merkle trees for CPU instructions or memory words. Additionally, it does not rely on signature equivocations. These differences help avoid complexities associated with BitVM1 and make BitVMX a compelling alternative to BitVM2. Our approach is quite flexible, BitVMX can be instantiated to balance transaction cost vs round complexity, prover cost vs verifier cost, and precomputations vs round complexity.
- Abstract(参考訳): BitVMXは、BitVMで導入されたチャレンジレスポンスゲームに基づいて、Bitcoin上で任意のプログラムを楽観的に実行する仮想CPUの新しい設計である。
BitVM1と同様に、Bitcoinスクリプトで検証される汎用CPUを作成します。
私たちの設計ではRISC-VやMIPSといった共通アーキテクチャをサポートしています。
私たちの最先端への貢献は、プログラムトレースのハッシュチェーン、メモリマップされたレジスタ、新しいチャレンジ-レスポンスプロトコルを使用する設計です。
参加者間の認証通信を可能にする手段として,新しいメッセージリンクプロトコルを提案する。
このプロトコルは、トランザクション間で状態を共有することによってステートフルなスマートコントラクトをエミュレートする。
これは、事前署名されたトランザクションのグラフを使用して、チャレンジ-レスポンスインタラクションをサポートする検証ゲームの基礎を提供する。
問題が発生した場合、プログラムトレースのハッシュチェーンは選択された事前署名されたトランザクションで使用され($n$-ary search)、計算におけるエラーの正確な性質を回復する。
BitVM1とは異なり、我々のアプローチはCPU命令やメモリワードのためのMerkleツリーの作成を必要としない。
また、署名の割り当てにも依存していない。
これらの違いは、BitVM1に関連する複雑さを回避し、BitVMXをBitVM2の魅力的な代替品にするのに役立つ。
我々のアプローチは非常に柔軟で、BitVMXはトランザクションコストとラウンドの複雑さ、証明コストと検証コスト、プリ計算とラウンドの複雑さのバランスをとるためにインスタンス化できます。
関連論文リスト
- DAG-Sword: A Simulator of Large-Scale Network Topologies for DAG-Oriented Proof-of-Work Blockchains [2.0124254762298794]
本稿では,DAGに基づくコンセンサスプロトコルに着目し,離散イベントシミュレータを提案する。
我々のシミュレーターは、Bitcoinネットワークのデータから生成された現実的なブロックチェーンネットワークをシミュレートすることができる。
7000ノードの大規模ネットワーク上で得られた結果により,10ノードの小規模ネットワークを含む関連作業の結果を拡張した。
論文 参考訳(メタデータ) (2023-11-08T12:31:11Z) - BlockEmulator: An Emulator Enabling to Test Blockchain Sharding Protocols [18.755112831811836]
BlockEmulatorはブロックチェーンシャーディングメカニズムをエミュレートするための実験的なプラットフォームである。
我々はBlockEmulatorの様々な機能を2つのステップでテストする。
GithubでBlockEmulatorをオープンソース化しました。
論文 参考訳(メタデータ) (2023-11-06T23:45:11Z) - CryptoBap: A Binary Analysis Platform for Cryptographic Protocols [6.514727189942011]
暗号プロトコルの弱い秘密と認証を検証するプラットフォームであるCryptoBapを紹介する。
まずプロトコルのバイナリを中間表現に変換し、次に暗号対応のシンボル実行を実行する。
提案手法の健全性を実証し,CryptoBapを用いて,おもちゃの例から実世界のプロトコルまで,複数のケーススタディを検証した。
論文 参考訳(メタデータ) (2023-08-28T09:41:45Z) - Secure compilation of rich smart contracts on poor UTXO blockchains [0.8192907805418581]
UTXOモデルのための中間レベル言語であるILLUMを提案する。
コンパイラをILLUMから、ループフリースクリプトでベアボーンのUTXOブロックチェーンに定義する。
コベナント(covenants)は、トランザクションのチェーンに沿ってスクリプトを保存するメカニズムです。
論文 参考訳(メタデータ) (2023-05-16T15:40:18Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳(メタデータ) (2023-04-25T11:56:18Z) - BiBench: Benchmarking and Analyzing Network Binarization [72.59760752906757]
ネットワークバイナライゼーションは、異常な計算とメモリ節約を提供する最も有望な圧縮手法の1つとして出現する。
精度劣化や効率制限といった双項化の一般的な課題は、その属性が完全には理解されていないことを示唆している。
ネットワークバイナライゼーションのための深度解析を用いた厳密に設計されたベンチマークであるBiBenchを提案する。
論文 参考訳(メタデータ) (2023-01-26T17:17:16Z) - Compression for Qubit Clocks [55.38708484314286]
クォービットクロックの同じ準備状態に対して$n$の圧縮プロトコルを提案する。
このプロトコルは、状態を$(1/2)log n$ qubitsと$(1/2)log n$ classical bitsに忠実にエンコードする。
論文 参考訳(メタデータ) (2022-09-14T09:45:53Z) - PLSSVM: A (multi-)GPGPU-accelerated Least Squares Support Vector Machine [68.8204255655161]
Support Vector Machines (SVM) は機械学習で広く使われている。
しかし、現代的で最適化された実装でさえ、最先端ハードウェア上の大きな非自明な高密度データセットにはうまくスケールしない。
PLSSVMはLVMのドロップイン代替として使用できる。
論文 参考訳(メタデータ) (2022-02-25T13:24:23Z) - Blockchain Framework for Artificial Intelligence Computation [1.8148198154149393]
ブロック検証とコンセンサス機構を深層強化学習プロセスとして設計する。
当社の手法は,次世代のパブリックブロックチェーンネットワークの設計に使用されている。
論文 参考訳(メタデータ) (2022-02-23T01:44:27Z) - 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) - Conditional Convolutions for Instance Segmentation [109.2706837177222]
我々はCondInstと呼ばれるシンプルだが効果的なインスタンスセグメンテーションフレームワークを提案する。
インスタンスに条件付き動的インスタンス認識ネットワークを採用しています。
本稿では,精度と推論速度の両面で性能の向上を実現するための,より単純なインスタンス分割法を示す。
論文 参考訳(メタデータ) (2020-03-12T08:42:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。