Houve pesquisas para implementar construções de extratores aleatórios?
Parece que as provas do extrator fazem uso do Big-Oh, deixando a possibilidade de grandes constantes ocultas, tornando as implementações programáticas potencialmente irrealistas.
Algum contexto: estou interessado em usar extratores de aleatoriedade como uma fonte rápida de (provavelmente?) Números aleatórios para uso em simulações de Monte Carlo. Nós (um grupo de Física Computacional da ETHZ) enviesamos fontes de alta entropia de geradores de números aleatórios quânticos dos quais gostaríamos de extrair a aleatoriedade. Um aluno anterior tentou implementar uma construção Trevisana e teve problemas de complexidade espacial. Além desse aluno, não encontrei nenhuma referência a pessoas tentando implementar extratores.
Nota: Sou um graduado em CS muito novo na área de Extratores de CS teórico e aleatoriedade.