Não entendo de onde as pessoas tiram essa ideia errada de que as provas ZK são mais rápidas ou podem, de alguma forma, tornar um sistema mais rápido. Isso está completamente errado. Elas podem reduzir alguns dos custos de replicação, mas não podem melhorar o desempenho se o custo de replicação não for um bloqueador. Vamos supor que as provas zk sejam completamente gratuitas e instantâneas. Se sizeof(tx) < sizeof(state change), então é quase sempre mais rápido baixar a tx e executá-la localmente, porque a largura de banda e a latência da memória local são melhores do que a largura de banda e a latência da rede. Levaria mais tempo baixar o resultado do estado da transação do que baixar a própria transação e usar uma cópia local do estado para executá-la e produzir o resultado. Portanto, o único lugar onde as provas zk realmente ajudam é se a replicação for cara. Onde a replicação é insuportavelmente cara? No ethereum L1. É mais barato postar uma raiz de estado e uma prova zk para que o L1 possa pular a execução de todo o estado.