論文の概要: Smart Contracts in the Real World: A Statistical Exploration of External Data Dependencies
- arxiv url: http://arxiv.org/abs/2406.13253v1
- Date: Wed, 19 Jun 2024 06:36:23 GMT
- ステータス: 処理完了
- システム内更新日: 2024-06-21 22:59:30.637189
- Title: Smart Contracts in the Real World: A Statistical Exploration of External Data Dependencies
- Title（参考訳）: 現実世界におけるスマートコントラクト - 外部データ依存の統計的探索
- Authors: Yishun Wang, Xiaoqi Li, Wenkai Li, Xin Wang,
- Abstract要約: スマートコントラクトと外部データとの相互作用に関する統計的、定量的研究が欠如している。
10,500の実際のスマートコントラクトを調べて,古いものやコンパイルエラーのあるものを除いて,9,356の有効なサンプルを選択します。
また、スマートコントラクトの複雑さと外部データへの依存との関係についても検討する。
- 参考スコア（独自算出の注目度）: 5.195028659581491
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Smart contracts are pivotal for implementing various functions due to their interactivity with external data. However, this interactivity also presents challenges in terms of security and reliability. There is a lack of statistical and quantitative research on the interaction between smart contracts and external data. To fill this gap, we thoroughly examine 10,500 actual smart contracts to select 9,356 valid samples, excluding those that are outdated or have compilation errors. Utilizing code parsing techniques, the study transformed contract code into Abstract Syntax Trees (ASTs) and extracted keywords related to external data dependency through code analysis. By comparing the ASTs with the keyword list, we conduct a quantitative analysis of the number and proportion of contracts involving external data interaction. Furthermore, we collect over 3,600 security audit reports and manually filter 249 (approximately 9%) reports related to external data interaction, categorizing the external data dependency in these contracts. We also explore the relationship between the complexity of smart contracts and their dependence on external data.
- Abstract（参考訳）: スマートコントラクトは、外部データとの相互作用のため、さまざまな機能を実装する上で重要である。
しかし、この相互作用はセキュリティと信頼性の観点からも課題を呈している。
スマートコントラクトと外部データとの相互作用に関する統計的、定量的研究が欠如している。
このギャップを埋めるため、古いものやコンパイルエラーのあるものを除いて、10,500個の実際のスマートコントラクトを精査し、9,356個の有効なサンプルを選択します。
コード解析技術を利用して、この研究はコントラクトコードを抽象構文木(AST)に変換し、コード解析を通じて外部データ依存性に関連するキーワードを抽出した。
ASTをキーワードリストと比較することにより、外部データインタラクションを含む契約数と比率を定量的に分析する。
さらに,3600件以上のセキュリティ監査報告を収集し,外部データインタラクションに関する249件(約9%)のレポートを手作業でフィルタリングし,外部データ依存関係を分類する。
また、スマートコントラクトの複雑さと外部データへの依存との関係についても検討する。
関連論文リスト
- An Infrastructure for Systematically Collecting Smart Contract Lineages for Analyses [3.1635449133608486]
既存のプラットフォームには、スマートコントラクトの系統内の前者と後継の関係をトレースする機能がない。
SCLineageは、プロキシ契約を利用してスマートコントラクトの系統を正確に識別し、収集する自動化インフラストラクチャである。
SCLineageSetは、スマートコントラクトの進化に関する広範な研究を促進する、最新のオープンソースデータセットである。
論文 参考訳（メタデータ） (2024-12-30T11:10:22Z) - SmartInv: Multimodal Learning for Smart Contract Invariant Inference [10.468390413756863]
We present SmartInv, a accurate and fast smart contract invariant inference framework。
私たちの重要な洞察は、スマートコントラクトの期待される振る舞いは、マルチモーダル情報に対する理解と推論に依存している、ということです。
SmartInvを実世界の契約で評価し、数百万ドルの損失をもたらしたバグを再発見しました。
論文 参考訳（メタデータ） (2024-11-14T06:28:57Z) - SciER: An Entity and Relation Extraction Dataset for Datasets, Methods, and Tasks in Scientific Documents [49.54155332262579]
我々は,科学論文のデータセット,メソッド,タスクに関連するエンティティに対して,新たなエンティティと関係抽出データセットをリリースする。
我々のデータセットには、24k以上のエンティティと12kの関係を持つ106の注釈付きフルテキストの科学出版物が含まれています。
論文 参考訳（メタデータ） (2024-10-28T15:56:49Z) - SparseCL: Sparse Contrastive Learning for Contradiction Retrieval [87.02936971689817]
コントラディション検索(Contradiction Search)とは、クエリの内容に明示的に異を唱える文書を識別し、抽出することである。
類似性探索やクロスエンコーダモデルといった既存の手法には、大きな制限がある。
文間の微妙で矛盾したニュアンスを保存するために特別に訓練された文埋め込みを利用するSparseCLを導入する。
論文 参考訳（メタデータ） (2024-06-15T21:57:03Z) - Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey [0.6554326244334866]
本稿では,開発者がセキュアなスマート技術を開発するのを支援することを目的とした,文献レビューと実験報告を組み合わせる。
頻繁な脆弱性とそれに対応する緩和ソリューションのリストを提供する。
サンプルのスマートコントラクト上でそれらを実行し、テストすることで、コミュニティが最も広く使用しているツールを評価します。
論文 参考訳（メタデータ） (2024-03-28T19:36:53Z) - Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction [10.723903783651537]
過去の取引履歴から契約仕様を推測するための仕様マイニング手法を提案する。
提案手法は,トランザクション履歴から統計的に推測されるプログラム不変量とともに,関数呼び出しの高レベルな挙動自動化を導出する。
論文 参考訳（メタデータ） (2024-03-20T03:39:51Z) - Tool-Augmented Reward Modeling [58.381678612409]
本稿では,外部環境へのアクセスによるRMの強化により,制約に対処するツール拡張された嗜好モデリング手法であるThemisを提案する。
我々の研究は、外部ツールをRMに統合し、様々な外部ソースとの相互作用を可能にすることを目的としている。
人間の評価では、テミスで訓練されたRLHFはベースラインと比較して平均32%の勝利率を得る。
論文 参考訳（メタデータ） (2023-10-02T09:47:40Z) - Pre-deployment Analysis of Smart Contracts -- A Survey [0.27195102129095]
本稿では,スマートコントラクトの脆弱性と方法に関する文献を体系的にレビューする。
具体的には、スマートコントラクトの脆弱性とメソッドを、それらが対処するプロパティによって列挙し分類します。
異なる手法の強みに関するいくつかのパターンがこの分類プロセスを通して現れる。
論文 参考訳（メタデータ） (2023-01-15T12:36:56Z) - MAVEN-ERE: A Unified Large-scale Dataset for Event Coreference,
Temporal, Causal, and Subevent Relation Extraction [78.61546292830081]
アノテーションを改良した大規模EREデータセットMAVEN-EREを構築した。
103,193個のイベント・コア・チェイン、1,216,217個の時間関係、57,992個の因果関係、15,841個の部分関係を含む。
実験の結果,MAVEN-ERE上でのEREは極めて困難であり,共同学習との相互関係を考慮すれば性能が向上することが示された。
論文 参考訳（メタデータ） (2022-11-14T13:34:49Z) - Learning with Instance Bundles for Reading Comprehension [61.823444215188296]
質問応答スコアを複数の関連インスタンスで比較する新しい監視手法を提案する。
具体的には、密接に対照的な質問や回答のさまざまな近所でこれらのスコアを正規化します。
2つのデータセット上のインスタンスバンドルによるトレーニングの有効性を実証的に実証する。
論文 参考訳（メタデータ） (2021-04-18T06:17:54Z) - Competency Problems: On Finding and Removing Artifacts in Language Data [50.09608320112584]
複雑な言語理解タスクでは、すべての単純な特徴相関が突発的であると論じる。
人間バイアスを考慮したコンピテンシー問題に対するデータ作成の難しさを理論的に分析します。
論文 参考訳（メタデータ） (2021-04-17T21:34:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。