Mina arbejder på at opnå et effektivt distribueret betalingssystem, der gør det muligt for brugerne at verificere platformen direkte fra genesis-blokken. Dets tekniske whitepaper omtaler dette som en "succinct blockchain." Protokollen bruger Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), et kryptografisk bevis, der gør det muligt for nogen at autentificere information uden at afsløre den pågældende information. Dog kan det at gøre det muligt for en bruger at spore platformen tilbage til dens genesis-blok være upraktisk i et stort netværk. Derfor beregner Mina trinvis SNARKS, der kun koncentrerer sig om de sidste få blokke — hvilket betyder, at slutbrugerne tjekker det zk-SNARK-komprimerede bevis i stedet for en bloks komplette transaktionshistorik. I hjertet af Mina-protokollen er MINA, dens native valuta, som fungerer som en utility-mønt og et udvekslingsmiddel.

Mina ligner Bitcoin med hensyn til behandling af transaktioner, men anvender også den kontomodel, der bruges i Ethereum. I denne henseende er forskellen mellem Bitcoin og Ethereum, at tilstanden i Bitcoin-blockchainen indeholder en liste over ubrugte mønter, mens Ethereums tilstand består af kontosaldi. Mina bruger derimod en prover (eller snarker, om man vil), en ækvivalent til en miner, for at sikre, at hver blok forpligter sig til tilstanden. Mina anvender Ouroboros Samasika, en type PoS-mekanisme specielt designet til kortfattede decentraliserede netværk, da det muliggør opstart fra en oprindelsesblok. Kortfattede blockchains indeholder to hovedfunktioner: verificering og opdatering. Verifikation omfatter konsensus, blockchain-resumé og blokke, mens opdateringsfunktionen interagerer med konsensus og kæderesumé. Udover de ovennævnte implementeringer bruger projektet en parallel scan-tilstand for at optimere hastigheden af transaktionsbehandlingen, hvilket fungerer ved at gruppere ubeviste blokke og tildele processen til parallelle prover.

Mina handler om at revolutionere det nuværende blockchain-landskab, hvor de fleste platforme har verificerere som minearbejdere/stakere og lette klienter, der fungerer som tredjeparter ved bekræftelse af transaktioner. Mina anvender en anden tilgang ved at have flere deltagere, hvor hver enkelt håndterer en specifik funktion på det decentraliserede netværk. De tre hovedroller inkluderer verificerere, blokproducenter og snarkere. * Verificerere * Verificerere interagerer med zk-SNARKS, der beskæftiger sig med certificering af konsensusoplysninger. Hver bruger af Mina-protokollen betragtes som en verificerer, forudsat at deres enheder kan håndtere en 22 KB kæde og tåle et par millisekunders behandlingstid.

Blokproducenter tager form af stakere eller minere og tjener blokbelønninger og transaktionsgebyrer. Interessant nok reducerer protokollen ikke de incitamenter, der går til blokproducenter. Denne kategori af deltagere giver Mina-brugere mulighed for at delegere deres mønter til dem. Ud over at samle transaktioner i blokke skal blokproducenter også SNARK et tilsvarende antal tidligere forpligtede handler, da manglende evne til dette under blokproduktion vil føre til ufuldstændige blokke og andre noder, der afviser deres gyldighed. Hvis en blokproducent ønsker at inkludere 10 transaktioner i kæden, skal de også SNARK handler fra køens front. Dog har de mulighed for selv at producere SNARK eller bruge dem, der er genereret af en særlig gruppe deltagere kaldet snarkere. ## Snarkere Snarkere, også kendt som bevisere, producerer zk-SNARKs, der bruges til at verificere transaktioner. Blokproducenter betaler snarkere fra de samlede transaktionsgebyrer, de modtager for at tilføje nye blokke. Men for at kvalificere sig til gebyrerne skal de indsende bud. Bemærk, at en snarkers zk-SNARK skal bruges i en blok, hvor blokproducenten, der bruger den, er ansvarlig for at motivere snarkeren. Dette skaber en forretningsøkonomi, hvor flere snarkere kan fremsætte bud, der er knyttet til den samme transaktion. Blokproducenter derimod går efter fortjenesten og vil vælge det bud med de laveste gebyrer. Som følge heraf bliver snarkere udfordret til at producere omkostningseffektive SNARKS.

Processen begynder med, at en bruger initierer en transaktion, hvorefter handlen går til mempoolen, en pool af gyldige men ubekræftede transaktioner. Derefter overtager snarkers ved at lave beviser eller SNARKS. Processen fortsætter med udvælgelsen af en blokproducent (BP) til at samle transaktioner i en blok. Bemærk, at en BP gennemsøger mempoolen for profitable transaktioner. Herefter vælger BP en SNARK i henhold til reglerne i konsensusmekanismen. Det er vigtigt at bemærke, at en blokproducent gennemgår budene for den billigste SNARK. Desuden har nyligt tilføjede transaktioner en opdateret SNARKS ordrebog. Derefter er det tid til at indarbejde SNARKS i en blok, tilføje blokken til kæden og opdatere netværket. Snarkede transaktioner fjernes fra kæden for at hjælpe med at holde protokollens størrelse konstant. Herefter opgraderer blokproducenten protokollens zk-SNARKS. Endelig bliver den nye blok en uforanderlig del af kæden.