Mina arbetar med att uppnå ett effektivt distribuerat betalningssystem som gör det möjligt för användare att verifiera plattformen direkt från ursprungsblocket. Dess tekniska vitbok benämner detta som en "koncis blockchain." Protokollet använder Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), ett kryptografiskt bevis som gör det möjligt för någon att autentisera information utan att avslöja densamma. Att göra det möjligt för en användare att spåra plattformen tillbaka till ursprungsblocket kan dock vara opraktiskt i ett stort nätverk. Därför beräknar Mina inkrementellt SNARKs som endast koncentrerar sig på de senaste blocken — vilket innebär att slutanvändare kontrollerar det zk-SNARK-komprimerade beviset, istället för ett blocks hela transaktionshistorik. Kärnan i Mina-protokollet är MINA, dess inhemska valuta, som fungerar som ett utility-mynt och utbytesmedel.

Mina liknar Bitcoin, förutom hur den hanterar transaktioner, men använder också kontomodellen som används i Ethereum. Skillnaden mellan Bitcoin och Ethereum i detta avseende är att Bitcoin-blockkedjans tillstånd innehåller en lista över ospenderade mynt, medan Ethereums tillstånd består av kontosaldon. Mina å andra sidan använder en prover (eller snarker, om du så vill), motsvarande en gruvarbetare, för att säkerställa att varje block förbinder sig till tillståndet. Mina använder Ouroboros Samasika, en typ av PoS-mekanism som är speciellt utformad för koncisa decentraliserade nätverk eftersom den möjliggör bootstrap från ett genesisblock. Koncisa blockkedjor har två huvudfunktioner: verifiera och uppdatera. Verifiering berör konsensus, blockkedjesammanfattning och block, medan uppdateringsfunktionen interagerar med konsensus och kedjesammanfattning. Utöver ovanstående implementeringar använder projektet ett parallellt skanningsläge för att optimera transaktionsbearbetningshastigheten, vilket fungerar genom att gruppera obevisade block och tilldela processen till parallella provers.

Mina handlar om att revolutionera det nuvarande blockkedjelandskapet där de flesta plattformar har verifierare, såsom miners/stakers, och lättklienter som fungerar som tredje parter vid verifiering av transaktioner. Mina tar en annan väg genom att ha flera deltagare, som var och en hanterar en specifik funktion i det decentraliserade nätverket. De tre huvudrollerna omfattar verifierare, blockproducenter och snarkers. * Verifierare * Verifierare interagerar med zk-SNARKS som hanterar certifiering av konsensusinformationen. Varje användare av Mina-protokollet anses vara en verifierare, förutsatt att deras enheter kan hantera en 22 KB kedja och klara några millisekunders bearbetningstid.

Blockproducenter tar formen av delegater eller gruvarbetare och tjänar blockbelöningar och transaktionsavgifter. Intressant nog, skär protokollet inte ner på de incitament som går till blockproducenter. Denna kategori av deltagare gör det möjligt för Mina-användare att delegera sina mynt till dem. Förutom att samla transaktioner i block, måste blockproducenter också SNARK:a ett motsvarande antal tidigare genomförda affärer eftersom ett misslyckande med detta under blockproduktionen skulle leda till ofullständiga block och att andra noder avvisar deras giltighet. Om en blockproducent vill infoga 10 transaktioner i kedjan, måste de också SNARK:a affärer från könsfronten. De har dock valet att själva producera SNARK:en eller använda de som genereras av en speciell grupp deltagare kallad snarkare. ‍## Snarkare Snarkare, även kända som provers, producerar zk-SNARKs som används för att verifiera transaktioner. Blockproducenter betalar snarkare från de totala transaktionsavgifter de får för att lägga till nya block. För att kvalificera sig för avgifterna måste de dock lämna in bud. Observera att en snarkaress zk-SNARK måste användas i ett block medan den blockproducent som använder den är ansvarig för att motivera snarkaren. Detta skapar en affärsekonomi där flera snarkare kan lämna bud kopplade till samma transaktion. Blockproducenter, å andra sidan, är ute efter vinsterna och kommer att välja budet med de lägsta avgifterna. Följaktligen utmanas snarkare att producera lågkostnads-SNARKs.

Processen börjar med att en användare initierar en transaktion, varefter handeln går till mempoolen, en pool av giltiga men obekräftade transaktioner. Därefter tar snarkers över genom att göra bevis eller SNARKS. Processen fortsätter med valet av en blockproducent (BP) för att sammanfoga transaktioner till ett block. Notera att en BP filtrerar igenom mempoolen för lönsamma transaktioner. Sedan väljer BP en SNARK enligt reglerna i konsensusmekanismen. Observera att en blockproducent granskar buden för den SNARK med lägst pris. Dessutom har nyligen tillagda transaktioner en uppdaterad SNARKS-orderbok. Nästa steg är att införliva SNARKS i ett block, sedan lägga till blocket till kedjan och uppdatera nätverket. Snarkade transaktioner tas bort från kedjan för att hjälpa till att hålla storleken på protokollet konstant. Sedan uppgraderar blockproducenten protokollets zk-SNARKS. Slutligen blir det nya blocket en oföränderlig del av kedjan.