O explorador se refrescou. Em branco.
Esperei pelos parâmetros de gás, os dados de chamada, a familiar cascata de rastros que lhe diz como a salsicha é feita. Em vez disso, apenas um registro compacto. Uma referência de prova. Os validadores já a haviam aceitado, mas o cálculo real—os inputs, a lógica, a execução—nunca apareceu na tela.
No Midnight, os contratos não são executados em público. A lógica roda primeiro dentro de circuitos criptográficos, em privado. Você gera a testemunha no escuro, alimenta inputs secretos através de regras codificadas, completa todo o cálculo antes que qualquer coisa toque a rede.
Só então vem a prova. Uma compressão violenta da verdade, menor do que o segredo que carrega.
Eu quase escrevi que a rede executa o contrato. Eu deletei a frase. A execução já estava na memória quando o pacote atingiu o mempool. Os validadores não reproduzem passos nem inspecionam os dados. Eles simplesmente carregam as chaves de verificação e checam a matemática. Se o artefato de conhecimento zero se mantém, o estado muda. $NIGHT
O bloco registra algo menor do que o cálculo—uma transição de estado respaldada por prova, embora essa frase pareça muito arrumada. O livro-razão armazena apenas a confirmação de que a verificação passou, não o sangue e as vísceras que a produziram.
Dentro do Midnight, a validação deixa de ser teatro público. A rede verifica evidências de que a execução já ocorreu corretamente, então segue em frente. Os inputs permanecem invisíveis, a lógica permanece selada, e a cadeia carrega apenas o eco matemático do que aconteceu no escuro. Sem pegadas.
Apenas a prova.