Remote Co-Verification