Links
Comment on page

Prove

Time to create a Proof of our Cairo program!
Once we have our json we can use the prove command to create our proof!
Basically this command will create a proving job at Giza and once the job completes we will download the created proof.
> giza prove orion_runner.casm.json --size M
[giza][2023-08-04 11:30:36.892] Proving job created with name 'proof-job-20230804-2d3d857a' and id -> 1 ✅
[giza][2023-08-04 11:37:41.848] Proving job is successful ✅ # This output will be updated live!
[giza][2023-08-04 11:37:42.097] Proof Cairo VM execution time -> 5.2519965
[giza][2023-08-04 11:37:42.099] Proof proving time -> 310.86398
[giza][2023-08-04 11:37:43.007] Proof saved at: zk.proof
As we can see the job takes some time, because of this we are actively waiting for the job to be completed, once it's done all information and the prove is retrieved.