improves the designated verifier part iiuc