Module sp1_recursion_core::stark::utils

source ·

Enums§

Functions§

  • Takes in a program and runs it with the given witness and generates a proof with a variety of machines depending on the provided test_config.
  • Returns whether the SP1_DEV environment variable is enabled or disabled.