vAttention: Verified Sparse Attention