論文の概要: Dissecting Smart Contract Languages: A Survey
- arxiv url: http://arxiv.org/abs/2310.02799v2
- Date: Fri, 6 Oct 2023 15:22:20 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 04:43:58.098961
- Title: Dissecting Smart Contract Languages: A Survey
- Title(参考訳): スマートコントラクト言語を解剖する - 調査
- Authors: Majd Soud, G\'isli Hj\'almt\'ysson and Mohammad Hamdaqa
- Abstract要約: 既存のスマートコントラクト実装は、セキュリティ上の脆弱性を含む問題に直面しており、大きな損失と懸念につながっている。
これにより、スマートコントラクト言語(SCL)を改善して、実装上の課題を克服し、コード品質を保証するための試みが数多く行われた。
本稿では,既存のSCLを比較するための堅牢なフレームワークを提案する。(2)36個のSCLを解析・議論し,比較フレームワークの構築に使用した以上の問題に対処し,(3)将来のSCLの研究・開発のための新しいパラメータを定義する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Blockchain is a distributed ledger technology that gained popularity for
enabling the transformation of cryptocurrency among peers without mediation by
a centralized third-party authority. Smart contracts expand the applications of
blockchain technology and have played a role in its widespread adoption. Smart
contracts are immutable digital programs that are deployed on blockchains to
codify agreements between parties. Existing smart contract implementations have
faced challenges, including security vulnerabilities, leading to significant
losses and concerns. This has stimulated a wave of attempts to improve Smart
Contract Languages (SCLs) to overcome implementation challenges and ensure code
quality, producing many languages with diverse features. Scholars have made
some attempts to classify SCLs and clarify the process of selecting an SCL, but
to the best of our knowledge, no comprehensive survey of existing SCLs has been
published. Our work surpasses earlier efforts by evaluating a significantly
larger set of SCLs, in greater depth, to ease the process of SCL selection for
blockchain research and implementation. In this paper, we (1) propose a robust
framework for comparing existing SCLs, (2) analyze and discuss 36 SCLs,
addressing issues beyond those used to construct the comparison framework, and
(3) define new parameters for future research and development of SCLs. The
survey provides a guide for those who intend to select or use an SCL to
implement smart contracts, develop new SCLs, or add new extensions to the
existing SCLs.
- Abstract(参考訳): blockchainは分散台帳技術であり、集中型第三者機関による仲介なしに暗号通貨をピア間で変換可能にすることで人気を博した。
スマートコントラクトはブロックチェーン技術の応用を拡大し、広く採用されている役割を担っている。
スマートコントラクト(smart contracts)は、パーティ間の合意を成文化するためにブロックチェーンにデプロイされる、不変のデジタルプログラムである。
既存のスマートコントラクト実装は、セキュリティ脆弱性を含む課題に直面しており、重大な損失と懸念を引き起こしている。
これは、実装の課題を克服し、コード品質を確保するためにスマートコントラクト言語(scl)を改善するための一連の試みを刺激し、多様な機能を持つ多くの言語を生み出した。
研究者は、SCLを分類し、SCLを選択する過程を明らかにする試みを行っているが、私たちの知る限り、既存のSCLの包括的な調査は公開されていない。
当社の作業は、ブロックチェーンの研究と実装のためのSCL選択のプロセスを容易にするために、はるかに大きなSCLセットを評価することで、以前の取り組みを超越しています。
本稿では,既存のSCLを比較するためのロバストなフレームワークを提案し,(2)36個のSCLを解析・議論し,比較フレームワークの構築に使用した以上の問題に対処し,(3)将来のSCLの研究・開発のための新しいパラメータを定義する。
この調査は、スマートコントラクトを実装したり、新しいSCLを開発したり、既存のSCLに新たな拡張機能を追加したりするために、SCLを選択したり使用したりする人々のためのガイドを提供する。
関連論文リスト
- Solvent: liquidity verification of smart contracts [2.680854115314008]
我々は、Solidityの範囲を超えているスマートコントラクトの検証ツールを提案する。
スマートコントラクトの共通ベンチマークを用いて,ツールの有効性と性能を評価する。
論文 参考訳(メタデータ) (2024-04-27T10:54:50Z) - Smart Contract Languages: a comparative analysis [1.4066752230258734]
Solana, Cardano, Algorand, Aptos, Tezosの6つの主要なブロックチェーンプラットフォームで使用されているスマートコントラクト言語について検討する。
プログラミングスタイル、セキュリティ、コード可読性、ユーザビリティに重点を置いています。
論文 参考訳(メタデータ) (2024-04-05T14:25:23Z) - RecDCL: Dual Contrastive Learning for Recommendation [65.6236784430981]
本稿では、RecDCLという2つのコントラスト学習推薦フレームワークを提案する。
RecDCLでは、FCLの目的は、ユーザとイテムの正のペアに対する冗長なソリューションを排除することである。
BCLの目的は、表現の堅牢性を高めるために出力ベクトルにコントラスト埋め込みを生成するために利用される。
論文 参考訳(メタデータ) (2024-01-28T11:51:09Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - In-Context Learning Learns Label Relationships but Is Not Conventional
Learning [60.891931501449726]
大規模言語モデルの文脈内学習(ICL)能力について、現時点では合意が得られていない。
ICLがラベル情報をどのように活用するかという新たな洞察を提供し、機能と制限の両方を明らかにします。
実験の結果, ICLの予測はコンテキスト内ラベルにほぼ常に依存しており, ICLはコンテキスト内における真に新しいタスクを学習できることがわかった。
論文 参考訳(メタデータ) (2023-07-23T16:54:41Z) - A Survey on In-context Learning [56.40261564926631]
In-context Learning (ICL)は自然言語処理のための新しいパラダイムである
まず、ICLの形式的定義を示し、関連する研究との相関を明らかにする。
そこで我々は,訓練戦略,実証設計戦略,関連する分析など,高度な手法を整理し,議論する。
論文 参考訳(メタデータ) (2022-12-31T15:57:09Z) - 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) - Joint Contrastive Learning with Infinite Possibilities [114.45811348666898]
本稿では,新しい確率論的モデリングによるコントラスト学習における最近の発展の有用性について考察する。
コントラスト学習(Joint Contrastive Learning, JCL)という,コントラスト学習の特定の形態を導出する。
論文 参考訳(メタデータ) (2020-09-30T16:24:21Z) - On the Effect of Learned Clauses on Stochastic Local Search [0.0]
SATソルバでは、競合駆動型節学習(CDCL)と局所探索(SLS)が使用されている。
多数の正しいリテラルを持つ節がSLSのランタイムに有益であることを実験的に実証した。
我々は、前処理のステップとして高品質な節を追加する最も有益な戦略を導出する。
論文 参考訳(メタデータ) (2020-05-07T13:33:16Z) - Blockchain Enabled Smart Contract Based Applications: Deficiencies with
the Software Development Life Cycle Models [0.0]
スマートコントラクトが格納されるブロックの不変性は、従来のソフトウェア開発ライフサイクル(SDLC)モデルと矛盾する。
本稿では,従来のSDLCモデル6つを最初に検討することによって,この問題に対処する。
発生した問題に対処するためには、新しい標準モデルの開発が緊急に必要である、と同社は主張する。
論文 参考訳(メタデータ) (2020-01-21T03:48:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。