Mina está trabalhando para alcançar um sistema de pagamento distribuído eficiente que permite aos usuários verificar a plataforma nativamente desde o bloco de gênese. Seu documento técnico chama isso de “blockchain sucinta”. O protocolo utiliza Argumentos de Conhecimento Não-Interativos Sucintos de Conhecimento Zero (zk-SNARKs), uma prova criptográfica que permite a alguém autenticar informações sem revelar tais informações. No entanto, permitir que um usuário rastreie a plataforma até seu bloco de gênese pode ser impraticável em uma rede grande. Assim, Mina calcula incrementalmente SNARKs que se concentram apenas nos últimos blocos — o que significa que os usuários finais verificam essa prova comprimida zk-SNARK, ao invés de todo o histórico de transações de um bloco. No coração do protocolo Mina está a MINA, sua moeda nativa, que funciona como uma moeda de utilidade e meio de troca.

Mina é semelhante ao Bitcoin, exceto na forma como lida com transações, mas também emprega o modelo de conta usado no Ethereum. Nesse sentido, a diferença entre o Bitcoin e o Ethereum é que o estado do blockchain do Bitcoin contém uma lista de moedas não gastas, enquanto o estado do Ethereum é composto por saldos de contas. Por outro lado, Mina utiliza um provedor (ou snarker, se preferir), um equivalente a um minerador, para garantir que cada bloco se comprometa com o estado. Mina emprega o Ouroboros Samasika, um tipo de mecanismo PoS especialmente projetado para redes descentralizadas sucintas, uma vez que fornece a inicialização a partir de um bloco gênese. Blockchains sucintas contêm duas funções principais: verificar e atualizar. A verificação envolve consenso, resumo do blockchain e blocos, enquanto a função de atualização interage com o consenso e o resumo da cadeia. Além das implementações acima, o projeto usa um estado de varredura paralelo para otimizar a velocidade de processamento de transações, que funciona agrupando blocos não comprovados e atribuindo o processo a provedores paralelos.

Mina tem como objetivo revolucionar o atual cenário das blockchains, onde a maioria das plataformas possui verificadores, como mineradores/stakers e clientes leves, que atuam como terceiros na verificação de transações. Mina adota uma abordagem diferente, com múltiplos participantes, cada um desempenhando uma função específica na rede descentralizada. As três funções principais incluem verificadores, produtores de blocos e snarkers. * Verificadores * Verificadores interagem com zk-SNARKS, que lidam com a certificação das informações de consenso. Cada usuário do protocolo Mina é considerado um verificador, desde que seus dispositivos possam lidar com uma cadeia de 22 KB e suportar alguns milissegundos de tempo de processamento.

Os produtores de blocos assumem a forma de stakers ou mineradores e recebem recompensas de bloco e pagamentos de taxas de transação. Curiosamente, o protocolo não reduz os incentivos que vão para os produtores de blocos. Essa categoria de participantes permite que os usuários de Mina deleguem suas moedas a eles. Além de agrupar transações em blocos, os produtores de blocos também devem gerar SNARKs para um número equivalente de negociações previamente confirmadas, já que falhar em fazer isso durante a produção de blocos resultaria em blocos incompletos e outros nós rejeitariam sua validade. Se um produtor de bloco deseja incorporar 10 transações na cadeia, ele deve também SNARKar negociações do início da fila. No entanto, eles têm a opção de produzir o SNARK ou usar aqueles gerados por um grupo especial de participantes chamados snarkers. ## Snarkers Os snarkers, também conhecidos como provedores, produzem zk-SNARKs usados na verificação de transações. Os produtores de blocos pagam os snarkers a partir das taxas de transação totais que recebem ao adicionar novos blocos. No entanto, para se qualificarem para as taxas, eles devem fazer lances. Nota-se que o zk-SNARK de um snarker precisa ser usado em um bloco enquanto o produtor de bloco que o utiliza é responsável por incentivar o snarker. Isso cria uma economia de negócios onde múltiplos snarkers podem fazer lances atrelados à mesma transação. Os produtores de blocos, por sua vez, buscam lucros e escolherão o lance com as taxas mais baixas. Consequentemente, os snarkers são desafiados a produzir SNARKs de baixo custo.

O processo começa com um usuário iniciando uma transação, após a qual a negociação vai para o mempool, um pool de transações válidas mas não confirmadas. Em seguida, os snarkers assumem ao criar provas ou SNARKS. O processo continua com a seleção de um produtor de bloco (BP) para agrupar transações em um bloco. É importante notar que um BP seleciona as transações no mempool buscando aquelas que são mais lucrativas. Depois, o BP escolhe um SNARK de acordo com as regras do mecanismo de consenso. Vale ressaltar que um produtor de bloco analisa as ofertas para encontrar o SNARK de menor preço. Além disso, transações adicionadas recentemente têm um livro de ofertas de SNARKS atualizado. Em seguida, é hora de incorporar os SNARKS em um bloco, então adicionar o bloco à cadeia e atualizar a rede. Transações snarked são removidas da cadeia para ajudar a manter o tamanho do protocolo constante. Depois disso, o produtor de bloco atualiza os zk-SNARKS do protocolo. Finalmente, o novo bloco torna-se parte imutável da cadeia.