Blockchain voting is a spectacularly dumb idea for a whole bunch of reasons. I have generally quoted Matt Blaze: Why…
TL;DR: We audited an implementation of the Diamond standard proposal for contract upgradeability and can’t recommend it in its current…
Voting on paper is best. Letting computers help is bound to lead to trouble, experts say. And using a blockchain…
Blockchain? I'm not sure what it is, but I know that bitcoin used to be worthless and now is worth…
In this post, we’ll show you how to test your smart contracts with the Echidna fuzzer. In particular, you’ll see…
The initial release of yVault contained logic for computing the price of yUSDC that could be manipulated by an attacker…
Everyone knows that Bitcoin is an anonymous currency. Except when it isn’t. Bitcoin and other cryptocurrencies attempt to achieve the…
Smart contract authors can now express security properties in the same language they use to write their code (Solidity) and…
Upgradeable contracts are not as safe as you think. Architectures for upgradeability can be flawed, locking contracts, losing data, or…
Over the last few months, we’ve been fuzzing solc, the standard Solidity smart contract compiler, and we’ve racked up almost…