For now Proof Verification can be only performed with Proof Generation.

How to use?

Follow instructions for Proof Generation, but select PROOF_VERIFICATION_ON_L2 as result. After proof is verified, you can call isCairoFactValid(fact_hash: felt252, is_mocked: bool) or get_verification(verification_hash: felt252) function on Satellite contract as described in more details in Integrity page. 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.