Efficiency ?
Tools Expensive : trapdoor commitment, proof of trapdoor knowledge, pseudo random functions.
Cautious Optimism: General construction for NP language L are inefficient, but for concrete L likely do better. Assumptions can be relaxed
Still : rZK for identification may be an overkill