Ethereum's faster proofs face Vitalik's next test: a hard cost limit CryptoSlate