On the proof system side, zkVMs targeting realtime proving should aim for 128 bits of security, which we consider the right long-term target for Ethereum L1.