How to prove any NP statement jointly? Efficient Distributed-prover Zero-Knowledge Protocols