Efficient Modular NIZK Arguments from Shift and Product