Zero-Knowledge-Software-Design