Por que os sistemas de múltiplos provers são importantes para a segurança do zkVM? Os zkVMs ainda estão em evolução. Bugs - em provers ou verificadores - são inevitáveis nesta fase. Arquiteturas de múltiplos provers são uma maneira prática de manter a vivacidade e a segurança, mesmo quando o mais novo sistema de provas não é perfeito. Substituindo @DeclanFox14 em nosso Berlin Ethproofs Summit, o Gerente de Produto da @OffchainLabs, @zkLumi, enfatizou que uma das salvaguardas mais importantes contra atualizações maliciosas ou defeituosas dos zkVMs é a diversidade de provers. Em vez de depender de uma única implementação de prover, uma configuração de múltiplos provers pode: • Executar múltiplas implementações de provas ZK em paralelo. • Incorporar atestações de diferentes sistemas. • Retornar a tipos alternativos de provas (por exemplo, provas de fraude) se uma prova falhar ou discordar de outra. Por exemplo, as cadeias @arbitrum Orbit podem operar em um modo híbrido: • Normalmente funcionam com uma prova ZK. • Se ocorrer uma disputa ou um prover falhar, retornam a provas de fraude. • Mantêm múltiplos zkVMs ou implementações ZK para capturar erros. Essa abordagem fornece resiliência se uma atualização do zkVM introduzir um defeito - seja uma mudança maliciosa ou um bug não intencional - e garante que sempre haja um caminho seguro para validar o estado. Também com a participação de @alexanderlhicks da @ethereumfndn e @mpfzajac da @NethermindEth. Assista ao painel completo aqui: