Fugu-MT 論文翻訳(概要): Validation Framework for E-Contract and Smart Contract

論文の概要: Validation Framework for E-Contract and Smart Contract

arxiv url: http://arxiv.org/abs/2504.19137v1
Date: Sun, 27 Apr 2025 07:23:46 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-02 19:15:54.146604
Title: Validation Framework for E-Contract and Smart Contract
Title（参考訳）: E-Contractとスマートコントラクトのためのバリデーションフレームワーク
Authors: Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam,
Abstract要約: 我々は,e-contractsから派生したスマートコントラクトを検証するためのフレームワークを提案し,開発する。提案するフレームワークは,e-contractsの用語と節をスマートコントラクトの論理と体系的に比較し,検証する。この検証により、合意が正確に実行可能なコードに変換されることを確認した。
参考スコア（独自算出の注目度）: 0.6312266245317322
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
Abstract: We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined in their corresponding e-contracts. By confirming alignment between the smart contracts and their original agreements, this approach enhances trust and reliability in automated contract execution. The proposed framework will systematically compare and validate the terms and clauses of the e-contracts with the logic of the smart contracts. This validation confirms that the agreement is accurately translated into executable code. Automated verification identifies issues between the e-contracts and their smart contract counterparts. This proposed work will solve the problems of gap between legal language and code execution, this framework ensures seamless integration of smart contracts into the existing legal framework.
Abstract（参考訳）: 我々は,e-contractsから派生したスマートコントラクトを検証するためのフレームワークを提案し,開発する。目標は、生成されたスマートコントラクトが対応するe-contractsで概説された条件をすべて満たすようにすることです。スマートコントラクトと元の契約の整合性を確認することで、このアプローチは自動コントラクト実行における信頼性と信頼性を高める。提案するフレームワークは,e-contractsの用語と節をスマートコントラクトの論理と体系的に比較し,検証する。この検証により、合意が正確に実行可能なコードに変換されることを確認した。自動検証は、e-contractとスマートコントラクト間の問題を特定する。このフレームワークは、既存の法律フレームワークにスマートコントラクトをシームレスに統合することを保証する。

関連論文リスト

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair [51.0686873716938]
コード補完モデルによって生成されたSolidityスマートコントラクトの機能的正しさを評価するベンチマークであるSolBenchを紹介する。本稿では,スマートコントラクトの機能的正当性を検証するための検索拡張コード修復フレームワークを提案する。その結果、コード修復と検索技術は、計算コストを削減しつつ、スマートコントラクト完了の正しさを効果的に向上することを示した。
論文参考訳（メタデータ） (2025-03-03T01:55:20Z)
SmartML: Towards a Modeling Language for Smart Contracts [0.3277163122167434]
本稿では,プラットフォームに依存しない,理解しやすいスマートコントラクトのモデリング言語であるSmartMLを提案する。セキュリティ脆弱性に対処する上での役割に焦点をあてて、その形式的意味論と型システムについて詳述する。
論文参考訳（メタデータ） (2024-03-11T11:27:53Z)
Contract Usage and Evolution in Android Mobile Applications [45.44831696628473]
JavaやKotlinで記述されたAndroidアプリケーションにおけるコントラクトの存在と使用に関する,最初の大規模な実証的研究を紹介する。 F-Droidリポジトリから2,390のAndroidアプリケーションを解析し,51,749 KLOC以上を処理した。私たちの発見は、JavaとKotlinでコントラクト仕様を標準化するライブラリを持つことが望ましいことを示しています。
論文参考訳（メタデータ） (2024-01-25T15:36: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)
ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction [84.0634340572349]
法律契約における暗黙の関係をモデル化し,契約条項の自動抽出(CCE)について検討する。本研究ではまず,契約の複雑性問題を包括的に分析し,契約に共通する3つの暗黙の関係を抽出する。本稿では,上記の3つの関係を利用して,より優れたコントラクト理解とCCEの改善を実現するための新しいフレームワークであるConReaderを提案する。
論文参考訳（メタデータ） (2022-10-17T02:15:18Z)
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts [5.379572824182189]
我々は,HCCと呼ばれる,最初の実用的なスマートコントラクトコンパイラを提案する。 HCCは、新しい言語に依存しないコードプロパティグラフ(CPG)の表記に基づいて、ソースコードレベルでのセキュリティ強化チェックを挿入する。
論文参考訳（メタデータ） (2022-03-01T11:25:32Z)
Ergo -- a programming language for Smart Legal Contracts [0.0]
我々は、幅広いスマートな法律契約のユースケースをサポートするスマートな法律契約プラットフォームを提示する。これは、法的な合意の複雑さを表現し、これらの合意の側面を実行するための既存のアプローチを改善するためのステップであると考えています。
論文参考訳（メタデータ） (2021-12-13T23:38:06Z)
Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文参考訳（メタデータ） (2021-11-02T19:26:32Z)
ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts [39.75232199445175]
契約書に対する文書レベルの自然言語推論(NLI)を提案する。システムには一連の仮説と契約が与えられ、それぞれの仮説が「関連づけられている」か、「矛盾している」か、「言及されていない」か(中立である)を分類するよう求められる。これまでで最大のコーパスを607のアノテート契約でリリースしています。
論文参考訳（メタデータ） (2021-10-05T03:22:31Z)

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

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