Formally Verified Plasma Contracts

Formal verification for OmiseGo's plasma-contracts.

This is experimental project and don't guarantee anything.

How to get started

Install the EVM Verifier.

make kevm

Make specification files.

make plasma-mvp

Progress

see this spreadsheet.

Acknowledgements

This repository is based on Runtime Verification's verified-smart-contracts repository.