A corrida armamentista do comércio de alta frequência é um sintoma de um design de mercado falho. Em vez do design contínuo de mercado de livros de ordem limitada que atualmente predomina, argumentamos que as bolsas financeiras deveriam usar leilões em lote frequentes: leilões duplos de preço uniforme realizados, por exemplo, a cada décimo de segundo. Ou seja, o tempo deve ser tratado como discreto em vez de contínuo, e os pedidos devem ser processados em leilão em lote em vez de em série de eventos. Nosso argumento tem três partes. Primeiro, usamos dados de fluxo direto em nível de milissegundos das bolsas para documentar uma série de fatos estilizados sobre como o mercado contínuo funciona em horizontes temporais de alta frequência: (i) as correlações se quebram completamente; o que (ii) leva a óbvias oportunidades de arbitragem mecânica; e (iii) a competição não afetou o tamanho ou a frequência das oportunidades de arbitragem, apenas elevou o padrão de quão rápido é preciso ser para capturá-las. Segundo, apresentamos um modelo teórico simples que é motivado e ajuda a explicar os fatos empíricos. A percepção chave é que oportunidades óbvias de arbitragem mecânica, como as observadas nos dados, estão incorporadas ao design de mercado — processamento serial em tempo contínuo implica que mesmo informações públicas observadas simetricamente criam rendas de arbitragem. Esses aluguéis prejudicam a provisão de liquidez e induzem uma corrida armamentista socialmente interminável por velocidade. Por fim, mostramos que leilões frequentes em lote abordam diretamente as falhas do livro de ordens por limite contínuo. O tempo discreto reduz o valor de pequenas vantagens de velocidade, e o leilão transforma a competição sobre velocidade em competição por preço. Consequentemente, leilões frequentes em lote eliminam as rendas mecânicas de arbitragem, aumentam a liquidez para os investidores e interrompem a corrida armamentista do trading de alta frequência.