Capítulo 37 — Seminário de revisão de evidências
Mapa da aula
Aula 37 publicada. Mapa, exemplo, EX073.
flowchart TD
N0["37.1 Tipos de fonte"]
N1["37.2 Avaliando alegações sobre cronogramas"]
N2["37.3 Avaliando alegações sobre desempenho"]
N3["37.4 Crítica estruturada"]
N4["37.6 Atividade prática"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5
N5 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX073"]
Desenho lógico
flowchart LR
N0["37.1 Tipos de fonte"]
N1["37.2 Avaliando alegações sobre cronogramas"]
N2["37.3 Avaliando alegações sobre desempenho"]
N3["37.4 Crítica estruturada"]
N4["37.6 Atividade prática"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX073"]
[37.1 Tipos de fonte]
|
v
[37.2 Avaliando alegações sobre cronogramas]
|
v
[37.3 Avaliando alegações sobre desempenho]
|
v
[37.4 Crítica estruturada]
|
v
[37.6 Atividade prática]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX073]
Objetivos de aprendizagem
Você vai (1) avaliar criticamente as fontes sobre computação quântica e PQC; (2) distinguir resultados revisados por pares, normas, preprints, material de fornecedores e jornalismo; (3) avaliar alegações sobre cronogramas e desempenho; e (4) dar e receber críticas estruturadas de colegas.
37.1 Tipos de fonte
As normas (FIPS, SP, RFC) têm autoridade sobre o que os algoritmos são e como usá-los, com o status anotado. Os artigos revisados por pares passam pelo escrutínio de especialistas, mas ainda podem estar errados. Os preprints, como os artigos do arXiv ou do IACR ePrint, são iniciais e não revisados, embora muitos sejam publicados depois; Gidney (2025) era um preprint quando citado aqui. O material de fornecedores tem interesses comerciais. O jornalismo simplifica e muitas vezes relata errado. Pondere as evidências de acordo e diga em que tipo você se apoia.
Uma alegação sustentada por duas fontes independentes de tipos diferentes é mais forte que uma repetida por muitas fontes que copiam umas às outras.
37.2 Avaliando alegações sobre cronogramas
Pergunte: quem fez a estimativa, com que hipóteses (taxas de erro, quantidades de qubits, algoritmos), quando, e que faixa ela dá? Distinga as estimativas de recursos ("quantos qubits seriam necessários") das previsões ("quando eles vão existir"). As pesquisas com especialistas fornecem distribuições, e não datas.
Verifique se uma estimativa mais recente substituiu a que você está lendo, já que as estimativas de recursos caíram fortemente com o tempo. Quando uma notícia der um único ano, rastreie-o até a fonte original e veja que faixa e que hipóteses ela de fato declarou. Na HCU, as alegações sobre cronogramas alimentam a desigualdade de Mosca, então uma data descuidada pode mudar quais fluxos parecem urgentes.
37.3 Avaliando alegações sobre desempenho
Pergunte: que hardware, qual implementação, qual conjunto de parâmetros, o que foi medido (operações por segundo, latência do handshake, bytes) e com que variabilidade? Os benchmarks de assembly otimizado não preveem o comportamento em dispositivos restritos.
Pergunte também se o resultado foi reproduzido por alguém além dos autores. Um número de desempenho medido num servidor diz pouco sobre um terminal de cartão. Na HCU, os benchmarks úteis são os rodados nos mesmos equipamentos e enlaces usados nas agências, então as medições de laboratório costumam importar mais que as tabelas publicadas.
37.4 Crítica estruturada
A crítica segue uma estrutura: resumir a alegação com justiça; avaliar as evidências; identificar as hipóteses; anotar o que mudaria a conclusão; sugerir melhorias. Critique o trabalho, e não a pessoa.
Um resumo justo é o passo mais difícil e o mais importante: se o autor não reconhecer o seu resumo, o resto da crítica vai errar o alvo. Termine com o que a fonte de fato estabelece, e não apenas com as suas fraquezas. Uma crítica que não encontra nada útil numa fonte deve dizer por que ela foi considerada.
37.5 Exemplo resolvido
Um whitepaper de fornecedor afirma: "o nosso sistema de QKD torna a sua rede à prova de computação quântica". Avaliação: fonte de fornecedor; "à prova de computação quântica" não é uma propriedade definida; a QKD ainda precisa de autenticação, que o documento não trata; as orientações da NSA não apoiam a QKD para os sistemas de segurança nacional; a alegação não tem escopo. Conclusão: não é evidência adequada para a decisão da HCU.
A avaliação ainda anota o que o documento mostra: o fornecedor tem hardware funcionando, o que pode importar para enlaces de nicho. Ele simplesmente não responde à pergunta da HCU. Um pedido de avaliação independente seria o próximo passo.
37.6 Atividade prática
Em grupos, avaliem um preprint, uma norma e uma notícia sobre PQC usando as estruturas acima; apresentem uma crítica de dois minutos de cada um.
Usem a mesma estrutura para cada fonte: um resumo justo, as evidências oferecidas, as hipóteses e o que mudaria a conclusão. Anotem o tipo de fonte e quanto peso ela merece. Depois comparem as três críticas em grupo: a norma, o preprint e a notícia concordaram, e, se não, em qual deles um tomador de decisão deveria confiar e por quê?
37.7 Erros comuns e limites
- Tratar os preprints como resolvidos.
- Rejeitar de saída o material de fornecedores, em vez de ponderá-lo.
- Criticar o tom em vez das evidências.
- Citar um único ano para a chegada da computação quântica sem a faixa por trás dele.
- Citar um resumo secundário quando o original está disponível.
- Ignorar a data de uma fonte num campo em que as estimativas mudam rapidamente.
- Aceitar um benchmark sem perguntar em que hardware ele rodou.
Cada um desses deixa uma evidência fraca moldar uma decisão que ela não consegue sustentar. Mantenha uma nota curta de avaliação para cada fonte em que você se apoia.
Exercícios
- EX073 — Ponderação das fontes. Classifique por autoridade para "tamanho do texto cifrado do ML-KEM-768": uma notícia, a FIPS 203, um blog de fornecedor, um benchmark revisado por pares. Rubrica: 3 = FIPS 203 primeiro, motivos para os demais.
- EX074 — Alegação sobre cronograma. Avalie: "Os especialistas concordam que o RSA será quebrado em 2029." Rubrica: 3 = identifica o falso consenso, as hipóteses ausentes, previsão vs. estimativa.
Síntese
A revisão de evidências pondera as fontes por tipo e interesse, interroga as hipóteses por trás das alegações sobre cronogramas e desempenho e critica o trabalho de forma construtiva.
Continue estudando — capítulo 37 de 40
← Capítulo 36 · Índice de capítulos do curso · Capítulo 38 →
Siga para a próxima lição escrita.