Efficient Culpably Sound NIZK Shuffle Argument Without Random Oracles