Verified Vectors