Starknet Decentralized Protocol IV - Proofs in the Protocol

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 already exist and can be a single marketplace for many rollups 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?