second, we show how to achieve universal composability in the trusted set-up model where all zero-knowledge proofs share the same system-wide parameters.
We de- rive a new protocol for multiplicative relations and show how to combine it with several crypto-computing frameworks to get security in the malicious model.