Why does IOG use formal methods to build Cardano?

The IOG team utilizes formal methods in Cardano’s development process. Formal methods are a set of mathematical techniques used to ensure the correctness and reliability of software. They are based on formal logic and mathematical proofs and are intended to provide a high level of confidence in the software’s behavior. Come and read how Cardano is being built.


  • By using mathematical proofs the risk of bugs and vulnerabilities is greatly reduced.
  • Using formal methods enables the creation of a robust and modular codebase.
  • Software that will be used by a billion people must not fail under any circumstances.
  • One of the main disadvantages of using formal methods is the complexity and cost of the development process.
  • The quality of Cardano is mathematically verified.

This article was prepared by Cardanians with support from Cexplorer.

Read the article: https://cexplorer.io/article/why-does-iog-use-formal-methods-to-build-cardano

Does it use them, though?

Where are the formal verifications of the cardano-node source itself?

1 Like

There are documents mentioning that it’ll be done at a later stage, but currently it is not the plan as it is supposed to be too complex.

1 Like

for charles h&team its not complex ,like they are driving a car​:slightly_smiling_face::upside_down_face::wink:,normal man like me​:exploding_head: mindblowing stuff.
let them use formal methods and build en test so the planet enjoy great cardano🥰