論文の概要: Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability

• arxiv url: http://arxiv.org/abs/2407.01493v1
• Date: Mon, 1 Jul 2024 17:35:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-07-03 20:31:30.917708
• Title: Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
• Title（参考訳）: イミュータブルな原則と設計によるアップグレード性:スマートコントラクトのアップグレード性に関する探索的研究
• Authors: Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson,
• Abstract要約: 本研究は、アップグレード可能なコントラクトを特定し、そのアップグレード履歴を調べて、変更に関連するトレンド、好み、課題を明らかにする。 4400万以上の契約を分析した結果、アップグレード可能な特性を持つのはわずか3%、アップグレード中のアップグレードは0.34%に過ぎなかった。 アップグレードとユーザアクティビティの関係は複雑で、進化を超えてスマートコントラクトの使用に大きな影響を与えることが示唆されている。
• 参考スコア（独自算出の注目度）: 0.717789756063617
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Smart contracts, known for their immutable nature to ensure trust via automated enforcement, have evolved to require upgradeability due to unforeseen vulnerabilities and the need for feature enhancements post-deployment. This contradiction between immutability and the need for modifications has led to the development of upgradeable smart contracts. These contracts are immutable in principle yet upgradable by design, allowing updates without altering the underlying data or state, thus preserving the contract's intent while allowing improvements. This study aims to understand the application and implications of upgradeable smart contracts on the Ethereum blockchain. By introducing a dataset that catalogs the versions and evolutionary trajectories of smart contracts, the research explores key dimensions: the prevalence and adoption patterns of upgrade mechanisms, the likelihood and occurrences of contract upgrades, the nature of modifications post-upgrade, and their impact on user engagement and contract activity. Through empirical analysis, this study identifies upgradeable contracts and examines their upgrade history to uncover trends, preferences, and challenges associated with modifications. The evidence from analyzing over 44 million contracts shows that only 3% have upgradeable characteristics, with only 0.34% undergoing upgrades. This finding underscores a cautious approach by developers towards modifications, possibly due to the complexity of upgrade processes or a preference for maintaining stability. Furthermore, the study shows that upgrades are mainly aimed at feature enhancement and vulnerability mitigation, particularly when the contracts' source codes are accessible. However, the relationship between upgrades and user activity is complex, suggesting that additional factors significantly affect the use of smart contracts beyond their evolution.
• Abstract（参考訳）: 自動化による信頼を保証するための不変性で知られるスマートコントラクトは、予期せぬ脆弱性と、デプロイ後の機能強化の必要性により、アップグレード性を必要とするように進化した。 この不変性と修正の必要性の矛盾は、アップグレード可能なスマートコントラクトの開発につながった。 これらのコントラクトは原則として不変だが、設計によってアップグレード可能であり、基盤となるデータや状態を変更することなく更新が可能であり、それによって、改善を許容しながら、契約の意図を保存することができる。 本研究は,Ethereumブロックチェーン上でのアップグレード可能なスマートコントラクトの適用と意味を理解することを目的としている。 スマートコントラクトのバージョンと進化の軌跡をカタログ化するデータセットを導入することで、この研究は、アップグレードメカニズムの頻度と導入パターン、コントラクトアップグレードの可能性と発生、アップグレード後の修正の性質、ユーザエンゲージメントとコントラクトアクティビティへの影響など、重要な側面を探求する。 実証分析により、アップグレード可能な契約を特定し、更新履歴を調べて、変更に関連するトレンド、好み、課題を明らかにする。 4400万以上の契約を分析した結果、アップグレード可能な特性を持つのはわずか3%、アップグレード中のアップグレードは0.34%に過ぎなかった。 この発見は、おそらくアップグレードプロセスの複雑さや安定性を維持することの好みのために、開発者が修正に慎重なアプローチを示している。 さらに,今回の研究では,特にコントラクトのソースコードにアクセス可能な場合には,機能拡張と脆弱性軽減が主な目的であることが示されている。 しかし、アップグレードとユーザアクティビティの関係は複雑であり、進化を超えてスマートコントラクトの使用に大きな影響を与えることが示唆されている。

関連論文リスト

• From Passive Metric to Active Signal: The Evolving Role of Uncertainty Quantification in Large Language Models [77.04403907729738]
  このサーベイは、受動的診断基準からリアルタイムモデル動作を導くアクティブ制御信号への不確実性の進化をグラフ化する。 3つのフロンティアにまたがるアクティブ制御信号として不確実性がいかに活用されているかを示す。 この調査は、次世代のスケーラブルで信頼性があり、信頼できるAIを構築するためには、新しい不確実性のトレンドを習得することが不可欠である、と論じている。
  論文  参考訳（メタデータ） (2026-01-22T06:21:31Z)
• One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts [56.94148977064169]
  署名の使用状況のチェックが不足すると、繰り返し検証が行われ、許可の不正使用のリスクが増大し、契約資産が脅かされる可能性がある。 我々はこの問題をSignature Replay Vulnerability (SRV) として定義する。 37のブロックチェーンセキュリティ企業を対象とした1,419の監査報告から、詳細なSRV記述と5種類のSRVを分類した108を識別しました。
  論文  参考訳（メタデータ） (2025-11-12T09:17:13Z)
• Making LLMs Reliable When It Matters Most: A Five-Layer Architecture for High-Stakes Decisions [51.56484100374058]
  現在の大規模言語モデル(LLM)は、実行前にアウトプットをチェックできるが、不確実な結果を伴う高い戦略決定には信頼性が低い検証可能な領域で優れている。 このギャップは、人間と人工知能(AI)システムの相互認知バイアスによって引き起こされ、そのセクターにおける評価と投資の持続可能性の保証を脅かす。 本報告では、7つのフロンティアグレードLDMと3つの市場向けベンチャーヴィグネットの時間的圧力下での系統的質的評価から生まれた枠組みについて述べる。
  論文  参考訳（メタデータ） (2025-11-10T22:24:21Z)
• PISA: A Pragmatic Psych-Inspired Unified Memory System for Enhanced AI Agency [50.712873697511206]
  既存の作業は、多種多様なタスクへの適応性に欠けることが多く、AIエージェントメモリの構成的およびタスク指向の役割を見落としている。 PISAは,メモリを構築的かつ適応的なプロセスとして扱う,実践的でサイコにインスパイアされた統合メモリシステムである。 既存のLOCOMOベンチマークと新たに提案したデータ解析タスクのAggQAベンチマークに基づいて,PISAが適応性と長期的知識保持を大幅に向上させることで,新たな最先端技術を設定することを確認した。
  論文  参考訳（メタデータ） (2025-10-12T10:34:35Z)
• LMM-Incentive: Large Multimodal Model-based Incentive Design for User-Generated Content in Web 3.0 [60.604760613035126]
  Web 3.0は次世代のインターネットであり、価値表現とデータ所有権に焦点を当てた分散エコシステムとして広く認識されている。 ブロックチェーンと人工知能技術を活用することで、Web 3.0はユーザーがコンテンツを作成し、所有し、収益化するための前例のない機会を提供する。 一部の利己的なユーザは、コンテンツキュレーションの限界を利用して、少ない労力で低品質のコンテンツを生成し、情報非対称性の下でプラットフォーム報酬を得ることができる。
  論文  参考訳（メタデータ） (2025-10-06T12:39:29Z)
• The Dark Side of Upgrades: Uncovering Security Risks in Smart Contract Upgrades [12.414536548730421]
  83,085のアップグレード契約と20,902のアップグレードチェーンを含むデータセットを構築します。 我々は,37件の現実世界のセキュリティインシデントに基づく不正確な分類を開発する。 我々は、これらのリスクと既存の緩和に対する公衆の意識を調査します。
  論文  参考訳（メタデータ） (2025-08-04T07:43:43Z)
• LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation [56.84049855266145]
  進化的突然変異戦略とハイブリッドテスト技術を統合したマルチフィードバックスマートコントラクトファジリングフレームワーク(LLAMA)を提案する。 LLAMAは、91%の命令カバレッジと90%のブランチカバレッジを達成すると同時に、148の既知の脆弱性のうち132が検出される。 これらの結果は、現実のスマートコントラクトセキュリティテストシナリオにおけるLAMAの有効性、適応性、実用性を強調している。
  論文  参考訳（メタデータ） (2025-07-16T09:46:58Z)
• IDOL: Improved Different Optimization Levels Testing for Solidity Compilers [5.629307939256417]
  本稿では、Solidityコンパイラをテストするために、IDOL(Improved Different Optimization Levels)と呼ばれる手法を提案する。 IDOLは、テスト中のスマートコントラクトのセマンティックに等価な変種を生成し、コンパイラの最適化ロジックを起動する機会を最大化する。
  論文  参考訳（メタデータ） (2025-06-15T08:00:12Z)
• FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain [0.16752458252726457]
  FlexiContractsは、過去のデータを失うことなく、セキュアでインプレースなアップグレードを可能にすることによって、スマートコントラクトの進化を想像する。 その合理化された設計は、スマートコントラクト開発をシンプルにすることで、現在のデザインパターンの限界を超越している。 この進歩は、継続的な改善と新しい要求への適応の環境を育みます。
  論文  参考訳（メタデータ） (2025-04-15T02:20:42Z)
• Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades [0.1759252234439348]
  FlexiContracts+は、履歴データを保存しながらセキュアでインプレースなアップグレードを可能にすることで、スマートコントラクトを再定義する。 FlexiContracts+は、不変性と柔軟性の実践的なバランスを達成し、スマートコントラクトシステムの能力を向上させることを示します。
  論文  参考訳（メタデータ） (2025-04-13T16:59:28Z)
• The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability [0.6124448703245243]
  セキュリティと信頼性の促進のようなブロックチェーンプラットフォーム上のスマートコントラクトの不変性は、更新やバグ修正、デプロイ後の新機能の追加といった課題を提起する。 学術研究や産業において様々なアップグレードメカニズムが提案されているにもかかわらず、それらのトレードオフと実践的意味に関する包括的な分析は欠如している。 本研究の目的は,既存のスマートコントラクトアップグレードメカニズムを体系的に識別し,分類し,評価することである。
  論文  参考訳（メタデータ） (2025-04-03T16:02:46Z)
• 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)
• The Feasibility of a Smart Contract "Kill Switch" [0.9696996416317306]
  いくつかの主要なブロックチェーンプラットフォームにおけるスマートコントラクトの終了メカニズムについて検討する。 我々は、これらのメカニズムとEUデータ法の要件との整合性を評価する。 いわゆるスマートコントラクト「キルスイッチ」の実施に伴う課題について論じる。
  論文  参考訳（メタデータ） (2024-07-14T19:31:15Z)
• Demystifying the Characteristics for Smart Contract Upgrades [16.242723608028573]
  我々は,契約更新の特徴を理解するために,プロキシベースのアップグレード可能なスマートコントラクトに関する実証的研究を行う。 583のコントラクトが、933のユニークなコントラクトバージョンを含む機能にアップグレードされたことが分かりました。 結果は、276のプロキシのアップグレードによる4,334のABIの破壊的変更が示されており、ブロックチェーンが目撃した584トランザクション内で実際の使用が壊れていることを示している。
  論文  参考訳（メタデータ） (2024-06-09T10:09:49Z)
• Gradual Verification for Smart Contracts [0.4543820534430522]
  Algosはスマートコントラクトを通じてセキュアなリソーストランザクションを実現する。 従来の検証技術は、包括的なセキュリティ保証の提供に不足している。 本稿では,段階的検証という段階的なアプローチを紹介する。
  論文  参考訳（メタデータ） (2023-11-22T12:42:26Z)
• CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts [12.68736241704817]
  ContractFixは、脆弱なスマートコントラクトのためのセキュリティパッチを自動的に生成するフレームワークである。 ユーザーは、自動的にパッチを適用し、パッチされたコントラクトを検証するセキュリティ修正ツールとして使用することができる。
  論文  参考訳（メタデータ） (2023-07-18T01:14:31Z)
• Formally Verifying a Real World Smart Contract [52.30656867727018]
  われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。 本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
  論文  参考訳（メタデータ） (2023-07-05T14:30:21Z)
• Enhancing Multiple Reliability Measures via Nuisance-extended Information Bottleneck [77.37409441129995]
  トレーニングデータに制限がある現実的なシナリオでは、データ内の多くの予測信号は、データ取得のバイアスからより多く得る。 我々は,相互情報制約の下で,より広い範囲の摂動をカバーできる敵の脅威モデルを考える。 そこで本研究では,その目的を実現するためのオートエンコーダベーストレーニングと,提案したハイブリッド識別世代学習を促進するための実用的なエンコーダ設計を提案する。
  論文  参考訳（メタデータ） (2023-03-24T16:03:21Z)
• Semantic Information Marketing in The Metaverse: A Learning-Based Contract Theory Framework [68.8725783112254]
  仮想サービスプロバイダ(VSP)によるインセンティブのメカニズム設計の問題に対処し,センサデータ販売にIoTデバイスを採用。 帯域幅が限られているため,センサIoTデバイスによる配信データを削減するためにセマンティック抽出アルゴリズムを提案する。 本稿では,新しい反復型契約設計を提案し,マルチエージェント強化学習(MARL)の新たな変種を用いて,モデル付き多次元契約問題の解法を提案する。
  論文  参考訳（メタデータ） (2023-02-22T15:52:37Z)
• RoFL: Attestable Robustness for Secure Federated Learning [59.63865074749391]
  フェデレートラーニング(Federated Learning)により、多数のクライアントが、プライベートデータを共有することなく、ジョイントモデルをトレーニングできる。 クライアントのアップデートの機密性を保証するため、フェデレートラーニングシステムはセキュアなアグリゲーションを採用している。 悪意のあるクライアントに対する堅牢性を向上させるセキュアなフェデレート学習システムであるRoFLを提案する。
  論文  参考訳（メタデータ） (2021-07-07T15:42:49Z)
• 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)
• Trustworthy AI [75.99046162669997]
  入力データの小さな敵対的変化への脆さ、決定の説明能力、トレーニングデータのバイアスに対処する能力は、最も顕著な制限である。 我々は,AIシステムに対するユーザおよび公的な信頼を高める上での6つの重要な問題に対処するために,信頼に値するAIに関するチュートリアルを提案する。
  論文  参考訳（メタデータ） (2020-11-02T20:04:18Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。