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