Short Paper: Formal Verification Of Smart Contracts

Ethereum is a cryptocurrency framework that uses blockchain technology to provide an open distributed computing platform, called the Ethereum Virtual Machine (EVM). EVM programs are written in bytecode which operates on a simple stack machine. Programmers do not usually write EVM code; instead, they can program in a JavaScript-like languagecalled Solidity that compiles to bytecode.


Want to receive more content like this in your inbox?