We know that major optimistic rollups tend to pay less than 1% of their gross profit to settle on the L1 today. What is the equivalent data for validity rollups, has anyone seen it? Assume making and verifying the proofs is much more expensive, but curious how much(Hasu⚡️🤖)