論文の概要: Blockchain Enabled Smart Contract Based Applications: Deficiencies with
the Software Development Life Cycle Models
- arxiv url: http://arxiv.org/abs/2001.10589v1
- Date: Tue, 21 Jan 2020 03:48:46 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-06 09:03:39.038313
- Title: Blockchain Enabled Smart Contract Based Applications: Deficiencies with
the Software Development Life Cycle Models
- Title(参考訳): スマートコントラクトベースのアプリケーションを可能にするブロックチェーン - ソフトウェア開発ライフサイクルモデルの欠陥
- Authors: Mahdi H. Miraz and Maaruf Ali
- Abstract要約: スマートコントラクトが格納されるブロックの不変性は、従来のソフトウェア開発ライフサイクル(SDLC)モデルと矛盾する。
本稿では,従来のSDLCモデル6つを最初に検討することによって,この問題に対処する。
発生した問題に対処するためには、新しい標準モデルの開発が緊急に必要である、と同社は主張する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the recent popularity of Blockchain and other Distributed Ledger
Technologies (DLT), blockchain enabled smart contract applications has
attracted increased research focus. However, the immutability of the blocks,
where the smart contracts are stored, causes conflicts with the traditional
Software Development Life Cycle (SDLC) models usually followed by software
engineers. This clearly shows the unsuitability of the application of SDLC in
designing blockchain enabled smart contract based applications. This research
article addresses this current problem by first exploring the six traditional
SDLC models, clearly identifying the conflicts in a table with the application
of smart contracts and advocates that there is an urgent need to develop new
standard model(s) to address the arising issues. The concept of both block
immutability and contract is introduced. This is further set in a historical
context from legacy smart contracts and blockchain enabled smart contracts
extending to the difference between "shallow smart contracts" and "deep smart
contracts". To conclude, the traditional SDLC models are unsuitable for
blockchain enabled smart contract-based applications.
- Abstract(参考訳): Blockchainと他のDistributed Ledger Technologies(DLT)の最近の人気により、ブロックチェーンが有効になったスマートコントラクトアプリケーションは、研究の焦点が増している。
しかし、スマートコントラクトが格納されているブロックの不変性は、従来のソフトウェア開発ライフサイクル(SDLC)モデルと相反する。
これは、ブロックチェーンの設計におけるsdlcの適用がスマートコントラクトベースのアプリケーションに対して不適切であることを明確に示している。
この記事では、まず6つの伝統的なsdlcモデルを探求し、スマートコントラクトの適用によるテーブル内の衝突を明確に特定し、発生した問題に対処するために、緊急に新しい標準モデルを開発する必要があることを提唱する。
ブロック不変性と契約の両方の概念が導入される。
これは、レガシーなスマートコントラクトとブロックチェーンによって実現されたスマートコントラクトの歴史的なコンテキストにおいて、"スマートコントラクトの制限"と"ディープスマートコントラクト(deep smart contracts)"の違いにまで拡張される。
結論として、従来のSDLCモデルは、ブロックチェーンを有効にしたスマートコントラクトベースのアプリケーションには適さない。
関連論文リスト
- Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Gas Cost Analysis of Proxy and Diamond Patterns: Towards Trusted Smart
Contract Engineering in EVM Blockchains [0.0]
本研究の目的は, アップグレード可能な2つのスマートコントラクトパターン, Proxyパターンとダイアモンドパターンに関する, ガスコストの詳細な分析を行うことである。
従来のアップグレード不可能なスマートコントラクトとは対照的に,両パターンのガスコストの比較分析を行う。
論文 参考訳(メタデータ) (2023-12-14T13:54:25Z) - 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) - Formally Verifying a Real World Smart Contract [52.30656867727018]
われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。
本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
論文 参考訳(メタデータ) (2023-07-05T14:30:21Z) - Graph Neural Networks Enhanced Smart Contract Vulnerability Detection of
Educational Blockchain [4.239144309557045]
本稿では,教育ブロックチェーンにおけるスマートコントラクトに対するグラフニューラルネットワークによる脆弱性検出を提案する。
実験の結果,提案手法はスマートコントラクトの脆弱性検出に有効であることがわかった。
論文 参考訳(メタデータ) (2023-03-08T09:58:58Z) - 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) - Quantum-resistance in blockchain networks [46.63333997460008]
本稿では、ブロックチェーンネットワークにおける量子脅威を特定し、排除するために、米国間開発銀行、IDBラボ、LACChain、量子コンピューティング(CQC)、Tecnologicalo de Monterreyによる研究について述べる。
量子コンピューティングの出現は、非量子耐性暗号アルゴリズムを利用するため、インターネットプロトコルやブロックチェーンネットワークを脅かす。
論文 参考訳(メタデータ) (2021-06-11T23:39:25Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。