Module validator

Functions

check_fits_in_bits 🔒

unsatisfied_constraint 🔒

validate_witness

Checks that an already-complete witness_map satisfies every constraint imposed by circuit, returning the first violation found.

witness_value 🔒