Module blackbox

Modules

• aes128 🔒
• embedded_curve_ops 🔒
• hash 🔒
• logic 🔒
• range 🔒
• signature 🔒
• utils 🔒

Functions

• contains_all_inputs 🔒
  Check if all of the inputs to the function have assignments
• first_missing_assignment 🔒
  Check if all of the inputs to the function have assignments
• solve 🔒
  Solve a black box function call