論文の概要: Smart Contracts in the Real World: A Statistical Exploration of External Data Dependencies
- arxiv url: http://arxiv.org/abs/2406.13253v2
- Date: Mon, 31 Mar 2025 09:53:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-04-01 14:27:41.898584
- Title: Smart Contracts in the Real World: A Statistical Exploration of External Data Dependencies
- Title（参考訳）: 現実世界におけるスマートコントラクト - 外部データ依存の統計的探索
- Authors: Yishun Wang, Xiaoqi Li, Shipeng Ye, Lei Xie, Ju Xing,
- Abstract要約: 10,500件のスマートコントラクトを分析し,古いものや誤ったものを除くと,9,356件の有効契約を保持できた。
コントラクトコードを抽象構文木に変換するためにコード解析を採用し、外部データ依存関係に関連するキーワードを特定しました。
9,356の有効なスマートコントラクトを手作業で分類し、アプリケーションドメインと外部データとの典型的なインタラクション方法を確認しました。
- 参考スコア（独自算出の注目度）: 6.705372516801242
- License:
- Abstract: Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts, retaining 9,356 valid ones after excluding outdated or erroneous ones.We employed code parsing to transform contract code into abstract syntax trees and identified keywords associated with external data dependencies. We conducted a quantitative analysis by comparing these keywords to a reference list. We manually classified the 9,356 valid smart contracts to ascertain their application domains and typical interaction methods with external data. Additionally, we created a database with this data to facilitate research on smart contract dependencies. Moreover, we reviewed over 3,600 security audit reports, manually identifying 249 (approximately 9%) related to external data interactions and categorized their dependencies. We explored the correlation between smart contract complexity and external data dependency to provide insights for their design and auditing processes. These studies aim to enhance the security and reliability of smart contracts and offer practical guidance to developers and auditors.
- Abstract（参考訳）: 外部データとのスマートコントラクトは機能には不可欠だが、セキュリティと信頼性の懸念が生じる。
この相互作用に関する統計的および定量的研究は少ない。
このギャップに対処するため、私たちは10,500個のスマートコントラクトを分析し、古いものや間違ったものを除くと、9,356個の有効なコントラクトを保持しました。
我々はこれらのキーワードを参照リストと比較して定量的解析を行った。
9,356の有効なスマートコントラクトを手作業で分類し,アプリケーションドメインと外部データとの典型的なインタラクション手法を確認した。
さらに、スマートコントラクト依存関係の研究を容易にするために、このデータを備えたデータベースを作成しました。
さらに,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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。