replace vector witness with R1Witness