acir::proto::convert::witness