libsnark
