論文の概要: Monitoring the Future of Smart Contracts
- arxiv url: http://arxiv.org/abs/2401.12093v1
- Date: Mon, 22 Jan 2024 16:31:45 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-18 08:27:10.851261
- Title: Monitoring the Future of Smart Contracts
- Title(参考訳): スマートコントラクトの将来をモニタリングする
- Authors: Margarita Capretto, Martin Ceresa, Cesar Sanchez,
- Abstract要約: 本稿では,将来的なモニタリングを可能にする計算モデルを提案する。
当社のモニタは、レガシトランザクションに対する正しい敬意、将来のバウンドモニタの実装方法、進捗の保証方法を示します。
- 参考スコア(独自算出の注目度): 0.2294014185517203
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and received. Smart contracts can invoke other smart contracts during the execution of transactions always initiated by external users. Once deployed, smart contracts cannot be modified, so techniques like runtime verification are very appealing for improving their reliability. However, the conventional model of computation of smart contracts is transactional: once operations commit, their effects are permanent and cannot be undone. In this paper, we proposed the concept of future monitors which allows monitors to remain waiting for future transactions to occur before committing or aborting. This is inspired by optimistic rollups, which are modern blockchain implementations that increase efficiency (and reduce cost) by delaying transaction effects. We exploit this delay to propose a model of computation that allows (bounded) future monitors. We show our monitors correct respect of legacy transactions, how they implement future bounded monitors and how they guarantee progress. We illustrate the use of future bounded monitors to implement correctly multi-transaction flash loans.
- Abstract(参考訳): ブロックチェーンは、信頼できる実行保証を提供する分散システムである。
スマートコントラクトは、トークンと暗号通貨の送受信方法を管理するブロックチェーン上で動作する、特殊なプログラミング言語で記述されたプログラムである。
スマートコントラクトは、外部ユーザによって常に起動されるトランザクションの実行中に、他のスマートコントラクトを呼び出すことができる。
デプロイが完了すると、スマートコントラクトを変更できないため、ランタイム検証のようなテクニックは信頼性の向上に非常に適しています。
しかし、スマートコントラクトの従来の計算モデルはトランザクショナルであり、オペレーションがコミットされると、その効果は永続的であり、取り消せない。
本稿では,コミットや中止前に,モニタが将来のトランザクションを待ち続けることができるような,将来のモニタの概念を提案する。
これは、トランザクション効果の遅延によって効率を向上(およびコスト削減)する、現代的なブロックチェーン実装である楽観的なロールアップにインスパイアされたものだ。
この遅延を利用して(有界な)将来のモニタを可能にする計算モデルを提案する。
当社のモニタは、レガシトランザクションに対する正しい敬意、将来のバウンドモニタの実装方法、進捗の保証方法を示します。
本稿では,マルチトランザクショナルフラッシュローンを正しく実装するために,将来の有界モニタの利用について述べる。
関連論文リスト
- Solvent: liquidity verification of smart contracts [2.680854115314008]
我々は、Solidityの範囲を超えているスマートコントラクトの検証ツールを提案する。
スマートコントラクトの共通ベンチマークを用いて,ツールの有効性と性能を評価する。
論文 参考訳(メタデータ) (2024-04-27T10:54:50Z) - Parallel Decoding via Hidden Transfer for Lossless Large Language Model Acceleration [54.897493351694195]
本稿では,複数連続するトークンを1つのフォワードパスで同時に復号する,新しい並列復号法,すなわちthithidden Transferを提案する。
加速度測定では,Medusa や Self-Speculative decoding など,単モデル加速技術よりも優れています。
論文 参考訳(メタデータ) (2024-04-18T09:17:06Z) - Towards Secure and Trusted-by-Design Smart Contracts [0.3499870393443268]
証拠取引には、金銭、出生証明書、ビザ、チケットなど、あらゆる形の物的証拠の交換が含まれる。
多くの場合、明らかなトランザクションは、物理的なエージェントの間で、明らかなプロトコルと呼ばれる複雑な手続きの文脈で発生する。
ブロックチェーンはエビデンスを転送するメカニズムを提供し、スマートコントラクトはブロックチェーン上にエビデンシャルプロトコルをエンコードすることを可能にする。
スマートコントラクトは信頼できるサードパーティを先導し、匿名で複数のマシン上で動作するため、セキュアで信頼性の高い設計のプログラムを構成する。
論文 参考訳(メタデータ) (2024-03-25T16:14:22Z) - Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction [10.723903783651537]
過去の取引履歴から契約仕様を推測するための仕様マイニング手法を提案する。
提案手法は,トランザクション履歴から統計的に推測されるプログラム不変量とともに,関数呼び出しの高レベルな挙動自動化を導出する。
論文 参考訳(メタデータ) (2024-03-20T03:39:51Z) - Transaction Capacity, Security and Latency in Blockchains [35.16231062731263]
中本コンセンサスでは,ブロックがk-deepになった後のブロックの安全性,すなわちセキュリティレイテンシを解析する。
我々は,ネットワーク遅延モデルに基づく中本コンセンサスの結果を比較し,安全違反閾値の類似境界を求める。
論文 参考訳(メタデータ) (2024-02-15T17:43:13Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Formally Verifying a Real World Smart Contract [52.30656867727018]
われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。
本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
論文 参考訳(メタデータ) (2023-07-05T14:30:21Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳(メタデータ) (2023-04-25T11:56:18Z) - A formal model for ledger management systems based on contracts and
temporal logic [0.0]
台帳のような第2世代のブロックチェーンは、スマートコントラクトと結合される。
任意のプログラミング構造としてのスマートコントラクトの現在の実装は、危険なバグを受けやすいものにしている。
本稿では,有限状態オートマトンとしてモデル化された契約の概念を形式化し,データベースの分割と信頼性の回復を提案する。
論文 参考訳(メタデータ) (2021-09-30T15:34:28Z) - Smart Contract Vulnerability Detection: From Pure Neural Network to
Interpretable Graph Feature and Expert Pattern Fusion [48.744359070088166]
従来のスマートコントラクトの脆弱性検出方法は、専門家の規則に大きく依存している。
最近のディープラーニングアプローチはこの問題を軽減するが、有用な専門家の知識をエンコードすることができない。
ソースコードから専門家パターンを抽出する自動ツールを開発する。
次に、深いグラフの特徴を抽出するために、コードをセマンティックグラフにキャストします。
論文 参考訳(メタデータ) (2021-06-17T07:12:13Z) - Blockchain Enabled Smart Contract Based Applications: Deficiencies with
the Software Development Life Cycle Models [0.0]
スマートコントラクトが格納されるブロックの不変性は、従来のソフトウェア開発ライフサイクル(SDLC)モデルと矛盾する。
本稿では,従来のSDLCモデル6つを最初に検討することによって,この問題に対処する。
発生した問題に対処するためには、新しい標準モデルの開発が緊急に必要である、と同社は主張する。
論文 参考訳(メタデータ) (2020-01-21T03:48:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。