Does any STARK prover (plonky2/plonky3..) come with a solidity verifier?

Interested in ZK, FHE, PUFs, hardware, system design, ai safety, and smart contact security.

Ok. The problem is since STARK proofs are huge, it will won’t fit in one transaction.

yeah, i'm looking for the direct verifier. i wonder how difficult would it be to write one. plonky2 for example, should already have a verifier generating program in some language. Shouldn't be too hard (at least in theory) to translate it to solidity.

There's none that I'm aware of, some of them wrap into a groth16 proof for on chain verification