論文の概要: 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)など、非常に革新的なアプリケーション分野の技術的背景を提供する。
しかし、スマートコントラクトを任意のプログラミング構成要素として現在使われている実装は、悪質に悪用され、法的契約からセマンティクスを遠ざける危険なバグに影響を受けやすくしている。
本稿では,有限状態オートマトンとしてモデル化された契約の概念を,資源をアクタに割り当てることから得られる計算特性を,プログラミングに基づくアプローチの代替として定式化し,データベースの分割と信頼性の回復を提案する。
作業の完了には、台帳に格納された情報の歴史的性質に効果的に適合する抽象的なクエリ言語の基礎として、時間論理を用いる。
関連論文リスト
- Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach [0.0]
「信頼の技術」は、中央権力を必要とせず、非信頼関係の当事者間の取引を仲介するために用いられる。
トランザクションはブロックチェーンプラットフォームやスマートコントラクトと呼ばれるユーザプログラムを通じてユーザ定義される。
スマートコントラクトが提供するトランザクションプログラマビリティの大幅な柔軟性にもかかわらず、ユーザビリティ、堅牢性、パフォーマンス上の課題がいくつか発生している。
本稿では、よりプリミティブをネイティブなトランザクションタイプに組み込んだ代替トランザクションフレームワークを提案する。
論文 参考訳(メタデータ) (2024-11-04T20:44:14Z) - 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) - A Practical System Architecture for Contract Automation: Design and Uses [0.294944680995069]
ブロックチェーンの領域から重要なテクノロジを取り上げ、それをリカルディアの契約に適用する作業の、洗練され、拡張された概要を紹介します。
私たちのアーキテクチャは、従来の契約と非常によく似たアーティファクトを促進することによって、ブロックチェーンの法的問題を回避します。
また,1)個人データ購入,(2)財務管理,(3)注文駆動製造,(4)自動装置のオンボード化などに用いる方法を示す。
論文 参考訳(メタデータ) (2024-08-12T12:00:09Z) - IT Strategic alignment in the decentralized finance (DeFi): CBDC and digital currencies [49.1574468325115]
分散型金融(DeFi)は、ディスラプティブベースの金融インフラである。
1) DeFiの一般的なIT要素は何か?
2) DeFi における IT 戦略の整合性には,どのような要素があるのでしょう?
論文 参考訳(メタデータ) (2024-05-17T10:19:20Z) - Enhancing Trust and Privacy in Distributed Networks: A Comprehensive Survey on Blockchain-based Federated Learning [51.13534069758711]
ブロックチェーンのような分散型アプローチは、複数のエンティティ間でコンセンサスメカニズムを実装することで、魅力的なソリューションを提供する。
フェデレートラーニング(FL)は、参加者がデータのプライバシを保護しながら、協力的にモデルをトレーニングすることを可能にする。
本稿では,ブロックチェーンのセキュリティ機能とFLのプライバシ保護モデルトレーニング機能の相乗効果について検討する。
論文 参考訳(メタデータ) (2024-03-28T07:08:26Z) - Towards Secure and Trusted-by-Design Smart Contracts [0.3499870393443268]
証拠取引には、金銭、出生証明書、ビザ、チケットなど、あらゆる形の物的証拠の交換が含まれる。
多くの場合、明らかなトランザクションは、物理的なエージェントの間で、明らかなプロトコルと呼ばれる複雑な手続きの文脈で発生する。
ブロックチェーンはエビデンスを転送するメカニズムを提供し、スマートコントラクトはブロックチェーン上にエビデンシャルプロトコルをエンコードすることを可能にする。
スマートコントラクトは信頼できるサードパーティを先導し、匿名で複数のマシン上で動作するため、セキュアで信頼性の高い設計のプログラムを構成する。
論文 参考訳(メタデータ) (2024-03-25T16:14:22Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。