Blockchains guarantee correctnes but not validity of computations.