Tenho estado analisando como o Cosmos IBC verifica o consenso no Ethereum usando provas SP1. Algo que me interessa mais do que as próprias provas ZK é quem controla o verificador. Porque você pode ter provas matematicamente válidas, mas se alguém tem permissão para atualizar o light client ou alterar quais chaves de verificação são confiáveis, essa é uma questão de segurança completamente diferente. A implantação no Ethereum usa um multisig 4-de-7 com controles administrativos com atraso temporal. Agora quero rastrear exatamente o que esses administradores podem alterar, se um verificador malicioso pode ser introduzido por meio de uma atualização e o que os usuários podem realmente fazer durante o atraso temporal. ZK prova que um cálculo específico foi executado corretamente. Não prova que as pessoas que controlam qual cálculo será verificado não possam alterá-lo. É essa parte que quero investigar.