Mina pyrkii luomaan tehokkaan hajautetun maksujärjestelmän, jonka avulla käyttäjät voivat varmentaa alustan itsenäisesti lähtölohkosta alkaen. Sen tekninen whitepaper kuvaa tätä "tiiviinä lohkoketjuna." Protokolla hyödyntää Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs) -teknologiaa, joka on kryptografinen todiste, jonka avulla voidaan todentaa tietoa paljastamatta itse tietoa. Suuren verkon kohdalla alustan jäljittäminen lähtölohkosta voi kuitenkin olla epäkäytännöllistä. Tämän ratkaisemiseksi Mina laskee asteittain SNARKeja, jotka keskittyvät vain viimeisimpiin lohkoihin — mikä tarkoittaa, että loppukäyttäjät tarkistavat zk-SNARK-puristetun todisteen koko lohkon transaktiohistorian sijaan. Mina-protokollan ytimessä on MINA, sen natiivi valuutta, joka toimii sekä hyötykolikkona että vaihdon välineenä.

Mina on samanlainen kuin Bitcoin siinä mielessä, kuinka se käsittelee tapahtumia, mutta se käyttää myös Ethereumin tilimallia. Tässä suhteessa ero Bitcoinin ja Ethereumin välillä on se, että Bitcoin-lohkoketjun tila sisältää listan käyttämättömistä kolikoista, kun taas Ethereumin tila koostuu tilisaldoista. Mina puolestaan käyttää kokoverifieraajaa (tai snarkkeria), joka on vastaava kuin louhija, varmistaakseen, että jokainen lohko sitoutuu tilaan. Mina hyödyntää Ouroboros Samasikaa, eräänlaista PoS-mekanismia, joka on erityisesti suunniteltu ytimekkäille hajautetuille verkostoille, koska se tarjoaa käynnistyksen alkuperäisestä lohkosta. Ytimekkäissä lohkoketjuissa on kaksi päätoimintoa: varmista ja päivitä. Varmistamiseen liittyy konsensus, lohkoketjun yhteenveto ja lohkot, kun taas päivitystoiminto on vuorovaikutuksessa konsensuksen ja ketjuyhteenvedon kanssa. Näiden toteutusten lisäksi projekti käyttää rinnakkaista skannaustilaa optimoidakseen tapahtumankäsittelyn nopeutta, joka toimii ryhmittelemällä todistamattomat lohkot ja jakamalla tehtävän rinnakkaisille kokoverifieraajille.

Mina keskittyy uudistamaan nykyistä lohkoketjumaisemaa, jossa useimmilla alustoilla on tarkastajia, kuten louhijoita/osakkaita, ja kevyitä asiakkaita, jotka toimivat kolmansina osapuolina transaktioiden vahvistamisessa. Mina lähestyy asiaa eri tavalla tarjoamalla useita osallistujia, joista jokainen hoitaa tiettyä tehtävää hajautetussa verkossa. Kolme merkittävää roolia ovat tarkastajat, lohkotuottajat ja snarkerit. * Tarkastajat * Tarkastajat ovat vuorovaikutuksessa zk-SNARKien kanssa, jotka sertifioivat konsensusinformaation. Jokainen Mina-protokollan käyttäjä katsotaan tarkastajaksi, edellyttäen, että heidän laitteensa pystyvät käsittelemään 22 KB:n ketjun ja kestämään muutaman millisekunnin käsittelyajan. Tarkastajien tiedot löytyvät Eulerpoolista.

Lohkon tuottajat toimivat steikkaajina tai louhijoina ja ansaitsevat lohkopalkkioita ja transaktiomaksuja. Mielenkiintoista on, että protokolla ei leikkaa kannustimia, jotka menevät lohkon tuottajille. Tämä osallistujakategoria mahdollistaa Minan käyttäjille kolikoiden delegoinnin heille. Lohkojen sisäänkirjaamisen lisäksi lohkon tuottajien on myös SNARKattava vastaava määrä aiemmin tehtyjä kauppoja, sillä lohkon tuotannon epäonnistuminen johtaisi epätäydellisiin lohkoihin ja muihin solmuihin, jotka hylkäisivät niiden pätevyyden. Jos lohkon tuottaja haluaa sisällyttää 10 transaktiota ketjuun, heidän on myös SNARKattava jonon alkupäässä olevat kaupat. Heillä on kuitenkin mahdollisuus tuottaa SNARK tai käyttää niiden tuottamia, jotka kuuluvat erityiseen osallistujaryhmään nimeltään snarkerit. ‍## Snarkerit Snarkerit, tunnetaan myös nimellä todistajat, tuottavat zk-SNARKeja, joita käytetään transaktioiden varmentamiseen. Lohkon tuottajat maksavat snarkereille osasta kokonaistransaktiomaksuja, jotka he saavat lisätessään uusia lohkoja. Ansaitakseen nämä maksut snarkereiden on esitettävä tarjouksia. On tärkeää huomata, että snarkerin zk-SNARKin on oltava käytössä lohkossa, ja lohkon tuottaja, joka sitä käyttää, on vastuussa snarkerin kannustamisesta. Tämä luo liiketalouden, jossa useat snarkerit voivat tehdä tarjouksia samaan transaktioon liittyen. Lohkon tuottajat puolestaan tavoittelevat voittoja ja valitsevat tarjouksen, jossa on alhaisimmat maksut. Tämän seurauksena snarkereita haastetaan tuottamaan kustannustehokkaita SNARKeja.

Prosessi alkaa, kun käyttäjä aloittaa tapahtuman, ja kauppa siirtyy mempooliin, joka on validoitujen mutta vahvistamattomien tapahtumien allas. Seuraavaksi snarkerit ottavat ohjat ja luovat todisteita eli SNARKeja. Prosessi jatkuu lohkotuottajan (BP) valinnalla, joka niputtaa tapahtumat yhdeksi lohkoksi. On huomattava, että BP seuloo mempoolia kannattavien tapahtumien löytämiseksi. Seuraavaksi BP valitsee SNARKin konsensusmekanismin sääntöjen mukaisesti. On tärkeää huomata, että lohkotuottaja tarkastelee tarjouksia alhaisimpien hinnalla olevien SNARKien löytämiseksi. Lisäksi äskettäin lisätyillä tapahtumilla on päivitetty SNARKien tilauskirja. Seuraavaksi SNARKit integroidaan lohkoon, lohko lisätään ketjuun ja verkko päivitetään. Snarkatut tapahtumat poistetaan ketjusta, jotta protokollan koko pysyy vakiona. Lopuksi lohkotuottaja päivittää protokollan zk-SNARKit. Uusi lohko tulee peruuttamattomaksi osaksi ketjua.