Correlation Intractability And Snargs From Sub Exponential Ddh Simons Institute