verification infrastructure