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

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

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

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.

Starkware does stark verifications with EVM/solidity

Technologist, Natural Philosopher, Wizard

Got to know that they use multiple transactions to verify a proof. Any idea how? Do they collect proofs in state (which will be too expensive) and the verify it in one shot?

Starkware does stark verifications with EVM/solidity

https://github.com/starkware-libs/starkex-contracts