Two-Message Witness Indistinguishability and Secure Computation in the Plain Model from New Assumptions