This is a lightweight wrapper around libsnark.