Existe um corpus de cenários à la wycheproof que tenha causado diferentes implementações do EVM a gerar raízes de estado inválidas? Parece uma grande oportunidade para quem está testando novas otimizações/construindo novos clientes...