Functions§
- and 🔒
- Solves a [
BlackBoxFunc::And][acir::circuit::black_box_functions::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][acir::circuit::black_box_functions::BlackBoxFunc::XOR] opcode and inserts the result into the supplied witness map