Proof Verification can be only performed with Proof Generation.

​
How to use?

Follow instructions for Proof Generation, but select PROOF_VERIFICATION_ON_L1 as result. After proof is verified, you can call bool isCairoFactValid(bytes32 fact_hash, bool is_mocked) function on Satellite contract. You can also set mockFactHash to omit actual proof verification on-chain, reducing the cost for testing purposes.

​
Calculating fact hash

TODO: Add instruction for calculating fact hash given program hash and output array.
This method only works if your PIE has no additional_params.json set.