Mission

The goal of the CertiChain project is to develop a framework for computer-aided verification of correctness properties of blockchain-based distributed consensus protocols: their safety, liveness, and probabilistic security guarantees. We build on the recent advances in applying mechanised interactive theorem proving for establishing machine-checked correctness of safety-critical distributed systems. We employ the state-of-the-art techniques from foundational formal verification to distributed systems to address the challenges posed by implementations of blockchain protocols. Our approach enables modular and scalable reasoning about composite systems, making verification efforts reusable and maintainable.

News

Two postdoc positions are currently available. Get in touch with Ilya Sergey if interested.

Researchers

Core Team

Collaborators

Related Publications

Artefacts

GitHub Organisation

NSOE-TSS                Yale-NUS College                NUS School of
  Computing