Efficient zkSNARK proving system requiring a trusted setup; used in privacy and rollup proofs.