$ZKP Long Setup