turtles all the way down
expressãoprogramaçãocriptografia
A piada da recursão aplicada à confiança: cada camada se apoia em outra camada, e em algum momento é preciso simplesmente pisar em algum lugar.
A PKI termina em CAs raiz autoassinadas, o DNS nos servidores raiz, o secure boot numa chave gravada de fábrica - toda cadeia de confiança desemboca numa âncora aceita por fé. Nomear as tartarugas é como você descobre em que está realmente confiando.
Tartarugas até lá embaixo vem de uma anedota sobre cosmologia: o mundo repousa sobre uma tartaruga, e essa tartaruga sobre outra, e são tartarugas até lá embaixo. Em computação, descreve uma pilha de abstrações sem fundo óbvio.
Um programa em execução repousa sobre um runtime, sobre um sistema operacional, sobre um hipervisor, sobre firmware, sobre microcódigo, sobre um silício que é ele próprio uma abstração da física. Cada camada apresenta um modelo simplificado da camada abaixo e cada camada vaza, e é por isso que um problema pode se originar numa profundidade que ninguém na sala está equipado para considerar.
A versão honesta reconhece que a regressão termina, e onde ela termina importa. A confiança se apoia, no fim, em hardware que você não fabricou, rodando microcódigo que você não consegue ler, feito por uma cadeia de suprimentos que você não consegue auditar, que é exatamente a ansiedade formalizada pelo argumento da confiança de Thompson. A resposta prática não é paralisia, e sim saber sobre qual tartaruga você está: uma sessão de depuração corre mal quando os participantes têm suposições diferentes sobre quão fundo o problema pode estar.