Mina siekia sukurti efektyvią paskirstytą mokėjimų sistemą, kuri leistų vartotojams natūraliai patikrinti platformą pradedant nuo pradinio bloko. Techniniame dokumente tai apibūdinama kaip „trumpa blokų grandinė.“ Protokolas naudoja Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), tai yra kriptografinį įrodymą, kuris leidžia asmeniui patvirtinti informaciją neatskleidžiant pačios informacijos. Tačiau vartotojui leisti atsekti platformą iki pradinio bloko gali būti nepraktiška dideliame tinkle. Todėl Mina palaipsniui skaičiuoja SNARK'ų, kurie sutelkti tik į kelis paskutinius blokus, – tai reiškia, kad galutiniai vartotojai tikrina zk-SNARK suglaudintą įrodymą, o ne visą bloko sandorių istoriją. Mina protokolo širdis yra MINA, jo gimtoji valiuta, kuri veikia kaip naudingoji moneta ir keitimosi priemonė.

Mina yra panaši į Bitcoin, išskyrus tai, kaip ji tvarko sandorius, tačiau taip pat naudoja Ethereum taikomą sąskaitų modelį. Šiuo atžvilgiu skirtumas tarp Bitcoin ir Ethereum yra tas, kad Bitcoin blokų grandinės būsena susideda iš neišleistų monetų sąrašo, o Ethereum būsena susideda iš sąskaitų likučių. Tuo tarpu Mina naudoja proverį (arba snarkerį, jei norite), kuris yra minerio atitikmuo, siekiant užtikrinti, kad kiekvienas blokas įsipareigotų būsenai. Mina taiko Ouroboros Samasika, tam tikrą PoS mechanizmą, specialiai sukurtą glaustoms decentralizuotoms tinklams, nes tai leidžia įsijungti nuo genezės bloko. Glaustos blokų grandinės turi dvi pagrindines funkcijas: patikrinimą ir atnaujinimą. Patikrinimas susijęs su sutarimu, blokų grandinės suvestine ir blokais, o atnaujinimo funkcija sąveikauja su sutarimu ir grandinės suvestine. Be aukščiau minėtų įgyvendinimų, projektas naudoja lygiagrečią nuskaitymo būseną, kad optimizuotų sandorių apdorojimo greitį, kas veikia grupuojant nepatvirtintus blokus ir suteikiant procesą lygiagretiems proveriams.

Mina siekia revoliuciją dabartinėje blokų grandinės aplinkoje, kurioje dauguma platformų turi tikrintojus, tokius kaip kasėjai/delegatoriai, ir lengvus klientus, kurie veikia kaip tretieji asmenys, kai tikrina sandorius. Mina taiko kitokį požiūrį, įtraukdama kelis dalyvius, kiekvienas iš jų atlieka specifines funkcijas decentralizuotame tinkle. Trys pagrindiniai vaidmenys apima tikrintojus, blokų gamintojus ir snarkerius. * Tikrintojai * Tikrintojai sąveikauja su zk-SNARKS, kurie užtikrina sutarimo informacijos patvirtinimą. Kiekvienas Mina protokolo naudotojas laikomas tikrintoju, jei jų įrenginiai gali apdoroti 22 KB grandinę ir atlaikyti keletą milisekundžių apdorojimo laiką.

Blokų gamintojai gali būti kaip stakeriai ar kasėjai ir uždirba bloko atlygius bei sandorio mokesčius. Įdomu tai, kad protokolas nesumažina paskatų, kurios skiriamos blokų gamintojams. Ši dalyvių kategorija leidžia Mina naudotojams jiems deleguoti savo monetas. Be to, kad sudeda sandorius į blokus, blokų gamintojai taip pat turi sukurti SNARK atitinkamam anksčiau įvykdytų prekybų skaičiui, nes priešingu atveju, jei to nepavyktų padaryti bloko gamybos metu, blokai būtų neužbaigti ir kiti mazgai atmestų jų galiojimą. Jei bloko gamintojas nori įtraukti 10 sandorių į grandinę, jis taip pat turi SNARK prekybas iš eilės priekio. Tačiau jie turi galimybę patys kurti SNARK arba naudoti tuos, kuriuos sukūrė speciali dalyvių grupė, vadinama snarkeriais. ## Snarkeriai Snarkeriai, dar žinomi kaip įrodinėtojai, kuria zk-SNARK, naudojamus sandoriams tikrinti. Blokų gamintojai moka snarkeriams iš bendrųjų jie gaunamų sandorių mokesčių už tai, kad prideda naujus blokus. Tačiau, kad galėtų gauti mokestį, jie turi pasiūlyti kainą. Reikia pažymėti, kad snarkerio zk-SNARK turi būti panaudotas bloke, o bloko gamintojas, kuris jį naudoja, yra atsakingas už snarkerio paskatinimą. Tai sukuria verslo ekonomiką, kurioje keli snarkeriai gali pasiūlyti kainas, susietas su tuo pačiu sandoriu. Blokų gamintojams, savo ruožtu, svarbūs pelnai, todėl jie pasirinks pasiūlymą su mažiausiais mokesčiais. Todėl snarkeriai yra iššūkis kurti pigiai kainuojančius SNARK.

Procesas prasideda, kai vartotojas inicijuoja sandorį, po kurio operacija patenka į mempool, tai yra galiojančių, bet nepatvirtintų sandorių telkinį. Toliau pradeda veikti snarkeriai, kurie sukuria įrodymus arba SNARKS. Procesas tęsiasi bloko gamintojo (BP) pasirinkimu, kuris sudeda sandorius į bloką. Svarbu pažymėti, kad BP peržiūri mempool, ieškodamas pelningų sandorių. Tuomet BP pasirenka SNARK pagal konsensuso mechanizmo taisykles. Reikia pažymėti, kad bloko gamintojas peržiūri pasiūlymus ir ieško mažiausiai kainuojančio SNARK. Be to, naujai pridėti sandoriai turi atnaujintą SNARKS užsakymų knygą. Toliau SNARKS reikia įtraukti į bloką, tada pridėti bloką prie grandinės ir atnaujinti tinklą. Snarkeriais pagrįsti sandoriai pašalinami iš grandinės, siekiant išlaikyti protokolo dydį pastovų. Tada bloko gamintojas atnaujina protokolo zk-SNARKS. Galiausiai naujas blokas tampa neatskiriama grandinės dalimi.