A Mina célja egy hatékony, elosztott fizetési rendszer megvalósítása, amely lehetővé teszi a felhasználók számára a platform natív érvényesítését a kezdő blokkig visszamenőleg. Technikai fehér könyvük ezt "tömör blokkláncnak" nevezi. A protokoll Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs) eljárást használ, amely egy olyan kriptográfiai bizonyíték, ami lehetővé teszi egy információ hitelesítését anélkül, hogy az információt felfedné. Azonban a platform visszakövetése a kezdő blokkig egy nagy hálózatban gyakorlatiatlanná válhat. Emiatt a Mina fokozatosan számítja ki azokat a SNARK-okat, amelyek csak az utolsó néhány blokkra összpontosítanak — tehát a végfelhasználóknak a zk-SNARK-okkal tömörített bizonyítékot kell ellenőrizniük, nem pedig egy blokk teljes tranzakciótörténetét. A Mina protokoll középpontjában a MINA, a natív valuta áll, amely segédpénzként és csereeszközként funkcionál.

A Mina a Bitcoinhoz hasonlóan működik, kivéve, hogy különböző módon kezeli a tranzakciókat, ugyanakkor alkalmazza az Ethereum által használt számlamodellt. Ebben a tekintetben a Bitcoin és az Ethereum közötti különbség az, hogy a Bitcoin blokkláncának állapota fel nem használt érmék listáját tartalmazza, míg az Ethereum állapota számlaegyenlegekből áll. A Mina viszont egy bizonyítót (vagy snarkert, ha úgy tetszik), a bányász megfelelőjét használja annak érdekében, hogy minden blokk csak a megfelelő állapotra kötelezzen el. A Mina az Ouroboros Samasikát alkalmazza, amely egy speciális PoS mechanizmus, amelyet tömörített decentralizált hálózatokhoz terveztek, mivel lehetővé teszi az eredeti blokkból történő alkalmazásindítást. A tömörített blokkláncok két fő funkciót tartalmaznak: ellenőrzést és frissítést. Az ellenőrzés kiterjed a konszenzusra, a blokklánc összefoglalóra és blokkokra, míg a frissítési funkció a konszenzusra és a lánc összefoglalóra hat. Az előző megvalósítások mellett a projekt párhuzamos szkennelési állapotot használ a tranzakció-feldolgozási sebesség optimalizálása érdekében, amely úgy működik, hogy csoportosítja a nem igazolt blokkokat, és a folyamatot párhuzamos bizonyítóknak osztja ki. Az átfogó információkért és a legfrissebb adatokért keresse fel az Eulerpool weboldalát.

A Mina arra törekszik, hogy forradalmasítsa a jelenlegi blokklánc-környezetet, ahol a legtöbb platformon olyan hitelesítők, mint a bányászok/stakerek és könnyű kliensek működnek közvetítőként a tranzakciók hitelesítése során. A Mina eltérő megközelítést alkalmaz azáltal, hogy több résztvevője van, akik mindegyike egy adott funkciót lát el a decentralizált hálózaton. A három fő szerepkör a következő: hitelesítők, blokk termelők és snarkerek. * Hitelesítők * A hitelesítők a zk-SNARKS-okkal lépnek interakcióba, amelyek a konszenzusinformációk hitelesítésével foglalkoznak. Minden Mina protokoll felhasználó hitelesítőnek számít, feltéve, hogy eszközeik képesek kezelni egy 22 KB méretű láncot és elviselnek néhány milliszekundum feldolgozási időt. További részleteket megtalálhat az Eulerpool weboldalon.

A blokkgyártók stakerek vagy bányászok formájában jelennek meg, és blokkjutalmakat, valamint tranzakciós díj kifizetéseket kapnak. Érdekes módon a protokoll nem csökkenti az ösztönzőket, amelyek a blokkgyártókhoz jutnak. Ez a résztvevői kategória lehetővé teszi a Mina felhasználói számára, hogy a coinjaikat rájuk delegálják. A tranzakciók blokkokba csomagolása mellett a blokkgyártóknak egyenértékű számú korábban elkötelezett tranzakciót is SNARK-olniuk kell, mivel ha ezt nem teszik meg a blokk előállítása során, az hiányos blokkokhoz vezethet, amelyeket más csomópontok elutasítanak. Ha egy blokkgyártó 10 tranzakciót szeretne a láncra illeszteni, akkor a sor elejéről is SNARK-olnia kell a tranzakciókat. Ugyanakkor lehetőségük van saját SNARK-okat létrehozni vagy a "snarkereknek" nevezett, különleges résztvevőcsoport által generált SNARK-okat használni. ## Snarkerek A snarkerek, más néven proverek, olyan zk-SNARK-okat állítanak elő, amelyeket a tranzakciók verifikációjára használnak. A blokkgyártók snarkereknek fizetnek az új blokkok hozzáadásából származó teljes tranzakciós díjakból. Azonban, hogy ezekért a díjakért jogosultak legyenek, ajánlatokat kell nyújtaniuk. Fontos megjegyezni, hogy a snarker zk-SNARK-ját egy blokkban kell felhasználni, és a blokkgyártó, aki ezt alkalmazza, felelős a snarker ösztönzéséért. Ez egy üzleti gazdaságot teremt, ahol több snarker is benyújthat ajánlatot ugyanahhoz a tranzakcióhoz kapcsolódóan. A blokkgyártók pedig a profitra hajtanak, és azt az ajánlatot választják, amelyik a legalacsonyabb díjakkal jár. Ennek következtében a snarkerek arra vannak ösztönözve, hogy alacsony költségű SNARK-okat állítsanak elő.

A folyamat azzal kezdődik, hogy a felhasználó kezdeményez egy tranzakciót, amely ezt követően a mempoolba kerül, ami érvényes, de még nem megerősített tranzakciók gyűjteménye. Ezután a snarkerek lépnek közbe, akik bizonyítékokat vagy SNARK-okat készítenek. A folyamat folytatódik egy blokkgyártó (BP) kiválasztásával, aki összecsomagolja a tranzakciókat egy blokkba. Fontos megjegyezni, hogy egy BP átnézi a mempoolt a jövedelmező tranzakciók érdekében. Ezután a BP kiválasztja a SNARK-ot a konszenzus mechanizmusában meghatározott szabályok szerint. Fontos megjegyezni, hogy egy blokkgyártó átvizsgálja az ajánlatokat a legalacsonyabb árú SNARK-ért. Ezen túlmenően, a nemrégiben hozzáadott tranzakciók frissített SNARKS megrendelési könyvvel rendelkeznek. Ezután eljön az idő, hogy a SNARK-okat beépítsék egy blokkba, majd hozzáadják a blokkot a lánchoz és frissítsék a hálózatot. A snarkolt tranzakciókat eltávolítják a láncból, hogy a protokoll mérete állandó maradjon. Ezt követően a blokkgyártó frissíti a protokoll zk-SNARK-okat. Végül, az új blokk megváltoztathatatlanul a lánc részévé válik.