|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Towards Verification of Probabilistic Multi-Party Consensus Protocols: Constructing Algorithms for Verification of Multi-Party Protocols with Probabilistic Propertiesстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 20 февраля 2024 г.
- Авторы: Fedotov Ivan, Khritankov Anton, Barger Artem
- Сборник: Proceedings of the 2022 5th International Conference on Software Engineering and Information Management
- Серия: ICSIM ’22
- Год издания: 2022
- Издательство: Association for Computing Machinery
- Местоположение издательства: New York, N.Y., United States
- Первая страница: 100
- Последняя страница: 105
- DOI: 10.1145/3520084.3520100
- Аннотация: 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 the 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.
- Добавил в систему: Хританков Антон Сергеевич