V Ξ O NDecentralized software auditing using Ethereum and Smart ContractsThrough the rise of various Ethereum-based smart tokens and contracts, there have been multiple examples of code going wrong due to a…May 6, 20173May 6, 20173