Square Span Programs with Applications to Succinct NIZK Arguments