This programs compiles and executes a miden fibonacci programs, obtains the trace, and then proves it and verifies it with lambdaworks Stark Platinum Prover.
Special thanks to Polygon Miden team for providing the open source VM used here, the prover, and documenting the project.