Eu continuo voltando a um detalhe do projeto de Newton que parece pequeno até você sentar e pensar nele. Antes que os operadores possam produzir uma assinatura conjunta, o protocolo remove algo. Não opiniões, não interesses, mas a própria atestação que cada operador gerou quando buscou os dados da política. A saída é chamada de resumo de consenso, criado zerando exatamente os campos que tornam distinta a contribuição de cada operador. Todos assinam uma versão idêntica e esvaziada do mesmo evento.
Eu não acho que isso seja uma falha. Eu acho que pode ser o mecanismo real que vale a pena estudar.
Newton usa assinaturas BLS para que centenas de operadores produzam uma única prova compacta, em vez de centenas de provas separadas. Mas a agregação BLS só funciona se cada signatário colocar seu nome exatamente na mesma mensagem. Os operadores verificam independentemente os dados de política usando suas próprias chaves, e cada uma dessas atestações é diferente, pois carrega uma assinatura distinta. Se o protocolo tentasse agregar sobre o registro completo e honesto, a matemática simplesmente não fecharia. Então Newton calcula dois resumos em vez de um. Um resumo de consenso, com os campos de atestação esvaziados, é assinado coletivamente e verificado on-chain por meio de uma equação de pareamento. Um resumo completo, contendo todas as atestações originais, fica armazenado no contrato para uso posterior, caso alguém precise um dia contestar o resultado.
O que isso significa na prática é que o acordo não é descoberto aqui; ele é construído. Os operadores não estão convergindo para uma compreensão compartilhada dos dados. Eles estão convergindo para uma forma compartilhada dos dados, depois de remover as partes que os fariam discordar. A imagem completa sobrevive, mas apenas como evidência — não como o que está sendo acordado.
Há algo quase administrativo nisso. Um comitê não discute as notas de rodapé: ele vota no resumo, e as notas de rodapé são arquivadas caso uma disputa force alguém a voltar e conferi-las.
Considero isso reconfortante em um certo sentido: nada é realmente perdido. O resumo completo fica ali, verificável, esperando. Mas isso também significa que o estado padrão do sistema é uma versão reduzida dos eventos, e a versão mais rica só é consultada depois que algo já deu errado. A maioria das transações nunca vai disparar um desafio. A maioria dos resumos de consenso nunca será verificada em relação ao seu equivalente completo. A compressão se torna permanente por padrão, não porque os dados desapareceram, mas porque ninguém teve motivo para voltar e olhar para trás.
Não sei se isso é exatamente uma fraqueza. Talvez seja apenas como a infraestrutura verificável se parece em escala. Mas isso me faz pensar com que frequência o resumo completo realmente é recuperado, e se um sistema construído em torno da não verificação quase permanente do próprio registro detalhado é diferente, em espírito, de um sistema que nunca manteve o registro.
@NewtonProtocol #Newt $NEWT $XPIN $BEAT
