Mina sta lavorando per realizzare un sistema di pagamento distribuito efficiente che consente agli utenti di verificare nativamente la piattaforma a partire dal blocco di genesi. Il suo whitepaper tecnico definisce questo concetto come una "blockchain sintetica". Il protocollo utilizza Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), una prova crittografica che permette a qualcuno di autenticare informazioni senza rivelarle. Tuttavia, consentire a un utente di tracciare la piattaforma fino al blocco di genesi può essere poco pratico in una rete di grandi dimensioni. Pertanto, Mina calcola in modo incrementale gli SNARKS che si concentrano solo sugli ultimi blocchi — il che significa che gli utenti finali controllano quella prova compressa zk-SNARK, invece dell'intera cronologia delle transazioni di un blocco. Al centro del protocollo Mina c'è MINA, la sua valuta nativa, che funziona come moneta di utilità e mezzo di scambio.

Mina è simile a Bitcoin, a parte il modo in cui gestisce le transazioni, ma impiega anche il modello di conto utilizzato in Ethereum. A questo proposito, la differenza tra Bitcoin ed Ethereum è che lo stato della blockchain di Bitcoin contiene un elenco di monete non spese, mentre lo stato di Ethereum è composto da saldi di conti. Mina, invece, utilizza un "prover" (o "snarker", se preferite), un equivalente di un miner, per garantire che ogni blocco si impegni nello stato. Mina impiega l'Ouroboros Samasika, un tipo di meccanismo PoS appositamente progettato per reti decentralizzate succinte poiché fornisce l'avvio dal blocco di origine. Le blockchain succinte contengono due funzioni principali: verifica e aggiornamento. La verifica riguarda il consenso, il riassunto della blockchain e i blocchi, mentre la funzione di aggiornamento interagisce con il consenso e il riassunto della catena. Oltre alle implementazioni sopra citate, il progetto utilizza uno stato di scansione parallela per ottimizzare la velocità di elaborazione delle transazioni, che funziona raggruppando i blocchi non provati e assegnando il processo a prover paralleli.

Mina si concentra sulla rivoluzione del panorama attuale delle blockchain, dove la maggior parte delle piattaforme dispone di verificatori come miner/staker e light client che agiscono come terze parti nella verifica delle transazioni. Mina adotta un approccio diverso prevedendo la presenza di più partecipanti, ognuno dei quali gestisce una funzione specifica nella rete decentralizzata. I tre ruoli principali includono verificatori, produttori di blocchi e snarker. * Verificatori * I verificatori interagiscono con zk-SNARKS che si occupano di certificare le informazioni di consenso. Ogni utente del protocollo Mina è considerato un verificatore, a condizione che i loro dispositivi siano in grado di gestire una catena di 22 KB e sopportare pochi millisecondi di tempo di elaborazione.

I produttori di blocchi assumono la forma di staker o miner e guadagnano ricompense per i blocchi e pagamenti di commissioni di transazione. Interessantemente, il protocollo non riduce gli incentivi che vanno ai produttori di blocchi. Questa categoria di partecipanti consente agli utenti di Mina di delegare le loro monete a loro. Oltre a raggruppare le transazioni in blocchi, i produttori di blocchi devono anche SNARK un numero equivalente di operazioni precedentemente impegnate, poiché il mancato rispetto di ciò durante la produzione del blocco porterebbe a blocchi incompleti e altri nodi che ne rifiutano la validità. Se un produttore di blocchi vuole incorporare 10 transazioni nella catena, deve anche SNARKare le operazioni dalla parte anteriore della coda. Tuttavia, ha l'opzione di produrre lo SNARK o utilizzare quelli generati da un gruppo speciale di partecipanti chiamati snarker. ‍## Snarker Gli snarker, noti anche come prover, producono zk-SNARK utilizzati nella verifica delle transazioni. I produttori di blocchi pagano gli snarker dalle commissioni di transazione totali che ricevono per l'aggiunta di nuovi blocchi. Tuttavia, per qualificarsi per le commissioni, devono presentare offerte. Si noti che lo zk-SNARK di uno snarker deve essere utilizzato in un blocco mentre il produttore del blocco che lo utilizza è responsabile di incentivare lo snarker. Questo crea un'economia d'affari in cui più snarker possono presentare offerte legate alla stessa transazione. I produttori di blocchi, d'altro canto, puntano ai profitti e sceglieranno l'offerta con le commissioni più basse. Di conseguenza, gli snarker sono sfidati a produrre SNARK a basso costo.

Il processo inizia con un utente che avvia una transazione, dopodiché la transazione passa nel mempool, una piscina di transazioni valide ma non confermate. Successivamente, gli snarkers intervengono creando prove o SNARKS. Il processo continua con la selezione di un produttore di blocchi (BP) per raggruppare le transazioni in un blocco. Nota che un BP seleziona le transazioni redditizie nel mempool. Poi, il BP sceglie uno SNARK secondo le regole del meccanismo di consenso. È importante notare che un produttore di blocchi esamina le offerte per lo SNARK al prezzo più basso. Inoltre, le transazioni aggiunte di recente hanno un libro ordini SNARKS aggiornato. Successivamente, è il momento di incorporare gli SNARKS in un blocco, poi aggiungere il blocco alla catena e aggiornare la rete. Le transazioni snarkate vengono rimosse dalla catena per aiutare a mantenere costante la dimensione del protocollo. Dopo, il produttore di blocchi aggiorna gli zk-SNARKS del protocollo. Infine, il nuovo blocco diventa parte immutabile della catena.