Integrating Starky verifier into protocol

[radojevicMihailo]

Hey Everyone,
I’m trying to integrate the Starky verifier into my protocol and I came across a problem with verifying Starky proofs using only the proof and public signals.
Is there a way to verify Starky proofs without creating a specific STARK structure? If not, how can someone who doesn’t have access to the proving function, verify Starky proofs independently?
Thanks!

[Nashtare]

The verifier needs the AIR associated to your statement to be able to verify proofs generated against it.
If you want, you could wrap the STARK proof in a plonky2 proof using recursive verification, and only expose the VerifierOnlyCircuitData, necessary to verify the generated wrapped proof, regardless of the proving data.