Firefly helps Ethereum smart contract developers
get higher assurance.

Firefly is the first step toward formal verification.

start see example

Benefits of using Firefly

Performance 01

Firefly is backed by KEVM, largely considered an official specification of the EVM. KEVM is tested thoroughly on the same test-suite as other clients and is trusted by many for formal verification.

Assurance 02

Don't sacrifice performance for assurance. Firefly performs comparably to ganache-cli, meaning you won't see a slowdown in your test execution.

Correctness 03
Code Analysis

While executing your tests, Firefly collects extra information from KEVM about your contract. The results are used to power our Continuous Integration service, allowing you to catch problems early.

Start here

Set up Firefly by following the steps bellow:

Sign-up for the Beta program

First, we'll inform you when the program starts. Then we'll give you free access for a month.

This is for internal purposes only. Runtime Verification doesn’t share your email with anyone.