Generate zk proof