My dream here is probably webassembly transactions with bounded resource consumption