Curso / Aula 3 de 6
18 min · caso real sanitizado
Gates de prova e cobertura total
Objetivo: Projetar um gate de prova que cobre tudo — porque um gate parcial não é uma defesa mais fraca, é um convite ao bypass.
Primeiro, em linguagem simples
Um gate de prova é uma porta que só abre quando cada unidade de trabalho apresenta uma prova executada de verdade. Se a porta vigia 99% das unidades, o 1% restante não fica “menos protegido” — ele se torna o caminho preferido de qualquer trabalho que queira passar sem prova, por acidente ou por construção.
A disciplina da missão real foi adversarial: atacar o próprio gate, consertar o mínimo possível e atacar de novo. Foram necessárias sete rodadas. O gate só fechou quando uma bateria de treze ataques conhecidos passou 13/13 — com um Validator que não tinha autoria no código atacado.
Abra a camada técnica
As sete rodadas (cada uma: ataque → reparo mínimo → re-ataque):
| Rodada | Bypass encontrado | Reparo mínimo |
|---|---|---|
| 1 | Unidades sem carimbo de id ficavam invisíveis ao gate. | Carimbar toda task; executável sem tag vira unidade própria, marcada para revisão. |
| 2 | Metadata falsificável: kind:'proof' espúrio escondia trabalho; colisão de id dava carona na prova alheia. | Exclusão só por forma completa (kind + id + índice de prova); colisão de id falha fechado. |
| 3 | Comando escondido na tag de uma unidade já comprovada. | Dentro de unidade tagueada, todo comando exige forma de prova completa. |
| 4 | Subtarefas de coordenação executavam comandos invisíveis num sub-run filho (cobertura plana). | Toda folha com comando deve ser prova completa, senão erro. |
| 5 | Jurisdição desalinhada: o gate só olhava o topo; folha de prova falha convergia. | O gate achata subtarefas; folha falha ou não registrada derruba o gate. |
| 6 | Folha fantasma: kind interno sem comando convergia. | Folha de instrumento fantasma vira erro. |
| 7 | Bateria “greatest hits”: todos os ataques anteriores juntos. | 13/13; cobertura total de comandos; residuais documentados, não escondidos. |
Lição estrutural: nenhum reparo “melhorou o código”; cada um fechou exatamente o bypass demonstrado e foi imediatamente re-atacado. Baseline do repositório verde o tempo todo — o adversário aqui é a lógica do gate, não o compilador.
Encontre o bypass
Cada cartão mostra uma configuração que passaria num gate ingênuo. Escolha onde está o bypass.