Mina đang nỗ lực để đạt được một hệ thống thanh toán phân tán hiệu quả, cho phép người dùng xác minh nền tảng một cách tự nhiên ngay từ khối khởi đầu. Sách trắng kỹ thuật của họ gọi đây là một "blockchain Succinct."

Giao thức sử dụng Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARK), một bằng chứng mật mã cho phép ai đó xác thực thông tin mà không tiết lộ thông tin đã nêu. Tuy nhiên, việc cho phép người dùng theo dõi nền tảng trở lại khối gốc (khối genesis) của nó có thể không thực tế trong một mạng lớn. Như vậy, Mina sẽ từng bước tính toán các SNARK chỉ tập trung vào một số khối cuối cùng — có nghĩa là người dùng cuối sẽ kiểm tra bằng chứng nén zk-SNARK đó, thay vì toàn bộ lịch sử giao dịch của khối.

Trung tâm của giao thức Mina là MINA, tiền tệ gốc của nó, có chức năng như một coin tiện ích và phương tiện trao đổi.

Mina cũng giống như Bitcoin, ngoài xử lý các giao dịch, nó còn sử dụng mô hình tài khoản được sử dụng trong Ethereum.

Xét về khía cạnh này, Bitcoin khác với Ethereum. Trạng thái của blockchain Bitcoin chứa một danh sách các coin chưa được sử dụng, còn trạng thái của Ethereum được tạo thành từ số dư tài khoản.

Mặt khác, Mina sử dụng một công cụ kiểm tra (hay snarker, nếu bạn muốn), tương đương với một thợ đào, để đảm bảo mỗi khối sẽ cam kết với trạng thái.

Mina sử dụng Ouroboros Samasika, một loại cơ chế PoS được thiết kế đặc biệt cho các mạng phi tập trung Succinct vì nó cung cấp bootstrapping từ một khối genesis.

Các blockchain Succinct có hai chức năng chính: xác minh và cập nhật. Chức năng xác minh liên quan đến cơ chế đồng thuận, tóm tắt blockchain và các khối, còn chức năng cập nhật tương tác với cơ chế đồng thuận và tóm tắt chuỗi.

Ngoài các triển khai trên, dự án còn sử dụng trạng thái scan song song để tối ưu hóa tốc độ xử lý giao dịch, hoạt động bằng cách nhóm các khối chưa được chứng minh và gán quy trình cho các công cụ kiểm tra song song.

Mina là tất cả những gì về cách mạng hóa bối cảnh blockchain hiện tại, nơi hầu hết các nền tảng đều có những người xác minh như thợ đào/người đặt cọc, và các khách hàng hoạt động như bên thứ ba khi xác minh giao dịch.

Mina thực hiện một cách tiếp cận khác bằng cách có nhiều bên tham gia, mỗi bên xử lý một chức năng cụ thể trên mạng phi tập trung.

Có ba bên tham gia thực hiện ba vai trò chính, bao gồm người xác minh, nhà sản xuất khối, và người kiểm tra (snaker).

• Người xác minh
• Người xác minh tương tác với zk-SNARKS để xử lý việc xác nhận thông tin đồng thuận. Mỗi người dùng giao thức Mina được coi là một người xác minh, với điều kiện thiết bị của họ có thể xử lý chuỗi 22 KB và chịu được thời gian xử lý vài mili giây.

Các nhà sản xuất khối có thể là người đặt cọc hoặc thợ đào và kiếm được phần thưởng khối cũng như các khoản thanh toán phí giao dịch. Điều thú vị là giao thức không cắt giảm các ưu đãi dành cho các nhà sản xuất khối. Danh mục các bên tham gia này cho phép người dùng Mina ủy thác coin của họ cho các bên tham gia.

Ngoài việc gộp các giao dịch thành các khối, các nhà sản xuất khối cũng phải SNARK một số lượng tương đương các giao dịch đã cam kết trước đó, vì nếu không làm như vậy trong quá trình sản xuất khối, sẽ dẫn đến các khối không hoàn chỉnh và các node khác sẽ từ chối tính hợp lệ của chúng.

Nếu một nhà sản xuất khối muốn kết hợp 10 giao dịch trên chuỗi, họ cũng phải SNARK giao dịch từ phía trước hàng đợi. Tuy nhiên, họ có tùy chọn để sản xuất SNARK hoặc sử dụng những người được tạo bởi một nhóm những bên tham gia đặc biệt được gọi là snarker.

Snarker, còn được gọi là người kiểm tra, sẽ sản xuất zk-SNARK được sử dụng để xác minh các giao dịch.

Nhà sản xuất khối sẽ trả tiền cho snarker từ phí giao dịch tổng thể mà họ nhận được để thêm các khối mới. Tuy nhiên, để đủ điều kiện nhận phí, họ phải đăng giá thầu. Lưu ý rằng zk-SNARK của một snarker cần được sử dụng trong một khối trong khi nhà sản xuất khối sử dụng nó có trách nhiệm khuyến khích snarker.

Điều này tạo ra một nền kinh tế kinh doanh mà nhiều snarker có thể đăng giá thầu gắn liền với cùng một giao dịch. Mặt khác, các nhà sản xuất khối sẽ vì lợi nhuận và sẽ chọn giá thầu với mức phí thấp nhất. Do đó, các snarker sẽ gặp thách thức trong việc sản xuất SNARK chi phí thấp.

Quá trình bắt đầu với việc người dùng bắt đầu một giao dịch, sau đó giao dịch đó sẽ được chuyển đến mempool, một nhóm các giao dịch hợp lệ nhưng chưa được xác nhận.

Tiếp theo, các snarker sẽ tiếp quản bằng cách tạo bằng chứng hoặc SNARK. Quá trình này diễn ra sau với việc lựa chọn nhà sản xuất khối (BP) để gói các giao dịch thành một khối. Lưu ý rằng một BP sàng lọc qua mempool cho các giao dịch có lợi nhuận.

Sau đó, BP chọn SNARK theo các quy tắc trong cơ chế đồng thuận.

Lưu ý rằng nhà sản xuất khối quét qua các giá thầu cho SNARK có giá thấp nhất. Ngoài ra, các giao dịch được thêm gần đây sẽ có một sổ lệnh SNARK được cập nhật.

Tiếp theo là kết hợp các SNARK trong một khối, sau đó thêm khối vào chuỗi và cập nhật mạng. Các giao dịch đã được snark sẽ được xóa khỏi chuỗi để giúp giữ cho kích thước của giao thức không đổi.

Sau đó, nhà sản xuất khối sẽ nâng cấp zk-SNARK của giao thức.

Cuối cùng, khối mới sẽ trở thành một phần bất biến của chuỗi.