Decentralization for the Poor

Too many US crypto startups have top talent focusing on problems that do not matter to poor people who could benefit from technical solutions to problems they face regularly.


Fuzzers vs. SMT Solvers - What's the Difference?

A description of general processes for smart contract security auditors used now.


How to Setup Linters, Surya, and Test Your Code Coverage in Solidity

Wondering how to setup linters for your Solidity project repo? Here we'll cover just that, plus, as a bonus, how to setup surya and solidity-coverage.


Audit Smart Contracts with Static Analysis

Want to run basic security auditing tools on your smart contracts? Here's what you need to know about how to setup your local environment to test the contracts.