Aftermath Proof-of-Execution (Behind the Scenes)