論文の概要: Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades

• arxiv url: http://arxiv.org/abs/2504.09652v1
• Date: Sun, 13 Apr 2025 16:59:28 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-04-23 03:28:20.484972
• Title: Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades
• Title（参考訳）: 柔軟性を備えた不変性をブリッジする - セキュアで効率的なスマートコントラクトアップグレードのためのスキーム
• Authors: Tahrim Hossain, Sakib Hassan, Faisal Haque Bappy, Muhammad Nur Yanhaona, Tarannum Shaila Zaman, Tariqul Islam,
• Abstract要約: FlexiContracts+は、履歴データを保存しながらセキュアでインプレースなアップグレードを可能にすることで、スマートコントラクトを再定義する。 FlexiContracts+は、不変性と柔軟性の実践的なバランスを達成し、スマートコントラクトシステムの能力を向上させることを示します。
• 参考スコア（独自算出の注目度）: 0.1759252234439348
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps), enabling transparent and self-executing systems across various domains. While the immutability of smart contracts enhances security and trust, it also poses significant challenges for updates, defect resolution, and adaptation to changing requirements. Existing upgrade mechanisms are complex, resource-intensive, and costly in terms of gas consumption, often compromising security and limiting practical adoption. To address these challenges, we propose FlexiContracts+, a novel scheme that reimagines smart contracts by enabling secure, in-place upgrades on Ethereum while preserving historical data without relying on multiple contracts or extensive pre-deployment planning. FlexiContracts+ enhances security, simplifies development, reduces engineering overhead, and supports adaptable, expandable smart contracts. Comprehensive testing demonstrates that FlexiContracts+ achieves a practical balance between immutability and flexibility, advancing the capabilities of smart contract systems.
• Abstract（参考訳）: ブロックチェーン技術の出現は、スマートコントラクトの導入を通じて、コントラクト実行に革命をもたらした。 主要なブロックチェーンプラットフォームであるEthereumは、スマートコントラクトを活用して分散アプリケーション(DApps)に電力を供給し、さまざまなドメインにわたる透過的かつ自己実行システムを実現する。 スマートコントラクトの不変性はセキュリティと信頼を高める一方で,更新や欠陥解決,要件変更への適応といった面で大きな課題も生じている。 既存のアップグレードメカニズムは複雑で資源集約的であり、ガス消費の観点からもコストがかかる。 これらの課題に対処するため、私たちは、複数のコントラクトや大規模な事前デプロイ計画に頼ることなく、履歴データを保存しながらEthereumのセキュアでインプレースなアップグレードを可能にする、スマートコントラクトを再定義する新しいスキームであるFlexiContracts+を提案する。 FlexiContracts+はセキュリティを強化し、開発を単純化し、エンジニアリングのオーバーヘッドを減らし、適応可能で拡張可能なスマートコントラクトをサポートする。 包括的なテストは、FlexiContracts+が不変性と柔軟性の実践的なバランスを達成し、スマートコントラクトシステムの能力を向上することを示しています。

関連論文リスト

• A Comprehensive Study of Exploitable Patterns in Smart Contracts: From Vulnerability to Defense [1.1138859624936408]
  スマートコントラクト内の脆弱性は、個々のアプリケーションのセキュリティを損なうだけでなく、より広範なブロックチェーンエコシステムに重大なリスクをもたらす。 本稿では,スマートコントラクトの重要なセキュリティリスク,特にSolidityで記述され,仮想マシン上で実行されるセキュリティリスクを包括的に分析する。 攻撃シナリオを複製し、効果的な対策を評価することにより、2つの一般的かつ重要なタイプ(冗長性と整数オーバーフロー)に焦点を当てる。
  論文  参考訳（メタデータ） (2025-04-30T10:00:36Z)
• FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain [0.16752458252726457]
  FlexiContractsは、過去のデータを失うことなく、セキュアでインプレースなアップグレードを可能にすることによって、スマートコントラクトの進化を想像する。 その合理化された設計は、スマートコントラクト開発をシンプルにすることで、現在のデザインパターンの限界を超越している。 この進歩は、継続的な改善と新しい要求への適応の環境を育みます。
  論文  参考訳（メタデータ） (2025-04-15T02:20:42Z)
• Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts [30.94426976245966]
  より多くの開発者が、他の互換性のあるブロックチェーン上でSolidityコントラクトを再利用している。 この矛盾は、再利用されたコントラクトの設計上の欠陥を明らかにし、コードの再利用を妨げているコードの臭いを露呈する。 本稿では,EVM非等価コードスメルの原因と特徴を明らかにするために,最初の実証的研究を行った。
  論文  参考訳（メタデータ） (2025-04-10T09:37:19Z)
• Phantom Events: Demystifying the Issues of Log Forgery in Blockchain [31.570414211726888]
  EVMベースのブロックチェーンにおけるトランザクションログの偽造に関する,最初の詳細なセキュリティ分析を提示する。 スマートコントラクトにおける事象偽造の脆弱性を検出するためのツールを提案する。 我々は、複数の分散アプリケーションにまたがる5種類の攻撃に対して、実世界のインスタンスを特定しました。
  論文  参考訳（メタデータ） (2025-02-19T08:07:26Z)
• 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)
• Dual-view Aware Smart Contract Vulnerability Detection for Ethereum [5.002702845720439]
  本報告では,DVDet というデュアルビュー対応スマートコントラクト脆弱性検出フレームワークを提案する。 このフレームワークは最初、スマートコントラクトのソースコードとバイトコードを重み付きグラフに変換し、フローシーケンスを制御する。 データセットの総合的な実験により,我々の手法は脆弱性の検出において他者よりも優れていることが示された。
  論文  参考訳（メタデータ） (2024-06-29T06:47:51Z)
• Generative AI-enabled Blockchain Networks: Fundamentals, Applications, and Case Study [73.87110604150315]
  Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。 本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
  論文  参考訳（メタデータ） (2024-01-28T10:46:17Z)
• Gradual Verification for Smart Contracts [0.4543820534430522]
  Algosはスマートコントラクトを通じてセキュアなリソーストランザクションを実現する。 従来の検証技術は、包括的なセキュリティ保証の提供に不足している。 本稿では,段階的検証という段階的なアプローチを紹介する。
  論文  参考訳（メタデータ） (2023-11-22T12:42:26Z)
• Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair [36.46679501556185]
  分散ファイナンス(DeFi)はピアツーピア金融エコシステムとして台頭している。 スマートコントラクトには 膨大な価値があります 攻撃の魅力的なターゲットになります 本稿では,脆弱性検出と自動修復の観点から,スマートコントラクトとDeFiセキュリティの分野における進歩を概観する。
  論文  参考訳（メタデータ） (2023-09-05T17:00:42Z)
• Formally Verifying a Real World Smart Contract [52.30656867727018]
  われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。 本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
  論文  参考訳（メタデータ） (2023-07-05T14:30:21Z)
• ACon$^2$: Adaptive Conformal Consensus for Provable Blockchain Oracles [31.439376852065713]
  スマートコントラクトのパワーはオフチェーンデータとのインタラクションによって実現され、それによってブロック状態の一貫性を損なう可能性がある。 適応型コンセンサス(ACon$2$)アルゴリズムを提案し,複数のオラクル契約からコンセンサスを導出する。 特に、提案アルゴリズムは、データの不確実性を定量化し、所望の正確性を保証するコンセンサスセットを返す。
  論文  参考訳（メタデータ） (2022-11-17T04:37:24Z)
• An Empirical Study on Real Bug Fixes from Solidity Smart Contract Projects [37.39791127265096]
  46の現実的Solidityスマートコントラクトプロジェクトから,歴史的バグフィックスに関する実証的研究を行った。 この過程で4つの知見を抽出し,これらの4つの疑問を探求する。 私たちは、Solidityスマートコントラクトのバグ修正に対する現在のアプローチを改善するために、実行可能な意味を提供します。
  論文  参考訳（メタデータ） (2022-10-21T14:26:53Z)
• 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)

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

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