replace vector witnesses with R1Witness