Tightly-Secure Simulation-Sound Quasi-Adaptive NIZK Arguments (IEEE Access, 2026)