Crate halo2_debug

Modules

• display

Functions

• check_witness
  Check that the wintess passes all the constraints defined by the circuit. Panics if any constraint is not satisfied.
• keccak_hex
  Gets the hex representation of the keccak hash of the input data
• test_result
  When the feature vector-tests is enabled, executes the test in a single thread and checks the result against the expected value. When the feature vector-tests is disabled, just executes the test.
• test_rng