Fugu-MT 論文翻訳(概要): CLawK: Monitoring Business Processes in Smart Contracts

論文の概要: CLawK: Monitoring Business Processes in Smart Contracts

arxiv url: http://arxiv.org/abs/2305.08254v1
Date: Sun, 14 May 2023 21:33:19 GMT
ステータス: 処理完了
システム内更新日: 2023-10-24 08:55:36.723676
Title: CLawK: Monitoring Business Processes in Smart Contracts
Title（参考訳）: CLawK: スマートコントラクトにおけるビジネスプロセス監視
Authors: Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Abstract要約: 本稿では,DCRグラフで記述されたビジネスプロセス仕様を利用して,スマートコントラクト実行のランタイム検証を行うランタイム監視ツールであるCLawKを紹介する。我々は、CLawKがコードインスツルメンテーションや追加のガスコストなしで、ネットワークにデプロイされたスマートコントラクトの特定の振る舞いから逸脱を検出し、フラグを立てる方法について実証する。
参考スコア（独自算出の注目度）: 2.3709422532220805
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Smart contracts embody complex business processes that can be difficult to analyze statically. In this paper, we present CLawK, a runtime monitoring tool that leverages business process specifications written in DCR graphs to provide runtime verification of smart contract execution. We demonstrate how CLawK can detect and flag deviations from specified behaviors in smart contracts deployed in the Ethereum network without code instrumentation and any additional gas costs.
Abstract（参考訳）: スマートコントラクトは、静的解析が難しい複雑なビジネスプロセスを具現化する。本稿では,DCRグラフで記述されたビジネスプロセス仕様を利用して,スマートコントラクト実行のランタイム検証を行うランタイム監視ツールCLawKを提案する。我々は、コードインスツルメンテーションや追加のガスコストなしで、Ethereumネットワークにデプロイされたスマートコントラクトの特定の振る舞いから、CLawKがどのように逸脱を検出し、フラグを立てるかを実証する。

関連論文リスト

Codev-Bench: How Do LLMs Understand Developer-Centric Code Completion? [60.84912551069379]
Code-Development Benchmark (Codev-Bench)は、細粒度で現実世界、リポジトリレベル、開発者中心の評価フレームワークです。 Codev-Agentは、リポジトリのクローリングを自動化し、実行環境を構築し、既存のユニットテストから動的呼び出しチェーンを抽出し、データ漏洩を避けるために新しいテストサンプルを生成するエージェントベースのシステムである。
論文参考訳（メタデータ） (2024-10-02T09:11:10Z)
Contractual Reinforcement Learning: Pulling Arms with Invisible Hands [68.77645200579181]
本稿では,契約設計によるオンライン学習問題において,利害関係者の経済的利益を整合させる理論的枠組みを提案する。計画問題に対して、遠目エージェントに対する最適契約を決定するための効率的な動的プログラミングアルゴリズムを設計する。学習問題に対して,契約の堅牢な設計から探索と搾取のバランスに至るまでの課題を解き放つために,非回帰学習アルゴリズムの汎用設計を導入する。
論文参考訳（メタデータ） (2024-07-01T16:53:00Z)
Solvent: liquidity verification of smart contracts [2.680854115314008]
スマートコントラクト検証ツールの現在の制限は、暗号資産の交換に関する流動性特性の表現と検証に効果がないことである。我々は,これらの特性の検証を目的とした溶剤について提案する。これは,Solidityの既存の検証ツールの範囲を超えている。
論文参考訳（メタデータ） (2024-04-27T10:54:50Z)
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction [10.723903783651537]
過去の取引履歴から契約仕様を推測するための仕様マイニング手法を提案する。提案手法は,トランザクション履歴から統計的に推測されるプログラム不変量とともに,関数呼び出しの高レベルな挙動自動化を導出する。
論文参考訳（メタデータ） (2024-03-20T03:39:51Z)
Formally Verifying a Real World Smart Contract [52.30656867727018]
われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
論文参考訳（メタデータ） (2023-07-05T14:30:21Z)
Capturing Smart Contract Design with DCR Graphs [2.3709422532220805]
我々はDCRグラフがスマートコントラクトに適した形式化ツールであると主張する。これらのパターンを適用することで、DCRグラフは正確で信頼性の高いスマートコントラクトの開発と分析を容易にする。
論文参考訳（メタデータ） (2023-05-08T09:44:57Z)
Safety Verification of Declarative Smart Contracts [4.303272418564008]
本稿では,DeCon で記述された宣言型スマートコントラクトを対象とした自動安全検証ツール DCV を提案する。 20のベンチマークコントラクトに対する評価は,DCVがパブリックリポジトリから適応したスマートコントラクトの検証に有効であることを示し,他のツールがサポートしていないコントラクトの検証が可能であることを示唆している。
論文参考訳（メタデータ） (2022-11-26T15:02:37Z)
ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction [84.0634340572349]
法律契約における暗黙の関係をモデル化し,契約条項の自動抽出(CCE)について検討する。本研究ではまず,契約の複雑性問題を包括的に分析し,契約に共通する3つの暗黙の関係を抽出する。本稿では,上記の3つの関係を利用して,より優れたコントラクト理解とCCEの改善を実現するための新しいフレームワークであるConReaderを提案する。
論文参考訳（メタデータ） (2022-10-17T02:15:18Z)
Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文参考訳（メタデータ） (2021-11-02T19:26:32Z)
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文参考訳（メタデータ） (2021-03-18T20:22:50Z)
Profiling Gas Consumption in Solidity Smart Contracts [3.0378875015087567]
本稿では,ガス消費の観点から,スマートコントラクトのコード品質を静的に評価するためのメトリクススイートであるGasMetを提案する。 2,186のスマートコントラクトを含む実験では、提案されたメトリクスがデプロイメントコストと直接関連していることが示されている。
論文参考訳（メタデータ） (2020-08-12T17:26:55Z)

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