論文の概要: A formal model for ledger management systems based on contracts and
temporal logic
- arxiv url: http://arxiv.org/abs/2109.15212v1
- Date: Thu, 30 Sep 2021 15:34:28 GMT
- ステータス: 処理完了
- システム内更新日: 2021-10-01 14:43:40.353888
- Title: A formal model for ledger management systems based on contracts and
temporal logic
- Title(参考訳): 契約と時間論理に基づく台帳管理システムの形式モデル
- Authors: Paolo Bottoni, Anna Labella, Remo Pareschi
- Abstract要約: 台帳のような第2世代のブロックチェーンは、スマートコントラクトと結合される。
任意のプログラミング構造としてのスマートコントラクトの現在の実装は、危険なバグを受けやすいものにしている。
本稿では,有限状態オートマトンとしてモデル化された契約の概念を形式化し,データベースの分割と信頼性の回復を提案する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A key component of blockchain technology is the ledger, viz., a database
that, unlike standard databases, keeps in memory the complete history of past
transactions as in a notarial archive for the benefit of any future test. In
second-generation blockchains such as Ethereum the ledger is coupled with smart
contracts, which enable the automation of transactions associated with
agreements between the parties of a financial or commercial nature. The
coupling of smart contracts and ledgers provides the technological background
for very innovative application areas, such as Decentralized Autonomous
Organizations (DAOs), Initial Coin Offerings (ICOs) and Decentralized Finance
(DeFi), which propelled blockchains beyond cryptocurrencies that were the only
focus of first generation blockchains such as the Bitcoin. However, the
currently used implementation of smart contracts as arbitrary programming
constructs has made them susceptible to dangerous bugs that can be exploited
maliciously and has moved their semantics away from that of legal contracts. We
propose here to recompose the split and recover the reliability of databases by
formalizing a notion of contract modelled as a finite-state automaton with
well-defined computational characteristics derived from an encoding in terms of
allocations of resources to actors, as an alternative to the approach based on
programming. To complete the work, we use temporal logic as the basis for an
abstract query language that is effectively suited to the historical nature of
the information kept in the ledger.
- Abstract(参考訳): ブロックチェーン技術の鍵となるコンポーネントは台帳のviz.であり、標準のデータベースとは異なり、将来のテストの恩恵のために、ノイズアーカイブのような過去のトランザクションの完全な履歴を記憶するデータベースである。
Ethereumのような第2世代のブロックチェーンでは、台帳はスマートコントラクトと結合され、金融あるいは商業的な性質の当事者間の合意に関連するトランザクションの自動化を可能にする。
スマートコントラクトと台帳の結合は、分散型自律組織(DAO)やICO(Initial Coin Offerings)、DeFi(Decentralized Finance)など、非常に革新的なアプリケーション分野の技術的背景を提供する。
しかし、スマートコントラクトを任意のプログラミング構成要素として現在使われている実装は、悪質に悪用され、法的契約からセマンティクスを遠ざける危険なバグに影響を受けやすくしている。
本稿では,有限状態オートマトンとしてモデル化された契約の概念を,資源をアクタに割り当てることから得られる計算特性を,プログラミングに基づくアプローチの代替として定式化し,データベースの分割と信頼性の回復を提案する。
作業の完了には、台帳に格納された情報の歴史的性質に効果的に適合する抽象的なクエリ言語の基礎として、時間論理を用いる。
関連論文リスト
- Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Building Random, Fair, and Verifiable Games on Blockchain. Raffle smart
contract designs on Sui Network [10.410456199908587]
本稿では,ブロックチェーン上での公正で検証可能な,効率的なスマートコントラクトゲームの設計に関する洞察を提供することを目的とする。
DRAND委員会ベースの分散ランダムビーコンや1つのプライベートキーベースの検証可能なランダム関数(VRF)など、スマートコントラクトにランダム性を実装する効率的な方法を検討する。
我々の発見は、スマートコントラクトでランダムで公正で検証可能なゲームを構築するための、将来の研究者や開発者にとって貴重なガイダンスを提供する。
論文 参考訳(メタデータ) (2023-10-18T20:12:44Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳(メタデータ) (2023-04-25T11:56:18Z) - Blockchains through ontologies: the case study of the Ethereum ERC721
standard in OASIS (Extended Version) [0.0]
本稿では,ブロックチェーン上に格納されたスマートコントラクトをソフトウェアエージェントとして意味表現する一般的な手段として,エージェント,システム,サービス統合のためのEmphOntologyを利用する方法について報告する。
ERC721標準による管理をケーススタディとして提示したNFT(Non-fungible tokens)に特に注意が払われる。
論文 参考訳(メタデータ) (2021-09-07T06:54:11Z) - Smart Contract Vulnerability Detection: From Pure Neural Network to
Interpretable Graph Feature and Expert Pattern Fusion [48.744359070088166]
従来のスマートコントラクトの脆弱性検出方法は、専門家の規則に大きく依存している。
最近のディープラーニングアプローチはこの問題を軽減するが、有用な専門家の知識をエンコードすることができない。
ソースコードから専門家パターンを抽出する自動ツールを開発する。
次に、深いグラフの特徴を抽出するために、コードをセマンティックグラフにキャストします。
論文 参考訳(メタデータ) (2021-06-17T07:12:13Z) - A Bytecode-based Approach for Smart Contract Classification [10.483992071557195]
ブロックチェーンプラットフォームにデプロイされるスマートコントラクトの数は指数関数的に増えているため、ユーザは手動のスクリーニングによって望ましいサービスを見つけることが難しくなっている。
スマートコントラクト分類に関する最近の研究は、契約ソースコードに基づく自然言語処理(NLP)ソリューションに焦点を当てている。
本稿では,これらの問題を解決するために,ソースコードの代わりにコントラクトバイトコードの特徴に基づく分類モデルを提案する。
論文 参考訳(メタデータ) (2021-05-31T03:00:29Z) - ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep
Neural Network and Transfer Learning [80.85273827468063]
既存の機械学習ベースの脆弱性検出方法は制限され、スマートコントラクトが脆弱かどうかのみ検査される。
スマートコントラクトのための初のDeep Neural Network(DNN)ベースの脆弱性検出フレームワークであるESCORTを提案する。
ESCORTは6種類の脆弱性に対して平均95%のF1スコアを達成し,検出時間は契約あたり0.02秒であることを示す。
論文 参考訳(メタデータ) (2021-03-23T15:04:44Z) - The Application of Blockchain-Based Crypto Assets for Integrating the
Physical and Financial Supply Chains in the Construction & Engineering
Industry [2.3569088511882335]
本稿では、ブロックチェーンベースの暗号資産が、商品の流れに基づいて資金の流れを条件付ける際に、その限界にどう対処できるかを示す。
論文は建設進行費の文脈で検証される。
論文 参考訳(メタデータ) (2020-12-03T18:27:16Z) - Second layer data governance for permissioned blockchains: the privacy
management challenge [58.720142291102135]
新型コロナウイルス(COVID-19)やエボラウイルス(エボラ出血熱)のようなパンデミックの状況では、医療データを共有することに関連する行動は、大規模な感染を避け、死亡者を減らすために重要である。
この意味において、許可されたブロックチェーン技術は、スマートコントラクトが管理する不変で統一された分散データベースを通じて、データのオーナシップ、透明性、セキュリティを提供する権利をユーザに与えるために登場します。
論文 参考訳(メタデータ) (2020-10-22T13:19:38Z) - Regulation conform DLT-operable payment adapter based on trustless -
justified trust combined generalized state channels [77.34726150561087]
物の経済(EoT)は、ピアツーピアの信頼性のないネットワークで動作するソフトウェアエージェントに基づいています。
基本的価値と技術的可能性が異なる現在のソリューションの概要を述べる。
我々は,暗号ベースの分散型の信頼できない要素の強みと,確立された,十分に規制された支払い手段を組み合わせることを提案する。
論文 参考訳(メタデータ) (2020-07-03T10:45:55Z) - Blockchain Enabled Smart Contract Based Applications: Deficiencies with
the Software Development Life Cycle Models [0.0]
スマートコントラクトが格納されるブロックの不変性は、従来のソフトウェア開発ライフサイクル(SDLC)モデルと矛盾する。
本稿では,従来のSDLCモデル6つを最初に検討することによって,この問題に対処する。
発生した問題に対処するためには、新しい標準モデルの開発が緊急に必要である、と同社は主張する。
論文 参考訳(メタデータ) (2020-01-21T03:48:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。