2x speedups for proving, 3x speedups for verification and 60%
reduction in proof size is great. I don't understand how does it improve security.