論文の概要: 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を選択したり使用したりする人々のためのガイドを提供する。
関連論文リスト
- Demonstration Attack against In-Context Learning for Code Intelligence [21.16551286691035]
攻撃者が悪意あるデモを利用して、悪質なICLコンテンツを構築し、LSMを誘導して不正な出力を生成する方法を示す。
提案手法は,DICE(Demonstration Selection)とBad ICL Construction(Bad ICL Construction)の2段階から構成される。
本研究は,コードインテリジェンスシステムを敵の操作から守るためのICL機構の確保の重要性を強調した。
論文 参考訳（メタデータ） (2024-10-03T12:59:29Z) - Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor [2.052808596154225]
本稿では、バージョン管理されたスマートコントラクトのデータセットを収集する最初のスマートコントラクト収集ツールであるEthstractorを提案する。
収集されたデータセットは、スマートコントラクトの脆弱性の指標として、コードメトリクスの信頼性を評価するために使用される。
論文 参考訳（メタデータ） (2024-07-22T18:27:29Z) - Efficacy of Various Large Language Models in Generating Smart Contracts [0.0]
本研究では,Immutable上のSolidityスマートコントラクト作成におけるコード生成型大規模言語モデルの適用性について分析する。
我々はまた、新しい戦略を促すことによって、スマートコントラクトを生成する新しい方法を発見した。
論文 参考訳（メタデータ） (2024-06-28T17:31:47Z) - 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 [77.78614055956365]
In-context Learning (ICL) は自然言語処理(NLP)の新しいパラダイムとして登場した。
まず、ICLの形式的定義を示し、関連する研究との相関を明らかにする。
次に、トレーニング戦略、迅速なデザイン戦略、関連する分析を含む高度なテクニックを組織化し、議論する。
論文 参考訳（メタデータ） (2022-12-31T15:57:09Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。