Files
circomlib/circuits/binsub.circom