Text this: Polaris: Transparent Succinct Zero-Knowledge Arguments for R1CS with Efficient Verifier