#kernel de ejecución verificable