Skip to main content
For now, proof verification can only be performed together with Proof Generation.

​
How to use?

Follow instructions for Proof Generation, but select PROOF_VERIFICATION_ON_L2 as result. After the proof is verified, you can call isCairoFactValid(fact_hash: felt252, is_mocked: bool) or get_verification(verification_hash: felt252) on the Satellite contract, as described in more detail on the Integrity page. You can also set mockFactHash to omit actual proof verification on-chain, reducing the cost for testing purposes.

​
Calculating fact hash

For fact hash calculation on Starknet, refer to the Integrity page.