Brief announcement: Local distributed verification