Has the staking model been updated to fix the single-operator system?

That's a really, really important point. If we're serious about censorship resistance. If we're serious about distributed anything. It's got to have the property of actually being distributed. So whenever we have to resort to centralized anything, then that's an immediate problem that is very much on our radar. There are very practical issues in terms of what we can decentralize first and most readily. Our priority right now is building a system where a large number of people are incentivized to run verifiers and fraud provers because that's the very first thing. If we have a system with a centralized sequencer and no one is verifying things, and no one is running a fraud prover, then we are in a place we don't want to be at all. The zero-order thing right now is to make it very easy for a large number of people to run verifiers that pay close attention to what the sequencer is doing and having fraud provers. That's step one. Step two is then to start relaxing constraints on the unitary sequencer. There's some very sort of practical scaling issues that arise when relaxing the single sequencer constraint. So the immediate goal is to make it as easy as possible for a large number of people to run validators or verifiers, and also run fraud provers.