Cleaned, restrcutred, created first NIZKP tests