Bitcoin mining solves an equation