Verifying Distributed Ledger Technologies

我的目标是提供分布式账本技术（DLT）算法的正式验证，以确定创建者提出的声明的正确性。为了实现这一点，我将开发模型，使用正式的建模工具，如Event-B，并将系统的声明属性形式化，如不变性、内部一致性和视图的一致性。这将允许我对算法进行正式的和工具支持的分析，以调查所提出的要求。这也为纠正、改进或优化DLT设计提供了机会。

My aim is to provide a formal verification of distributed ledger technology (DLT) algorithms to determine the correctness of the claims set forward by the creators.In order to achieve this, I will be developing models, using formal modelling tools such as Event-B, and will formalise the claimed properties of the systems, such as immutability, internal consistency, and consistency of views. This will allow me to perform a formal and tool-supported analysis of the algorithms to investigate the claims made. This also provides the opportunity to correct, improve or optimise the DLT designs.