Taiko also has recognized the issues with competitive proving and they are looking into auction-based model
But I do not see the value of developing chain-specific auctions while projects like https://nil.foundation already exist and can be a single marketplace for many rollups
@Anton_Gaev_p2p.org could you roughly outline the workings of the nil marketplace?
When thinking of auctions, we felt an L1 auction contract is too cumbersome and expensive, while off-chain auctions may be vulnerable to censorship. Coupling proof production to block circumvents these issues. Lastly, even if you have some proofs decoupled from block production, it seems a turn-based system based on stake is still simpler to manage than an auction. What do you think?