You can verify your STARK proofs on Starknet (L2) using Integrity verifier. It is faster and much cheaper compared to verifying on L1 and especially useful if you need an interaction with Starknet contracts.
/v1/l2/atlantic-query/proof-verification
This endpoint lets you verify already generated proofs with Integrity verifier.
To verify the proof, upload the proof.json
file along with stoneVersion
and memoryVerification
settings for the verifier. The endpoint also offers an option to mock the fact hash, which bypasses actual verification on chain. It is useful for testing purposes.
apiKey
(string, required)proofFile
(file - .json
, required) - File containing proof to verify.mockFactHash
(boolean, required) - If true
the fact hash will be mocked, bypassing actual verification for testing purposes.stoneVersion
(string, required) - stone5
or stone6
. For Sharp proofs, stone6
has to be used.memoryVerification
(string, required) - strict
, relaxed
or cairo1
. Type of public memory verification. strict
and relaxed
are for cairo 0. strict
should be used if possible, however for some bootloaders (e.g. one used by Sharp) relaxed
is required.Success (201 created)
Error responses