Efficient SNARKs over Vector Committed data