1/ Manta Pacífico

Manta Pacific é uma solução Ethereum Layer 2 projetada para aplicações ZK. É uma Camada 2 modular construída em Ethereum e garantiu mais de US$ 60 milhões em financiamento de instituições como Polychain, Binance Labs, CoinFund e SevenX Ventures.

Manta Pacific é atualmente baseado em uma arquitetura OP Stack personalizada da Caldera, tornando-o quase 100% compatível com o Ethereum EVM. Isso permite que os desenvolvedores existentes no ecossistema Ethereum migrem perfeitamente seus aplicativos para o Manta Pacific.

A Manta Pacific move a camada de disponibilidade de dados do Ethereum para o Celestia, tornando-a a primeira camada 2 a usar o Celestia como camada de disponibilidade de dados.

Manta também incorpora circuitos ZK no Manta Pacific. Os desenvolvedores podem facilmente chamar funções ZK com apenas algumas linhas de código por meio de SDKs e APIs, permitindo a integração do ZK com DApps existentes ou o desenvolvimento de novos aplicativos ZK.

2/ Modularidade

Modularidade refere-se a um design de produto e pensamento arquitetônico que é comum na Web2 e nas indústrias tradicionais. Por exemplo, os fabricantes de smartphones escolhem fornecedores de ecrãs, chips, WiFi, Bluetooth, etc., e depois recorrem a fabricantes contratados para a montagem, melhorando significativamente a eficiência e reduzindo custos, em vez de produzirem eles próprios todos os componentes.

Normalmente, um blockchain pode ser dividido em camada de consenso, camada de liquidação, camada de disponibilidade de dados e camada de execução.

A rede principal da Ethereum cuida do consenso final e das responsabilidades de liquidação, enquanto os projetos da camada de disponibilidade de dados incluem Celestia, EigenDA, Polygon Avail e muito mais. Common Ethereum Layer 2s são projetos de camada de execução.

1. Modularidade significa personalização e maior capacidade de composição. Os projetos podem fazer concessões com base em suas necessidades, como confiar a segurança à rede principal Ethereum e, ao mesmo tempo, buscar taxas de gás baixas, até mesmo taxas de gás zero, e velocidades de transação ultra-altas.

2. A modularidade permite que os projetos construam sua cadeia com base em pilhas técnicas comprovadas, como Polygon CDK ou OP Stack, sem construir toda a infraestrutura do zero.

3/ Modularidade da Manta Pacific

O design modular do Manta abrange dois aspectos:

1. A Manta Pacific usa pilhas de tecnologia maduras como OP Stack e Polygon CDK para implementar sua arquitetura modular.

Ao contrário de outras soluções de Camada 2, a Manta Pacific não construiu sua infraestrutura do zero, mas, em vez disso, usou a pilha de tecnologia OP Stack madura existente.

Se a Manta fosse uma marca de smartphones recém-criada, usar o OP Stack seria como usar diretamente a cadeia de suprimentos e a arquitetura tecnológica do iPhone.

A vantagem desta abordagem é que o Optimism é um projeto testado pelo mercado baixista, e sua pilha de tecnologia, OP Stack, também passou por testes de mercado de longo prazo e está muito madura. A Manta Pacific pode apoiar-se diretamente nos ombros de gigantes, herdando em grande medida a segurança existente e as vantagens técnicas do OP Stack.

Além disso, alcança compatibilidade total com EVM, permitindo que os desenvolvedores migrem facilmente DApps existentes para Manta Pacific. Mais importante ainda, Manta pode concentrar-se mais na construção de ecossistemas e na expansão de projetos. Até o momento, a Manta Pacific verificou mais de 810 contratos inteligentes em sua cadeia, com mais de 200 projetos de ecossistemas.

2. A Manta Pacific usa Celestia como camada de disponibilidade de dados, o que significa que a segurança da disponibilidade de dados é parcialmente garantida pela rede principal Ethereum e pela Celestia. Se os nós sequenciadores publicarem dados autênticos, os dados correspondentes poderão ser encontrados na rede principal Ethereum e no Celestia.

O sequenciador da Manta Pacific especifica a altura do bloco para publicação de blobs no Ethereum. Se o blob não estiver presente nessa altura, a transação será inválida.

O sequenciador publica dados: uma transação na caixa de entrada, codificada em três partes: um número de versão (0x02), uma altura de bloco (0xa4aa050000000000) e um compromisso de blob (a parte restante). Ao especificar a altura, os nós sabem onde procurar.

Por exemplo, 0xa4aa050000000000 é a codificação little-endian da altura do bloco, convertida no bloco 371364. Você pode encontrar o mesmo bloco em https://celenium.io/block/371364.

O bloco contém um bloco no namespace do Manta Pacific. Dados completos podem ser encontrados:

Se o sequenciador publicar dados falsificados, os nós não conseguirão encontrar o compromisso na altura do bloco especificada.

3. Os circuitos ZK próprios da Manta são projetados modularmente, tornando as funcionalidades ZK integradas ao Manta Pacific. Os desenvolvedores podem chamar e implementar totalmente funções e recursos ZK no Manta Pacific, diferenciando-o de outros ZK Rollups ou zkEVMs. Os desenvolvedores também podem chamar facilmente circuitos ZK para combinar funções ZK com aplicativos.

Nas interações do ZK Rollup, os usuários negociam dentro do ZK Rollup, e o sequenciador do Rollup atua como provador, sequenciando as transações do usuário, compactando, empacotando e gerando provas ZK. Os contratos inteligentes da mainnet Ethereum atuam como verificadores, verificando a exatidão da prova ZK, verificando assim a exatidão das transações que ela representa.

O contrato inteligente da rede principal não precisa realizar validação complexa de transações ZK Rollup, e uma prova ZK pode representar a exatidão de mais informações de transação, alcançando escalabilidade e melhorando a capacidade da rede principal Ethereum de confirmar transações.

Em comparação, os usuários do Manta Pacific atuam como provadores, gerando provas ZK localmente ao enviar transações. Os agrupadores on-chain atuam como verificadores, validando as provas ZK. As transações verificadas são então compactadas pelo sequenciador e enviadas à rede principal Ethereum. Na Camada 2, a Manta Pacific conclui a geração e validação do ZK, realizando totalmente os recursos do ZK.

4/ NA PILHA

OP Stack é uma pilha de tecnologia blockchain modular e de código aberto lançada pela equipe Optimism, projetada para fornecer soluções blockchain altamente escaláveis ​​e altamente interoperáveis. OP Stack adota um design modular, com cada módulo implementando uma camada específica da pilha e conectando-se por meio de APIs bem definidas. Isso permite que os desenvolvedores modifiquem facilmente módulos existentes ou criem novos, suportando diferentes tipos de aplicações e inovações de blockchain.

O objetivo do OP Stack é ir além dos modelos tradicionais de cadeia única ou multicadeia e promover uma estrutura composta por cadeias altamente integradas, conhecida como Superchain. A Superchain, ao compartilhar formatos de mensagens, permite que diferentes cadeias se comuniquem facilmente sem adaptadores personalizados para cada cadeia. Ele também suporta composição atômica entre cadeias, onde múltiplas cadeias operacionais compartilham um conjunto de sequenciadores, garantindo interações em nível atômico entre cadeias.

5/ Camada de Disponibilidade de Dados (Camada DA)

A Camada de Disponibilidade de Dados garante que todos os dados dentro de uma rede blockchain, especialmente os dados da Camada 2, possam ser acessados ​​e verificados publicamente. A camada de disponibilidade de dados permite que qualquer participante recupere esses dados para validar o estado da rede e a validade das transações, fornecendo uma garantia crucial de transparência e segurança do blockchain.

6/ Celestia

Celestia fornece uma disponibilidade de dados conectável e uma camada de consenso, construída no consenso do Cosmos Tendermint e no Cosmos SDK, compatível com cadeias EVM e cadeias de aplicativos Cosmos. Essas cadeias podem usar o Celestia diretamente como camada de disponibilidade de dados, com dados de bloco armazenados, acessados ​​e verificados por meio do Celestia. Celestia também suporta Rollups nativos, permitindo construções de Camada 2 nele, embora não suporte contratos inteligentes.

Os rollups integram-se ao Celestia executando nós do Celestia. Celestia recebe informações de transações Rollup, ordena transações por meio do consenso do Tendermint, mas não executa ou valida a exatidão das transações. Ele empacota, solicita, transmite transações e garante a segurança e a disponibilidade dos dados por meio de codificação de eliminação e amostragem de disponibilidade de dados (DAS).

7/ Circuitos ZK

Nas provas de conhecimento zero, "circuitos" são uma forma de representar algoritmos e funções complexas. Aqui, circuitos não se referem a circuitos eletrônicos tradicionais, mas a uma estrutura matemática ou lógica.

No contexto de provas de conhecimento zero, os circuitos são frequentemente usados ​​para descrever ou definir um problema ou afirmação específica.

As principais funções dos circuitos:

1. Descrição do problema: Os circuitos podem descrever ou definir um problema ou afirmação específica. Por exemplo, o provador pode querer provar que conhece a entrada que satisfaz um circuito específico.

2. Privacidade de detalhes: Ao usar circuitos, o provador pode provar que conhece informações que satisfazem as condições do circuito sem revelar o conteúdo específico dessas informações.

3. Verificabilidade: Os circuitos fornecem uma maneira para o verificador verificar a exatidão da prova sem conhecer a entrada específica usada pelo provador.

4. Generalidade e Reutilização: Uma vez definidos, os circuitos podem ser usados ​​para uma variedade de problemas e cenários. É por isso que alguns frameworks ZKP suportam circuitos ditos “universais”, capazes de descrever e resolver diversos problemas.

Em resumo, os circuitos nas provas de conhecimento zero atuam como uma ponte, conectando as afirmações que o provador deseja provar com a necessidade do verificador de verificar a afirmação, sem revelar qualquer informação além da própria afirmação. Circuitos são usados ​​para definir os cálculos que estão sendo provados. Cada aplicação específica requer seus próprios circuitos. Diferentes serviços (como zkEVM, ZKML, ZK Oracle, ZK Bridge e vários consensos e provas de estado) requerem circuitos diferentes.

8/ Circuitos Universais ZK da Manta Pacific

Manta Pacific é uma solução de Camada 2 projetada especificamente para aplicações ZK (Zero-Knowledge), oferecendo compatibilidade quase completa com o ambiente Ethereum EVM (Ethereum Virtual Machine) e a linguagem de programação Solidity. Recentemente, a Manta Pacific lançou o Universal ZK Circuits 2.0, uma biblioteca ZK voltada para desenvolvedores que permite a integração de contratos habilitados para ZK em contratos inteligentes e dApps Solidity existentes com apenas algumas linhas de código.

Os circuitos universais ZK fornecem ZK como serviço para desenvolvedores de Solidity. Atualmente, inclui o circuito MantaPay existente da Manta Network, o circuito zkShuffle e os circuitos ZK do projeto Semaphore da Fundação Ethereum.

Usando os circuitos universais no Manta Pacific, os desenvolvedores podem implantar facilmente aplicativos ZK nativos de EVM. Eles também podem chamar contratos habilitados para ZK para seus contratos inteligentes e dApps Solidity existentes por meio de APIs avançadas.

Por exemplo, um desenvolvedor que cria um aplicativo de jogo de cartas on-chain pode usar o circuito zkShuffle para implementar embaralhamento e distribuição descentralizada de cartas. Um exemplo prático de desenvolvimento simplificado de aplicação ZK com Manta Universal Circuits é zkHoldem.

Antes da introdução dos Circuitos Universais, a construção do zkShuffle e aplicativos ZK semelhantes exigiam a construção manual de circuitos e conversões entre linguagens de programação como Rust e Solidity. No entanto, com a introdução dos Circuitos Universais Manta, esta complexidade foi significativamente reduzida.

Com os Circuitos Universais da Manta Pacific, a construção de aplicações ZK tornou-se mais simples e eficiente.