Efficient Local Simulation of Las Vegas Algorithms

Any Las Vegas algorithm with locally certifiable failures can be converted into a zero-error Las Vegas algorithm that faithfully reproduces the correct output of the original algorithm in successful executions, with only polylogarithmic overhead in time complexity.