Proof-of-Execution: Low-Latency Consensus via Speculative Execution. - Jelle Hellings; Suyash Gupta 001; Sajjad Rahnama; Junchao Chen 003; Celine Sana; Mohammad Sadoghi (ACM Trans. Database Syst., 2026)