論文の概要: 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（参考訳）: ブロックチェーンは、信頼できる実行保証を提供する分散システムである。
スマートコントラクトは、トークンと暗号通貨の送受信方法を管理するブロックチェーン上で動作する、特殊なプログラミング言語で記述されたプログラムである。
スマートコントラクトは、外部ユーザによって常に起動されるトランザクションの実行中に、他のスマートコントラクトを呼び出すことができる。
デプロイが完了すると、スマートコントラクトを変更できないため、ランタイム検証のようなテクニックは信頼性の向上に非常に適しています。
しかし、スマートコントラクトの従来の計算モデルはトランザクショナルであり、オペレーションがコミットされると、その効果は永続的であり、取り消せない。
本稿では,コミットや中止前に,モニタが将来のトランザクションを待ち続けることができるような,将来のモニタの概念を提案する。
これは、トランザクション効果の遅延によって効率を向上(およびコスト削減)する、現代的なブロックチェーン実装である楽観的なロールアップにインスパイアされたものだ。
この遅延を利用して(有界な)将来のモニタを可能にする計算モデルを提案する。
当社のモニタは、レガシトランザクションに対する正しい敬意、将来のバウンドモニタの実装方法、進捗の保証方法を示します。
本稿では,マルチトランザクショナルフラッシュローンを正しく実装するために,将来の有界モニタの利用について述べる。
関連論文リスト
- Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach [0.0]
「信頼の技術」は、中央権力を必要とせず、非信頼関係の当事者間の取引を仲介するために用いられる。
トランザクションはブロックチェーンプラットフォームやスマートコントラクトと呼ばれるユーザプログラムを通じてユーザ定義される。
スマートコントラクトが提供するトランザクションプログラマビリティの大幅な柔軟性にもかかわらず、ユーザビリティ、堅牢性、パフォーマンス上の課題がいくつか発生している。
本稿では、よりプリミティブをネイティブなトランザクションタイプに組み込んだ代替トランザクションフレームワークを提案する。
論文 参考訳（メタデータ） (2024-11-04T20:44:14Z) - The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳（メタデータ） (2024-07-16T20:53:04Z) - T-Watch: Towards Timed Execution of Private Transaction in Blockchains [3.3887950601672086]
本稿では,トランザクションの時間的実行をスケジューリングするための分散型かつ費用効率のアプローチであるT-Watchを提案する。
スケジュールされたトランザクションのプライベート要素が将来の時間枠の前に開示されるのを防ぐため、T-Watchはスケジュールされたトランザクションの復号鍵の共有を保持する。
T-Watchにおけるスマートコントラクト実行のコストを削減するため,提案プロトコルを既定で楽観的モードで実行するように慎重に設計し,誤動作が発生したら悲観的モードに切り替える。
論文 参考訳（メタデータ） (2024-05-14T01:58:32Z) - 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) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z) - An Empirical Study on Real Bug Fixes from Solidity Smart Contract
Projects [37.39791127265096]
46の現実的Solidityスマートコントラクトプロジェクトから,歴史的バグフィックスに関する実証的研究を行った。
この過程で4つの知見を抽出し,これらの4つの疑問を探求する。
私たちは、Solidityスマートコントラクトのバグ修正に対する現在のアプローチを改善するために、実行可能な意味を提供します。
論文 参考訳（メタデータ） (2022-10-21T14:26:53Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。