Mina sedang berupaya mencapai sistem pembayaran terdistribusi yang efisien yang memungkinkan pengguna untuk memverifikasi platform langsung dari blok awal. Makalah teknisnya menyebutkan ini sebagai "blockchain singkat." Protokol ini menggunakan Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), sebuah bukti kriptografis yang memungkinkan seseorang untuk mengautentikasi informasi tanpa mengungkapkan informasi tersebut. Namun, memungkinkan pengguna untuk melacak platform kembali ke blok awal dapat menjadi tidak praktis dalam jaringan besar. Oleh karena itu, Mina secara bertahap menghitung SNARKS yang hanya fokus pada beberapa blok terakhir — yang berarti bahwa pengguna akhir memeriksa bukti terkompresi zk-SNARK, bukan riwayat transaksi seluruh blok. Di inti protokol Mina adalah MINA, mata uang asli mereka, yang berfungsi sebagai koin utilitas dan alat tukar.

Mina mirip dengan Bitcoin, selain cara menangani transaksi, tetapi juga menggunakan model akun yang digunakan di Ethereum. Dalam hal ini, perbedaan antara Bitcoin dan Ethereum adalah bahwa keadaan dari blockchain Bitcoin mengandung daftar koin yang belum dibelanjakan, sementara keadaan Ethereum terdiri dari saldo akun. Mina, di sisi lain, menggunakan prover (atau snarker), yang setara dengan penambang, untuk memastikan setiap blok berkomitmen pada keadaan. Mina menggunakan Ouroboros Samasika, jenis mekanisme PoS yang dirancang khusus untuk jaringan terdesentralisasi ringkas karena memungkinkan bootstrapping dari blok awal. Blockchain ringkas memiliki dua fungsi utama: verifikasi dan pembaruan. Verifikasi mencakup konsensus, ringkasan blockchain, dan blok, sementara fungsi pembaruan berinteraksi dengan konsensus dan ringkasan rantai. Selain implementasi di atas, proyek ini menggunakan keadaan pemindaian paralel untuk mengoptimalkan kecepatan pemrosesan transaksi, yang bekerja dengan mengelompokkan blok yang belum dibuktikan dan menetapkan proses tersebut ke prover paralel.

Mina bertujuan untuk merevolusi lanskap blockchain saat ini di mana sebagian besar platform memiliki verifikator seperti penambang/staker dan klien ringan yang bertindak sebagai pihak ketiga dalam memverifikasi transaksi. Mina mengambil pendekatan berbeda dengan melibatkan banyak peserta, masing-masing menangani fungsi spesifik pada jaringan terdesentralisasi. Tiga peran utama meliputi verifikator, produser blok, dan snarker. * Verifikator * Verifikator berinteraksi dengan zk-SNARKS yang berfungsi untuk mengesahkan informasi konsensus. Setiap pengguna protokol Mina dianggap sebagai verifikator, asalkan perangkat mereka dapat menangani rantai 22 KB dan bertahan dalam beberapa milidetik waktu pemrosesan.

Produsen blok mengambil bentuk staker atau penambang dan mendapatkan imbalan blok serta pembayaran biaya transaksi. Menariknya, protokol ini tidak mengurangi insentif yang diterima oleh produsen blok. Kategori partisipan ini memungkinkan pengguna Mina untuk mendelegasikan koin mereka kepada mereka. Selain menggabungkan transaksi menjadi blok, produsen blok juga harus SNARK sejumlah perdagangan yang sebelumnya telah dilakukan karena jika gagal melakukannya selama produksi blok akan menyebabkan blok tidak lengkap dan node lain menolak keabsahannya. Jika seorang produsen blok ingin memasukkan 10 transaksi ke dalam rantai, mereka juga harus SNARK perdagangan dari bagian depan antrean. Namun, mereka memiliki opsi untuk memproduksi SNARK atau menggunakan SNARK yang dihasilkan oleh sekelompok partisipan khusus yang disebut snarker. ## Snarker Snarker, juga dikenal sebagai prover, memproduksi zk-SNARK yang digunakan dalam verifikasi transaksi. Produsen blok membayar snarker dari keseluruhan biaya transaksi yang mereka terima untuk menambahkan blok baru. Namun, untuk memenuhi syarat memperoleh biaya tersebut, mereka harus mengajukan tawaran. Perhatikan bahwa zk-SNARK dari seorang snarker harus digunakan dalam sebuah blok, sementara produsen blok yang menggunakannya bertanggung jawab untuk memberikan insentif kepada snarker. Ini menciptakan ekonomi bisnis di mana beberapa snarker dapat mengajukan tawaran terkait dengan transaksi yang sama. Produsen blok, sebaliknya, mencari keuntungan dan akan memilih tawaran dengan biaya terendah. Akibatnya, snarker ditantang untuk memproduksi SNARK dengan biaya rendah.

Proses dimulai dengan pengguna yang memulai transaksi, setelah itu perdagangan masuk ke mempool, yaitu kumpulan transaksi yang valid tetapi belum dikonfirmasi. Selanjutnya, snarkers mengambil alih dengan membuat bukti atau SNARKS. Proses ini dilanjutkan dengan pemilihan produser blok (BP) untuk menggabungkan transaksi ke dalam sebuah blok. Perlu dicatat bahwa BP memeriksa mempool untuk mencari transaksi yang menguntungkan. Kemudian, BP memilih SNARK sesuai dengan aturan dalam mekanisme konsensus. Perlu dicatat bahwa produser blok memindai penawaran untuk SNARK berharga terendah. Selain itu, transaksi yang baru ditambahkan memiliki buku pesanan SNARKS yang diperbarui. Selanjutnya, saatnya menggabungkan SNARKS ke dalam sebuah blok, lalu menambahkan blok tersebut ke rantai dan memperbarui jaringan. Transaksi yang telah disnark dihapus dari rantai untuk membantu menjaga ukuran protokol tetap konstan. Kemudian, produser blok meningkatkan zk-SNARKS protokol. Akhirnya, blok baru menjadi bagian yang tidak dapat diubah dari rantai.