論文の概要: 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-15 16:48:28.282170
• 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:
• 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+が不変性と柔軟性の実践的なバランスを達成し、スマートコントラクトシステムの能力を向上することを示しています。

関連論文リスト

• 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)
• Formally Verifying a Real World Smart Contract [52.30656867727018]
  われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。 本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
  論文  参考訳（メタデータ） (2023-07-05T14:30:21Z)
• Semantic Information Marketing in The Metaverse: A Learning-Based Contract Theory Framework [68.8725783112254]
  仮想サービスプロバイダ(VSP)によるインセンティブのメカニズム設計の問題に対処し,センサデータ販売にIoTデバイスを採用。 帯域幅が限られているため,センサIoTデバイスによる配信データを削減するためにセマンティック抽出アルゴリズムを提案する。 本稿では,新しい反復型契約設計を提案し,マルチエージェント強化学習(MARL)の新たな変種を用いて,モデル付き多次元契約問題の解法を提案する。
  論文  参考訳（メタデータ） (2023-02-22T15:52:37Z)
• 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)
• Regulation conform DLT-operable payment adapter based on trustless - justified trust combined generalized state channels [77.34726150561087]
  物の経済(EoT)は、ピアツーピアの信頼性のないネットワークで動作するソフトウェアエージェントに基づいています。 基本的価値と技術的可能性が異なる現在のソリューションの概要を述べる。 我々は,暗号ベースの分散型の信頼できない要素の強みと,確立された,十分に規制された支払い手段を組み合わせることを提案する。
  論文  参考訳（メタデータ） (2020-07-03T10:45:55Z)

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

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