Functions

  • Returns the witness of an execution of a Cairo program in CircuitGate format