Suppose we apply the compiler proposed in the paper on standard zkSNARK primitives such as Groth16 or PLONK that are proven to have simulation extractability under the algebraic group model (or generic group model). Would they be UC-secure, when the environment is restricted to algebraic adversaries?