Mina está trabajando en lograr un sistema de pago distribuido eficiente que permite a los usuarios verificar de forma nativa la plataforma desde el bloque génesis. Su documento técnico lo denomina una "blockchain sucinta". El protocolo utiliza Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), una prueba criptográfica que permite a alguien autenticar información sin revelar dicha información. Sin embargo, permitir que un usuario rastree la plataforma hasta su bloque génesis puede ser poco práctico en una red grande. En consecuencia, Mina calcula de forma incremental SNARKS que se concentran solo en los últimos bloques, lo que significa que los usuarios finales verifican esa prueba comprimida con zk-SNARK, en lugar de revisar todo el historial de transacciones de un bloque. En el núcleo del protocolo Mina se encuentra MINA, su moneda nativa, que funciona como un token de utilidad y medio de intercambio.

Mina es similar a Bitcoin en cuanto a cómo maneja las transacciones, pero también emplea el modelo de cuenta utilizado en Ethereum. En este sentido, la diferencia entre Bitcoin y Ethereum es que el estado de la blockchain de Bitcoin contiene una lista de monedas no gastadas, mientras que el estado de Ethereum se compone de saldos de cuentas. Mina, por otro lado, utiliza un probador (o snarker, si se prefiere), un equivalente a un minero, para asegurar que cada bloque se comprometa con el estado. Mina emplea Ouroboros Samasika, un tipo de mecanismo PoS especialmente diseñado para redes descentralizadas sucintas, ya que ofrece un arranque inicial desde un bloque génesis. Las blockchains sucintas contienen dos funciones principales: verificar y actualizar. La verificación se refiere al consenso, el resumen de blockchain y los bloques, mientras que la función de actualización interactúa con el consenso y el resumen de la cadena. Además de las implementaciones anteriores, el proyecto utiliza un estado de escaneo paralelo para optimizar la velocidad de procesamiento de transacciones, que funciona agrupando bloques no probados y asignando el proceso a probadores paralelos.

Mina se centra en revolucionar el panorama actual de las blockchain, donde la mayoría de las plataformas cuentan con verificadores, como mineros/apostadores, y clientes ligeros que actúan como terceros al verificar transacciones. Mina adopta un enfoque diferente al tener múltiples participantes, cada uno manejando una función específica en la red descentralizada. Los tres roles principales incluyen verificadores, productores de bloques y snarkers. * Verificadores * Los verificadores interactúan con zk-SNARKS, que se encargan de certificar la información de consenso. Cada usuario del protocolo Mina se considera un verificador, siempre que sus dispositivos puedan manejar una cadena de 22 KB y soportar unos pocos milisegundos de tiempo de procesamiento.

Los productores de bloques se presentan como validadores o mineros y ganan recompensas por bloque y pagos de tarifas de transacción. Es interesante que el protocolo no reduzca los incentivos que van a los productores de bloques. Esta categoría de participantes permite que los usuarios de Mina les deleguen sus monedas. Además de agrupar transacciones en bloques, los productores de bloques también deben generar SNARK para un número equivalente de transacciones previamente comprometidas, ya que si no lo hacen durante la producción de bloques, esto llevaría a bloques incompletos y otros nodos rechazarían su validez. Si un productor de bloques quiere incorporar 10 transacciones en la cadena, también debe generar SNARKs de las transacciones al frente de la cola. Sin embargo, tienen la opción de producir el SNARK ellos mismos o usar los generados por un grupo especial de participantes llamados snarkers. ‍## Snarkers Los snarkers, también conocidos como probadores, producen zk-SNARKs utilizados en la verificación de transacciones. Los productores de bloques pagan a los snarkers con las tarifas totales de transacción que reciben por añadir nuevos bloques. Sin embargo, para calificar para las tarifas, deben realizar ofertas. Cabe señalar que un zk-SNARK de un snarker debe ser utilizado en un bloque mientras que el productor de bloques que lo usa es responsable de incentivar al snarker. Esto crea una economía empresarial donde múltiples snarkers pueden presentar ofertas vinculadas a la misma transacción. Los productores de bloques, por otro lado, buscan obtener ganancias y elegirán la oferta con las tarifas más bajas. En consecuencia, los snarkers están desafiados a producir SNARKs de bajo costo.

El proceso comienza cuando un usuario inicia una transacción, después de lo cual la operación va al mempool, un conjunto de transacciones válidas pero no confirmadas. A continuación, los snarkers se encargan de crear pruebas o SNARKS. El proceso continúa con la selección de un productor de bloques (BP) para agrupar transacciones en un bloque. Cabe destacar que un BP examina el mempool en busca de transacciones rentables. Luego, el BP elige un SNARK según las reglas del mecanismo de consenso. Es importante señalar que un productor de bloques revisa las ofertas para seleccionar el SNARK con el precio más bajo. Además, las transacciones agregadas recientemente disponen de un libro de órdenes de SNARKS actualizado. Seguidamente, es el momento de incorporar los SNARKS en un bloque, luego añadir el bloque a la cadena y actualizar la red. Las transacciones snarked se eliminan de la cadena para mantener constante el tamaño del protocolo. Posteriormente, el productor de bloques actualiza los zk-SNARKS del protocolo. Finalmente, el nuevo bloque se convierte en una parte inmutable de la cadena.