Bitcoin S2F model gives false sense of certainty, says Vitalik Buterin