論文の概要: Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs
- arxiv url: http://arxiv.org/abs/2409.12171v1
- Date: Wed, 11 Sep 2024 13:46:24 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-22 21:12:27.960704
- Title: Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs
- Title(参考訳): 知識グラフに基づくスマートコントラクト生成によるブロックチェーンのセマンティック相互運用性
- Authors: William Van Woensel, Oshani Seneviratne,
- Abstract要約: 分散環境では、送信されたデータはセマンティック相互運用性の標準を使って構成されます。
本稿では,高レベルな意味知識グラフを用いたスマートコントラクト論理の符号化を提案する。
セマンティックなKGに基づいてスマートコントラクトコードを自動的に生成できることを示す。
- 参考スコア(独自算出の注目度): 0.820828081284034
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Background: Health 3.0 allows decision making to be based on longitudinal data from multiple institutions, from across the patient's healthcare journey. In such a distributed setting, blockchain smart contracts can act as neutral intermediaries to implement trustworthy decision making. Objective: In a distributed setting, transmitted data will be structured using standards (such as HL7 FHIR) for semantic interoperability. In turn, the smart contract will require interoperability with this standard, implement a complex communication setup (e.g., using oracles), and be developed using blockchain languages (e.g., Solidity). We propose the encoding of smart contract logic using a high-level semantic Knowledge Graph, using concepts from the domain standard. We then deploy this semantic KG on blockchain. Methods: Off-chain, a code generation pipeline compiles the KG into a concrete smart contract, which is then deployed on-chain. Our pipeline targets an intermediary bridge representation, which can be transpiled into a specific blockchain language. Our choice avoids on-chain rule engines, with unpredictable and likely higher computational cost; it is thus in line with the economic rules of blockchain. Results: We applied our code generation approach to generate smart contracts for 3 health insurance cases from Medicare. We discuss the suitability of our approach - the need for a neutral intermediary - for a number of healthcare use cases. Our evaluation finds that the generated contracts perform well in terms of correctness and execution cost ("gas") on blockchain. Conclusions: We showed that it is feasible to automatically generate smart contract code based on a semantic KG, in a way that respects the economic rules of blockchain. Future work includes studying the use of Large Language Models (LLM) in our approach, and evaluations on other blockchains.
- Abstract(参考訳): 背景: Health 3.0は、患者のヘルスケアジャーニー全体から、複数の機関の縦断的なデータに基づいて意思決定を可能にする。
このような分散環境では、ブロックチェーンスマートコントラクトが中立的な仲介者として機能し、信頼できる意思決定を実現する。
目的: 分散環境では、送信されたデータはセマンティック相互運用性のために標準(HL7 FHIRなど)を使用して構造化されます。
その代わり、スマートコントラクトは、この標準との相互運用性を必要とし、複雑な通信設定(オーラクルの使用など)を実装し、ブロックチェーン言語(例えばSolidity)を使用して開発する。
本稿では,ドメイン標準の概念を用いて,高レベルな意味知識グラフを用いたスマートコントラクト論理の符号化を提案する。
次に、ブロックチェーンにこのセマンティックKGをデプロイします。
メソッド: Off-chain、コード生成パイプラインは、KGを具体的なスマートコントラクトにコンパイルし、オンチェーンにデプロイする。
私たちのパイプラインは、特定のブロックチェーン言語にトランスパイル可能な中間ブリッジ表現をターゲットとしています。
私たちの選択は、予測不可能で高い計算コストで、オンチェーンルールエンジンを避けます。
結果: 医療保険3件のスマートコントラクト作成にコード生成アプローチを適用した。
我々は、多くの医療のユースケースにおいて、我々のアプローチ、すなわち中立的な仲介者の必要性について論じる。
我々の評価によると、生成されたコントラクトはブロックチェーン上での正確性と実行コスト(ガス)の観点からうまく機能している。
結論:私たちは、ブロックチェーンの経済ルールを尊重する方法で、セマンティックなKGに基づいてスマートコントラクトコードを自動的に生成できることを示しました。
今後の研究には、アプローチにおけるLarge Language Models(LLM)の使用や、他のブロックチェーンの評価などが含まれる。
関連論文リスト
- The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳(メタデータ) (2024-07-16T20:53:04Z) - Smart Contract Languages: a comparative analysis [1.4066752230258734]
主要なブロックチェーンプラットフォームで使用されるスマートコントラクト言語について検討する。
ユーザビリティ、プログラミングスタイル、安全性、セキュリティなど、言語固有の機能に重点を置いています。
論文 参考訳(メタデータ) (2024-04-05T14:25:23Z) - Enhancing Trust and Privacy in Distributed Networks: A Comprehensive Survey on Blockchain-based Federated Learning [51.13534069758711]
ブロックチェーンのような分散型アプローチは、複数のエンティティ間でコンセンサスメカニズムを実装することで、魅力的なソリューションを提供する。
フェデレートラーニング(FL)は、参加者がデータのプライバシを保護しながら、協力的にモデルをトレーニングすることを可能にする。
本稿では,ブロックチェーンのセキュリティ機能とFLのプライバシ保護モデルトレーニング機能の相乗効果について検討する。
論文 参考訳(メタデータ) (2024-03-28T07:08:26Z) - Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Analysis of Arbitrary Content on Blockchain-Based Systems using BigQuery [0.0]
パブリックブロックチェーン上のコンテンツを素早く発見、分類するためのクラウドベースのアプローチを開発し、適用します。
当社の手法は,さまざまなブロックチェーンシステムに適用可能で,コンテンツ関連の使用パターンや乱用の可能性に関する洞察を提供する。
私たちの知る限りでは、ブロックチェーンに格納された非金融コンテンツを体系的に分析するのは、今回が初めてです。
論文 参考訳(メタデータ) (2022-03-17T15:12:38Z) - A formal model for ledger management systems based on contracts and
temporal logic [0.0]
台帳のような第2世代のブロックチェーンは、スマートコントラクトと結合される。
任意のプログラミング構造としてのスマートコントラクトの現在の実装は、危険なバグを受けやすいものにしている。
本稿では,有限状態オートマトンとしてモデル化された契約の概念を形式化し,データベースの分割と信頼性の回復を提案する。
論文 参考訳(メタデータ) (2021-09-30T15:34:28Z) - Blockchains through ontologies: the case study of the Ethereum ERC721
standard in OASIS (Extended Version) [0.0]
本稿では,ブロックチェーン上に格納されたスマートコントラクトをソフトウェアエージェントとして意味表現する一般的な手段として,エージェント,システム,サービス統合のためのEmphOntologyを利用する方法について報告する。
ERC721標準による管理をケーススタディとして提示したNFT(Non-fungible tokens)に特に注意が払われる。
論文 参考訳(メタデータ) (2021-09-07T06:54:11Z) - Training Massive Deep Neural Networks in a Smart Contract: A New Hope [5.0737599874451105]
ディープニューラルネットワーク(DNN)は、DeFiやNFTトレーディングといったブロックチェーンアプリケーションで非常に有用である。
本稿では,A New Hope (ANH) と呼ばれる新しいプラットフォーム設計を提案する。
i) 計算集約的なスマートコントラクトトランザクションは、結果を必要とするノード、あるいは特定のサービスプロバイダによってのみ実行される、(ii) 非決定論的スマートコントラクトトランザクションは、不確実な結果をもたらす、という考え方です。
論文 参考訳(メタデータ) (2021-06-28T14:38:44Z) - Smart Contract Vulnerability Detection: From Pure Neural Network to
Interpretable Graph Feature and Expert Pattern Fusion [48.744359070088166]
従来のスマートコントラクトの脆弱性検出方法は、専門家の規則に大きく依存している。
最近のディープラーニングアプローチはこの問題を軽減するが、有用な専門家の知識をエンコードすることができない。
ソースコードから専門家パターンを抽出する自動ツールを開発する。
次に、深いグラフの特徴を抽出するために、コードをセマンティックグラフにキャストします。
論文 参考訳(メタデータ) (2021-06-17T07:12:13Z) - Quantum-resistance in blockchain networks [46.63333997460008]
本稿では、ブロックチェーンネットワークにおける量子脅威を特定し、排除するために、米国間開発銀行、IDBラボ、LACChain、量子コンピューティング(CQC)、Tecnologicalo de Monterreyによる研究について述べる。
量子コンピューティングの出現は、非量子耐性暗号アルゴリズムを利用するため、インターネットプロトコルやブロックチェーンネットワークを脅かす。
論文 参考訳(メタデータ) (2021-06-11T23:39:25Z) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳(メタデータ) (2020-12-30T18:03:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。