Published in


Verifying Ethereum-flavored Wasm (Ewasm) Code

by Rikard Hjort and Stephen Skeirik

ERC20 and the balanceOf function

Verifying the do_balance function

Extending KWasm to KEwasm

Interactive proving with kore-repl

Overcoming proof obstacles via adding lemmas




Blockchain news, analysis, research, and opinions from the lab

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Runtime Verification

Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.