Zero knowledge Beweis für das GI Problem: Problemstellung