A 4-round zero-knowledge interactive proof system for NP (Non-deterministic Polynomial) is presented when assuming the e......