Smart Contracts

The times are a-changing

Sometimes concepts we took for granted are challenged. Did this happen to…

What is a Bug Prediction Market?

A bug prediction market is a prediction market on whether or not a severe security vulnerability will be discovered in a given code base by a certain end date. Bug Prediction Markets (BPM) on Solidified will tie contracts’ bytecode, source code, and behavior specification…

Securing Gnosis’ Dutch exchange smart contracts — a case study.

Hiding Blockchain’s Slow UI

As a first time designer in the blockchain space I brought with me a bit of bias and preconditioning to…

The dark side of code standards

An observation on how common patterns can affect the auditing process of smart contracts.

The ERC20 token standard is by far the most successful pattern in the ecosystem and can be found in…

The Joy of Minimalism in Smart Contract Design

Keeping secrets on Ethereum

Many contracts, like game contracts, usually need to keep some values as private. For example, storing the…

The biggest smart contract hacks in history or how to endanger up to US $2.2 billion