Mina werkt aan het realiseren van een efficiënt gedistribueerd betalingssysteem dat gebruikers in staat stelt om het platform vanaf de genesis block eigenhandig te verifiëren. Het technische whitepaper noemt dit een "beknopte blockchain". Het protocol maakt gebruik van Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), een cryptografisch bewijs dat iemand in staat stelt om informatie te verifiëren zonder deze daadwerkelijk te onthullen. Het is echter onpraktisch voor een gebruiker om het platform terug te volgen tot de genesis block in een groot netwerk. Daarom berekent Mina stapsgewijs SNARKS die zich alleen richten op de laatste paar blocks, wat betekent dat eindgebruikers dat zk-SNARK-compressiebewijs controleren in plaats van de volledige transactiegeschiedenis van een block. In het hart van het Mina-protocol bevindt zich MINA, de eigen valuta, die fungeert als een utility-token en ruilmiddel.

Mina lijkt op Bitcoin, behalve in de manier waarop het transacties afhandelt, en maakt ook gebruik van het accountmodel dat in Ethereum wordt gebruikt. In dit opzicht is het verschil tussen Bitcoin en Ethereum dat de staat van de Bitcoin-blockchain een lijst van niet-uitgegeven munten bevat, terwijl de staat van Ethereum bestaat uit accountbalansen. Mina daarentegen maakt gebruik van een prover (of snarker, als je wilt), een equivalent van een miner, om ervoor te zorgen dat elk blok zich commit aan de staat. Mina maakt gebruik van de Ouroboros Samasika, een type PoS-mechanisme dat speciaal is ontworpen voor beknopte gedecentraliseerde netwerken omdat het bootstrap vanaf een genesis-blok biedt. Beknopte blockchains bevatten twee belangrijke functies: verifiëren en updaten. Verificatie betreft consensus, blockchain samenvatting en blokken, terwijl de updatefunctie interactie heeft met consensus en de ketensamenvatting. Afgezien van de bovenstaande implementaties gebruikt het project een parallel scan state om de verwerkingssnelheid van transacties te optimaliseren, wat werkt door niet-bewezen blokken te groeperen en het proces toe te wijzen aan parallelle provers.

Mina probeert het huidige blockchainlandschap te revolutioneren, waar de meeste platforms verifiers hebben, zoals miners/stakers en light clients, die als derde partijen optreden bij het verifiëren van transacties. Mina hanteert een andere benadering door meerdere deelnemers te hebben, waarbij elke deelnemer een specifieke functie op het gedecentraliseerde netwerk vervult. De drie belangrijkste rollen zijn verifiers, block producers en snarkers. * Verifiers * Verifiers werken samen met zk-SNARKS die verantwoordelijk zijn voor het certificeren van de consensusinformatie. Elke gebruiker van het Mina-protocol wordt beschouwd als een verifier, op voorwaarde dat hun apparaten een 22 KB-keten kunnen verwerken en een paar milliseconden verwerkingstijd kunnen weerstaan.

Blokproducenten nemen de vorm aan van stakers of miners en verdienen blokbeloningen en transactiekostenbetalingen. Interessant genoeg verlaagt het protocol niet de prikkels die naar blokproducenten gaan. Deze categorie deelnemers stelt Mina-gebruikers in staat om hun munten aan hen te delegeren. Naast het bundelen van transacties in blokken, moeten blokproducenten ook een gelijk aantal eerder vastgelegde transacties SNARK-en, aangezien het niet uitvoeren hiervan tijdens de blokproductie zou leiden tot onvolledige blokken en andere nodes hun geldigheid zouden afwijzen. Als een blokproducent 10 transacties op de keten wil opnemen, moeten zij ook SNARK-transacties van de voorkant van de wachtrij. Ze hebben echter de optie om de SNARK zelf te produceren of gebruik te maken van die gegenereerd door een speciale groep deelnemers genaamd snarkers. ## Snarkers Snarkers, ook wel provers genoemd, produceren zk-SNARKs die worden gebruikt voor het verifiëren van transacties. Blokproducenten betalen snarkers uit de totale transactiekosten die ze ontvangen voor het toevoegen van nieuwe blokken. Om in aanmerking te komen voor de vergoedingen, moeten snarkers echter biedingen plaatsen. Het is belangrijk op te merken dat de zk-SNARK van een snarker in een blok moet worden gebruikt, terwijl de blokproducent die het gebruikt verantwoordelijk is voor het belonen van de snarker. Dit creëert een economische omgeving waarin meerdere snarkers biedingen kunnen plaatsen die aan dezelfde transactie zijn gekoppeld. Blokproducenten zijn daarentegen uit op de winst en zullen het bod met de laagste kosten kiezen. Als gevolg hiervan worden snarkers uitgedaagd om goedkope SNARKS te produceren.

Het proces begint met een gebruiker die een transactie initieert, waarna de handel naar de mempool gaat, een pool van geldige maar onbevestigde transacties. Vervolgens nemen snarkers het over door bewijzen of SNARKS te maken. Het proces gaat verder met de selectie van een block producer (BP) om transacties in een blok te bundelen. Let op dat een BP door de mempool zoekt naar winstgevende transacties. Daarna kiest de BP een SNARK volgens de regels van het consensusmechanisme. Let op dat een block producer de biedingen doorzoekt voor de SNARK met de laagste prijs. Bovendien hebben recent toegevoegde transacties een bijgewerkt SNARKS orderboek. Vervolgens is het tijd om de SNARKS in een blok op te nemen, daarna het blok aan de ketting toe te voegen en het netwerk bij te werken. Gesnarkte transacties worden van de ketting verwijderd om de omvang van het protocol constant te houden. Daarna verbetert de block producer de zk-SNARKS van het protocol. Ten slotte wordt het nieuwe blok onveranderlijk deel van de keten.