> prove their code cannot be manipulated remotely

That's not technically possible, surely.