Optimizing multi-party agreement protocols

Ivan Fedotov; Anton Khritankov; Artem Barger

doi:10.1109/brains55737.2022.9909284

Optimizing multi-party agreement protocols

Ivan Fedotov, Anton Khritankov, Artem Barger

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current work. We represent a multiparty agreement as a discrete-time Markov chain and specification in a probabilistic linear temporal logic form. We demonstrate how to change the protocol parameters to satisfy the specification and illustrate the work of algorithms in experiments. Finally, we discuss the usage of proposed algorithms in the Hyperledger Fabric framework.

Original language	English
Title of host publication	2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	55-58
Number of pages	4
ISBN (Electronic)	9781665471589
DOIs	https://doi.org/10.1109/brains55737.2022.9909284
State	Published - 2022
Externally published	Yes
Event	4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022 - Paris, France Duration: 27 Sep 2022 → 30 Sep 2022

Publication series

Name	2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022

Conference

Conference	4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022
Country/Territory	France
City	Paris
Period	27/09/22 → 30/09/22

Bibliographical note

Publisher Copyright:
© 2022 IEEE.

Keywords

Blockchain
Hyperledger Fabric
multi-party agreement
statistical model checking
verification

ASJC Scopus subject areas

Management Information Systems
Artificial Intelligence
Computer Networks and Communications
Decision Sciences (miscellaneous)
Information Systems and Management

Access to Document

10.1109/brains55737.2022.9909284

Cite this

Fedotov, I., Khritankov, A., & Barger, A. (2022). Optimizing multi-party agreement protocols. In 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022 (pp. 55-58). (2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/brains55737.2022.9909284

Fedotov, Ivan ; Khritankov, Anton ; Barger, Artem. / Optimizing multi-party agreement protocols. 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. Institute of Electrical and Electronics Engineers Inc., 2022. pp. 55-58 (2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022).

@inproceedings{cdab50a5d441460993b43574e53c8392,

title = "Optimizing multi-party agreement protocols",

abstract = "Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current work. We represent a multiparty agreement as a discrete-time Markov chain and specification in a probabilistic linear temporal logic form. We demonstrate how to change the protocol parameters to satisfy the specification and illustrate the work of algorithms in experiments. Finally, we discuss the usage of proposed algorithms in the Hyperledger Fabric framework.",

keywords = "Blockchain, Hyperledger Fabric, multi-party agreement, statistical model checking, verification",

author = "Ivan Fedotov and Anton Khritankov and Artem Barger",

note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022 ; Conference date: 27-09-2022 Through 30-09-2022",

year = "2022",

doi = "10.1109/brains55737.2022.9909284",

language = "English",

series = "2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "55--58",

booktitle = "2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022",

address = "United States",

}

Fedotov, I, Khritankov, A & Barger, A 2022, Optimizing multi-party agreement protocols. in 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022, Institute of Electrical and Electronics Engineers Inc., pp. 55-58, 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022, Paris, France, 27/09/22. https://doi.org/10.1109/brains55737.2022.9909284

Optimizing multi-party agreement protocols. / Fedotov, Ivan; Khritankov, Anton; Barger, Artem.
2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. Institute of Electrical and Electronics Engineers Inc., 2022. p. 55-58 (2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Optimizing multi-party agreement protocols

AU - Fedotov, Ivan

AU - Khritankov, Anton

AU - Barger, Artem

PY - 2022

Y1 - 2022

N2 - Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current work. We represent a multiparty agreement as a discrete-time Markov chain and specification in a probabilistic linear temporal logic form. We demonstrate how to change the protocol parameters to satisfy the specification and illustrate the work of algorithms in experiments. Finally, we discuss the usage of proposed algorithms in the Hyperledger Fabric framework.

AB - Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current work. We represent a multiparty agreement as a discrete-time Markov chain and specification in a probabilistic linear temporal logic form. We demonstrate how to change the protocol parameters to satisfy the specification and illustrate the work of algorithms in experiments. Finally, we discuss the usage of proposed algorithms in the Hyperledger Fabric framework.

KW - Blockchain

KW - Hyperledger Fabric

KW - multi-party agreement

KW - statistical model checking

KW - verification

UR - http://www.scopus.com/inward/record.url?scp=85141572207&partnerID=8YFLogxK

U2 - 10.1109/brains55737.2022.9909284

DO - 10.1109/brains55737.2022.9909284

M3 - Conference contribution

AN - SCOPUS:85141572207

T3 - 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022

SP - 55

EP - 58

BT - 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022

Y2 - 27 September 2022 through 30 September 2022

ER -

Fedotov I, Khritankov A, Barger A. Optimizing multi-party agreement protocols. In 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. Institute of Electrical and Electronics Engineers Inc. 2022. p. 55-58. (2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022). doi: 10.1109/brains55737.2022.9909284

Optimizing multi-party agreement protocols

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this