Check binary signals

[krlosMata]

Add constraints to force binary signals to be 0 - 1

[krlosMata]

• rollup-main binary signals:

  • imOnChain: add check to avoid misbehavior here
  • onChain: add check to avoid misbehavior in all decode-tx & rollup-tx
  • newAccount: add check to avoid misbehavior in all decode-tx & rollup-tx
  • fromBjjCompressed: add check to avoid misbehavior in here
  • sign1: not checked. Could not trigger any misbehavior since its value is only used by the HashState circuit
  • isOld0_1: add check to avoid misbehavior in SMTProcessor
  • sign2: not checked. Could not trigger any misbehaviour since its value is only used by the HashState circuit
  • isOld0_2: add check to avoid misbehavior in SMTProcessor
  • sign3: not checked. Could not trigger any misbehavior since its value is only used by the HashState circuit

• withdraw binary signals:

  • sign: not checked. Could not trigger any misbehavior since its value is only used by the HashState circuit