Create NIZKP.java