Partner: Ethereum

From Rust Code to Mathematical Proof: How We Verify Safety-Critical Rust

by Natalie Klaus

May 19th, 2026

Read More

Alchemix v2 audit and reviewed code fixes

by Runtime Verification

August 11th, 2022

Read More

Runtime Verification audits Blockswap’s Stakehouse code changes

by Runtime Verification

August 4th, 2022

Read More

Runtime Verification audits Swaap's Pool smart contracts

by Runtime Verification

July 28th, 2022

Read More

Runtime Verification audits Swell Network

by Runtime Verification

July 19th, 2022

Read More

Runtime Verification audits Blockswap’s Stakehouse protocol

by Runtime Verification

May 2nd, 2022

Read More

Runtime Verification audits Atlendis Protocol

by Runtime Verification

March 15th, 2022

Read More

Runtime Verification audits stakefish Ethereum staking 2.0

by Runtime Verification

January 28th, 2022

Read More

Runtime Verification audits Element’s Finance Governance Protocol

by Runtime Verification

November 4th, 2021

Read More

Formally Verifying Finality in Gasper: The Core of the Beacon Chain

by Musab Alturki

July 15th, 2020

Read More

KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0

by Rikard Hjort

March 26th, 2020

Read More

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

by Daejun Park

January 20th, 2020

Read More

A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain

by Musab Alturki

October 22nd, 2019

Read More

Runtime Verification joins the Enterprise Ethereum Alliance

by Bogdan Stanciu

September 13th, 2019

Read More

Formal Verification of Ethereum 2.0 Deposit Contract (Part I)

by Daejun Park

June 12th, 2019

Read More

ERC777-K: Formal Executable Specification of ERC777

by Denis Bogdănaș

September 21st, 2018

Read More

Formal Verification of ERC20 Contracts

by Brian Marick

August 15th, 2018

Read More

ERC20-K: Formal Executable Specification of ERC20

by Grigore Roșu

December 6th, 2017

Read More