This seems to be going MSB to LSB where it should be going LSB to MSB.. https://github.com/iden3/circomlib/blob/cff5ab6288b55ef23602221694a6a38a0239dcc0/circuits/smt/smtverifier.circom#L108