Se existe 1 milhão de possibilidades, vc pode fazer 999.999 análises e não vai provar nada. Agora, um simples teste pra provar q o programa que de fato roda na urna é livre de alteração não pode fazer né, estranho. Voto impresso ou auditoria dos binários, o resto é conversa.
Eu acho q ele quis dizer que não é possível dentro do que é permitido, que é só acesso ao código fonte.
1. O programa pode usar qualquer variável que identifique ambiente de teste pra “se comportar”. O teste de integridade tem 2 versões, e ambas diferem do evento real.
2. O código adulterado é só o binário. Esse não fica disponível pra ninguém e não passa por auditoria.
Errou. São 2 modalidades distintas.
O que é tb irrelevante. Como já falei o problema é a falta de independência. Só pq VC não tem capacidade de identificar um padrão num procedimento pré estabelecido, não quer dizer que ninguém tenha.
Sim. Dentro do TSE, em ambiente controlado. Ou seja, no meu cenário fantasioso, estariam expostas às mesmas condições.
Continua perdida. Procura outros vídeos. Ou melhor ainda, baixa o processo e lê. Tem provas de sobra. Existe uma tese sobre irregularidades processuais, mas nunca nem se cogitou que as provas teriam sido forjadas. E esse papo de a delação ser a própria prova é mentira:
