Thanks for the correction.
I see, thanks for the input. The other option we are considering is Dfinity style consensus using BLS signature aggregation. This can probably be done log(n) due to BLS properties.
Or crypto-economic signatures as described here.
Either way, we should be able to support 400+ validators, which should be fairly resistant to cartelization.