Zero-Knowledge Proof in NuLink. - Pawn; Rookie; Zhuan Cheng (CoRR, 2024)