STARK proofs can be verified on L2 (Starknet) with Integrity verifier, so that other contracts deployed on Starknet can use its FactRegistry contract to check whether given proof was verified.
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.
additional_params.json
set.