Hi there, after seeing your Nitro one step prover, I am very curious about the proof size on the WASM. In Arbitrum One I believe you claimed the proof size is around 200 bytes, maximum 500 bytes. Do you have any measurements on Nitro, like the average, maximum, and also distributions based on different opcodes and precompiled calls? Thank you!
We don’t have estimates for Nitro. In general, we’re not putting nearly as much emphasis on making the proofs as small as possible. It’s critical to make them small enough to fit very easily into an Ethereum block–and they do–but beyond that requirement we’re not focusing on proof size. One-step proofs will be very rare in practice, and their cost will be covered by the stake slashed from the lying validator, so we just need them to be “cheap enough”.