What's the gas cost of a STARK verifier on Ethereum?

According to this doc, it is ~2.5M. However, that was estimated ~4 years ago, without an implementation. What is the latest size? Any verifier contract on the mainnet to check?

5 Likes