Module logic

Functions

• and 🔒
  Solves a BlackBoxFunc::And opcode and inserts the result into the supplied witness map
• solve_logic_opcode 🔒
  Derives the rest of the witness based on the initial low level variables
• xor 🔒
  Solves a BlackBoxFunc::XOR opcode and inserts the result into the supplied witness map