論文の概要: Towards automated verification of multi-party consensus protocols
- arxiv url: http://arxiv.org/abs/2112.02397v1
- Date: Sat, 4 Dec 2021 18:28:59 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-09 12:30:44.362209
- Title: Towards automated verification of multi-party consensus protocols
- Title(参考訳): マルチパーティコンセンサスプロトコルの自動検証に向けて
- Authors: Ivan Fedotov, Anton Khritankov, Artem Barger
- Abstract要約: Hyperledger Fabricフレームワークは、承認ポリシープロトコルに基づくマルチパーティのコンセンサスを公開して、トランザクションに関するコンセンサスに到達する。
本稿では,統計的モデル検査と仮説検証を用いた支持政策の検証手法を提案する。
私たちの技術を使って、Hyperledger Fabricフレームワークを使ってエンタープライズアプリケーションを設計できます。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Blockchain technology and related frameworks have recently received extensive
attention. Blockchain systems use multi-party consensus protocols to reach
agreements on transactions. Hyperledger Fabric framework exposes a multi-party
consensus, based on endorsement policy protocol, to reach a consensus on a
transaction. In this paper, we define a problem of verification of a blockchain
multi-party consensus with probabilistic properties. Further, we propose a
verification technique of endorsement policies using statistical model checking
and hypothesis testing. We analyze several aspects of the policies, including
the ability to assign weights to organizations and the refusal probabilities of
organizations. We demonstrate on experiments the work of our verification
technique and how one can use experimental results to make the model
satisfiable the specification. One can use our technique to design enterprise
applications with the Hyperledger Fabric framework.
- Abstract(参考訳): ブロックチェーン技術と関連するフレームワークは、最近広く注目を集めている。
ブロックチェーンシステムは、トランザクションの合意に達するためにマルチパーティコンセンサスプロトコルを使用する。
Hyperledger Fabricフレームワークは、承認ポリシープロトコルに基づくマルチパーティのコンセンサスを公開して、トランザクションに関するコンセンサスに到達する。
本稿では,確率特性を用いたブロックチェーンの多人数合意の検証問題を定義する。
さらに,統計的モデル検査と仮説検証を用いた支持政策の検証手法を提案する。
我々は、組織に重みを割り当てる能力や組織の拒否可能性など、政策のいくつかの側面を分析した。
実験では, 検証手法の成果と, 実験結果を用いて, モデルが仕様を満足できるようにする方法を実証する。
私たちの技術を使って、Hyperledger Fabricフレームワークを使ってエンタープライズアプリケーションを設計できます。
関連論文リスト
- Generative AI-enabled Blockchain Networks: Fundamentals, Applications,
and Case Study [73.87110604150315]
Generative Artificial Intelligence(GAI)は、ブロックチェーン技術の課題に対処するための有望なソリューションとして登場した。
本稿では、まずGAI技術を紹介し、そのアプリケーションの概要を説明し、GAIをブロックチェーンに統合するための既存のソリューションについて議論する。
論文 参考訳(メタデータ) (2024-01-28T10:46:17Z) - Conformal Policy Learning for Sensorimotor Control Under Distribution
Shifts [61.929388479847525]
本稿では,センサコントローラの観測値の分布変化を検知・応答する問題に焦点をあてる。
鍵となる考え方は、整合量子を入力として取ることができるスイッチングポリシーの設計である。
本稿では, 基本方針を異なる特性で切り替えるために, 共形量子関数を用いてこのようなポリシーを設計する方法を示す。
論文 参考訳(メタデータ) (2023-11-02T17:59:30Z) - A General Verification Framework for Dynamical and Control Models via
Certificate Synthesis [60.03938402120854]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳(メタデータ) (2023-09-12T09:37:26Z) - Enabling Data Confidentiality with Public Blockchains [6.092714083639697]
相互運用アプリケーション(MARTSIA)のためのトランザクションシステムに対するマルチオーソリティアプローチ
MARTSIAは、メッセージ部分のレベルで共有データの読み取りアクセス制御を可能にする。
Multi-Authority Attribute-Based Encryption (MA-ABE)に基づいて、MARTSIAはメッセージ部分のレベルで共有データの読み取りアクセス制御を可能にする。
論文 参考訳(メタデータ) (2023-08-04T13:21:48Z) - Conformal Prediction for Federated Uncertainty Quantification Under
Label Shift [57.54977668978613]
Federated Learning(FL)は、多くのクライアントが協力してモデルをトレーニングする機械学習フレームワークである。
我々は、量子回帰に基づく新しいコンフォメーション予測法を開発し、プライバシー制約を考慮した。
論文 参考訳(メタデータ) (2023-06-08T11:54:58Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳(メタデータ) (2023-04-25T11:56:18Z) - Modelling Business Agreements in the Multimodal Transportation Domain
through Ontological Smart Contracts [0.5735035463793007]
Ride2Railプロジェクトは、ブロックチェーンを使用して、異なる利害関係者間の合意をスマートコントラクトとして記録することを調査した。
本稿では,オントロジ的スマートコントラクトの概念を特定のドメインに適用できることを示すために,Ride2Rail Ontology for Agreementsの開発について述べる。
論文 参考訳(メタデータ) (2022-09-05T09:58:42Z) - Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive
Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。
我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文 参考訳(メタデータ) (2022-07-19T05:47:30Z) - Talaria: A Framework for Simulation of Permissioned Blockchains for
Logistics and Beyond [19.988195564240577]
Talariaは、新しい認可型ブロックチェーンシミュレータである。
それは多くのプロトコルとユースケースをサポートしており、特にサプライチェーン管理において重要である。
Talariaは、実用的ビザンチンフォールトトレランス(pBFT)とProof-of-Authorityコンセンサスプロトコルの簡易バージョンの両方で設計されている。
論文 参考訳(メタデータ) (2021-03-03T08:43:30Z) - BlockNet Report: Exploring the Blockchain Skills Concept and Best
Practice Use Cases [0.0]
このプロジェクトは、コースを提供する既存の教育イニシアチブの学術的、産業的展望を探求するものである。
企業から今日の能力要件を特定するために、求人説明や広告が分析される。
様々なユースケースの分析は、技術アプリケーションの主要なドライバと能力要件を特定するために標準化されたフォーマットで行われ、定義されます。
論文 参考訳(メタデータ) (2021-02-08T16:40:09Z) - Towards Quantum-Secure Authentication and Key Agreement via Abstract
Multi-Agent Interaction [7.673465837624366]
公開鍵暗号に基づく認証と鍵契約の現在の方法は、量子コンピューティングに脆弱である。
本稿では,コミュニケーション関係者を自律エージェントと見なす人工知能研究に基づく新しいアプローチを提案する。
提案手法に基づくプロトタイプ認証および鍵契約システムであるPyAMIをリリースする。
論文 参考訳(メタデータ) (2020-07-18T04:22:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。