Rate-1 Non-Interactive Arguments for Batch-NP and Applications | IEEE Conference Publication | IEEE Xplore