Análise comparativa das quatro principais soluções ZK da Polygon: Quais são suas características e vantagens?

Autor: s, Venture Capital Analyst Compilador: Felix, PANews

Quando o Ethereum enfrentou congestionamento de rede, as taxas altíssimas tornaram a rede Ethereum muito cara e alguns usuários não podiam pagar, fazendo com que muitos usuários deixassem o ecossistema Ethereum. Dado o roteiro centrado em rollup da Ethereum e a posição de Vitalik de que os rollups ZK superarão os rollups otimistas no futuro. Como um polígono de sidechain da Ethereum que visa resolver a escalabilidade, ele vê o potencial do ZK em trazer a próxima geração de um bilhão de usuários para o campo blockchain e investe US$ 1 bilhão na construção de soluções ZK. Em relação ao layout da Polygon no ZK, os analistas de capital de risco interpretaram as quatro principais soluções ZK da Polygon.

Polígono Hermez | zkEVM

Hermez é o primeiro ZK Rollup descentralizado na rede principal Ethereum, oferecendo serviços de pagamento já em março de 2021. Com base na arquitetura ZK-SNARK, a Polygon Hermez visa resolver o problema de escalabilidade da blockchain Ethereum usando provas de conhecimento zero para permitir transações mais rápidas e baratas na rede Ethereum. Como o EVM não foi criado para gerar ZK Proofs (ZKPs), o Polygon Hermez constrói principalmente o zkEVM recriando todo o código de operação do EVM.

Por queézkEVM?

Ao construir zkEVM, o opcode EVM simulado por Polygon Hermez pode trazer as seguintes vantagens:

1. Herde a forte segurança do Ethereum

2. Facilidade de adoção, pois a comunidade de desenvolvedores Ethereum pode facilmente migrar seu trabalho EVM para zkEVM e usar as ferramentas existentes (boa experiência de desenvolvimento).

Desempenho

A arquitetura baseada em ZK-SNARK pode fornecer até 2.000 TPS e manter o custo abaixo de 300.000 Gás.

Polígono Zero | SNARK + STARK

O Polígono Zero era anteriormente conhecido como Protocolo Mir. Quando o Polygon Zero desenvolveu originalmente o Plonky2, levou 2 minutos para gerar uma prova recursiva. E agora o Plonky2 leva apenas 170ms para gerar uma prova recursiva em um laptop.

O Polygon Zero está construindo o zkEVM mais escalável desenvolvido pelo Plonky2. Plonky2 é um SNARK recursivo que é 100x mais rápido do que qualquer outro esquema de escala ZK no Ethereum. Isso é obtido combinando as vantagens dos STARKs (prova rápida e nenhuma configuração confiável) com as vantagens dos SNARKs (recursão, baixo custo de verificação).

Compatibilidade EVM

Plonky2 é compatível com Ethereum nativo, suporta código Solidity e o converte em bytecode ZK. O Polygon Zero é, portanto, capaz de alavancar o ecossistema Ethereum dApp existente.

Polygon Miden | RÍGIDO

O rollup baseado em STARK tem as seguintes funções:

• Transparente e escalável: sem necessidade de configuração/pré-processamento confiável
• Criptografia enxuta: futuros ataques de computadores quânticos são impossíveis
• Alto desempenho: geração de provas líderes e tempos de verificação

O Polygon Miden gira em torno do Miden VM (Virtual Machine) e oferece suporte a programas arbitrários. Mais amigável ao desenvolvedor, ocultando toda a complexidade criptográfica dos ZKPs e seguindo padrões de arquitetura familiares aos desenvolvedores (máquinas empilhadas, memória de leitura e gravação, etc.).

Segurança

Uma das principais características do Polygon Miden é a segurança. O protocolo remove alguns recursos inseguros (disponíveis no EVM), o que facilita a análise estática de contratos inteligentes e evita certos bugs no nível da máquina virtual (VM).

Compatibilidade EVM

Miden é compatível com Ethereum no nível Solidity. Os desenvolvedores podem implantar a maioria dos contratos inteligentes do Solidity no Miden sem modificações. Outra novidade é a compatibilidade com outras linguagens como Move e Sway.

Desempenho

No lançamento, o TPS estará entre 1.000 e 2.000. Depois que os fragmentos forem implantados no Ethereum, o TPS atingirá cerca de 20.000 TPS.

Polygon Nightfall**| Otimista + ZK**

Em contraste com as soluções ZK mencionadas acima, Nightfall se concentra em transferências e pagamentos privados, suportando tokens ERC20, ERC721 e ERC1155.

Quaisquer dados que não precisem ser armazenados no contrato inteligente são armazenados fora da cadeia, otimizando o contrato inteligente. A equipe está trabalhando em um mecanismo de retirada instantânea para permitir que os usuários ignorem o prazo de 1 semana para enviar provas de fraude. Este protocolo é significativamente mais lento, até 105TPS. No entanto, estima-se que a taxa de gás para transferência pode ser reduzida em até 86%, estabilizando-se em cerca de 9.000 gás.

Comparar

A figura abaixo é o resumo do autor dos quatro esquemas:

para concluir

Claramente, a Polygon está investindo muito tempo e dinheiro na liderança do desenvolvimento de soluções de dimensionamento ZK. Vamos esperar para ver o desempenho da rede principal e como ela funcionará com outros protocolos ZK.