Mina pracuje na dosiahnutí efektívneho distribuovaného platobného systému, ktorý umožňuje používateľom natívne overovať platformu priamo od genezového bloku. Jeho technická dokumentácia to nazýva „stručným blockchainom“. Protokol využíva Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), kryptografický dôkaz, ktorý umožňuje niekomu overiť informácie bez toho, aby tieto informácie odhalil. Umožnenie používateľovi sledovať platformu až k jej genezovému bloku môže byť však v rozsiahlej sieti nepraktické. Preto Mina postupne počíta SNARKS, ktoré sa sústredia iba na posledných pár blokov – to znamená, že koncoví používatelia kontrolujú dôkaz komprimovaný zk-SNARK namiesto celej histórie transakcií bloku. V centre Mina protokolu je MINA, jeho natívna mena, ktorá slúži ako úžitková minca a médium výmeny.

Mina je podobná Bitcoinu, pokiaľ ide o riešenie transakcií, ale zároveň využíva účetný model použitý v Ethereu. V tomto ohľade je rozdiel medzi Bitcoinom a Ethereom v tom, že stav blockchainu Bitcoinu obsahuje zoznam nevyčerpaných mincí, zatiaľ čo stav Etherea je tvorený zostatkami na účtoch. Mina na druhej strane používa dôkazovateľa (alebo snarkera, ak chcete), ekvivalent ťažiara, na zabezpečenie, že každý blok sa zaväzuje k stavu. Mina využíva Ouroboros Samasiku, typ PoS mechanizmu špeciálne navrhnutého pre koncízne decentralizované siete, pretože poskytuje štartovaciu schopnosť z génesového bloku. Koncízne blockchainy obsahujú dve hlavné funkcie: overovanie a aktualizáciu. Overovanie sa týka konsenzu, súhrnu blockchainu a blokov, zatiaľ čo aktualizačná funkcia interaguje s konsenzom a súhrnom reťazca. Okrem vyššie uvedených implementácií projekt používa paralelný skenovací stav na optimalizáciu rýchlosti spracovania transakcií, ktorý funguje zoskupovaním neoverených blokov a priradením procesu paralelným dôkazovateľom.

Mina sa zameriava na revolúciu v súčasnej krajine blockchainu, kde väčšina platforiem má overovateľov, ako sú ťažiari/stakeri, a ľahkých klientov, ktorí pôsobia ako tretie strany pri overovaní transakcií. Mina sa uberá iným smerom tým, že má viacero účastníkov, z ktorých každý sa venuje špecifickej funkcii v decentralizovanej sieti. Tri hlavné úlohy zahŕňajú overovateľov, producentov blokov a snarkerov. * Overovatelia * Overovatelia spolupracujú s technológiou zk-SNARKS, ktorá sa zaoberá certifikáciou konsenzuálnych informácií. Každý používateľ protokolu Mina je považovaný za overovateľa, pokiaľ jeho zariadenia dokážu spracovať 22 KB reťazec a vydržať niekoľko milisekúnd času spracovania.

Producenti blokov sa prejavujú ako stakeri alebo mineri a získavajú odmeny za bloky a platby za transakčné poplatky. Zaujímavé je, že protokol nekráti stimuly, ktoré idú producentom blokov. Táto kategória účastníkov umožňuje používateľom Miny delegovať im svoje mince. Okrem zoskupovania transakcií do blokov musia producenti blokov tiež SNARKovať ekvivalentný počet predtým potvrdených obchodov, pretože ak to počas produkcie blokov neurobia, vedie to k neúplným blokom a ostatné uzly odmietnu ich platnosť. Ak chce výrobca blokov začleniť do reťazca 10 transakcií, musí tiež SNARKovať obchody z prednej časti frontu. Majú však možnosť produkovať SNARK alebo využiť tie generované špeciálnou skupinou účastníkov nazývaných snarkeri. ‍## Snarkeri Snarkeri, tiež známi ako proveri, produkujú zk-SNARKs používané na overenie transakcií. Producenti blokov platia snarkerom z celkových transakčných poplatkov, ktoré dostávajú za pridanie nových blokov. Avšak, aby sa kvalifikovali na poplatky, musia predkladať ponuky. Je dôležité si uvedomiť, že zk-SNARK snarkera musí byť použitý v bloku, pričom zodpovednosť za motiváciu snarkera nesie producent bloku, ktorý ho použije. To vytvára obchodnú ekonomiku, kde viacerí snarkeri môžu predkladať ponuky viazané na rovnakú transakciu. Producenti blokov sa, na druhej strane, usilujú o zisk a vyberú ponuku s najnižšími poplatkami. Dôsledkom toho sú snarkeri motivovaní produkovať SNARKs s nízkymi nákladmi.

Proces začína tým, že používateľ iniciuje transakciu, po čom sa obchod dostane do mempoolu, čo je skupina platných, avšak nepotvrdených transakcií. Ďalej sa do toho zapoja snarkeri vytváraním dôkazov alebo SNARKov. Proces pokračuje výberom producenta blokov (BP), ktorý zoskupuje transakcie do bloku. Je potrebné poznamenať, že BP prehľadáva mempool kvôli ziskovým transakciám. Potom BP zvolí SNARK podľa pravidiel v konsenzuálnom mechanizme. Mali by sme si všimnúť, že producent bloku prehľadáva ponuky kvôli SNARKu s najnižšou cenou. Okrem toho, novopridané transakcie majú aktualizovaný poriadok SNARKov v knihe objednávok. Ďalej je čas zahrnúť SNARKy do bloku, potom pridať blok do reťazca a aktualizovať sieť. Snarkované transakcie sú odstránené z reťazca, aby sa zachovala stála veľkosť protokolu. Následne producent bloku vylepší protokolové zk-SNARKy. Nakoniec sa nový blok nezvratne stáva súčasťou reťazca.