Mina đang nỗ lực hướng tới việ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 ngay từ khối gốc một cách trực tiếp. Sách trắng kỹ thuật của Mina gọi đây là một “blockchain gọn nhẹ.” Giao thức này sử dụng Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), một chứng minh mật mã cho phép xác thực thông tin mà không cần tiết lộ thông tin đó. Tuy nhiên, việc cho phép người dùng truy vết nền tảng về khối gốc có thể không thực tế trong một mạng lưới lớn. Do đó, Mina tính toán SNARKS một cách tuần tự, tập trung chỉ vào vài khối gần nhất — có nghĩa là người dùng cuối kiểm tra chứng minh zk-SNARKs được nén, thay vì lịch sử giao dịch của toàn bộ khối. Trọng tâm của giao thức Mina là MINA, đồng tiền gốc của nó, hoạt động như một đồng tiền tiện ích và phương tiện trao đổi.

Mina tương tự như Bitcoin, ngoại trừ cách xử lý giao dịch, nhưng cũng sử dụng mô hình tài khoản được áp dụng trong Ethereum. Trong khía cạnh này, điểm khác biệt giữa Bitcoin và Ethereum là trạng thái của blockchain Bitcoin chứa danh sách các đồng tiền chưa chi tiêu, trong khi trạng thái của Ethereum được tạo thành từ số dư tài khoản. Ngược lại, Mina sử dụng một bộ chứng minh (hoặc snarker, nếu bạn muốn), tương đương với một thợ đào, để đảm bảo mỗi khối cam kết vào trạng thái. Mina áp dụng Ouroboros Samasika, một loại cơ chế PoS đặc biệt được thiết kế cho các mạng phi tập trung ngắn gọn vì nó cung cấp khả năng khởi động từ khối nguyên thủy. Các blockchain ngắn gọn có hai chức năng chính: xác minh và cập nhật. Xác minh liên quan đến đồng thuận, tóm tắt blockchain và các khối, trong khi chức năng cập nhật tương tác với đồng thuận và tóm tắt chuỗi. Ngoài các triển khai trên, dự án sử dụng trạng thái quét 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 quá trình cho các nhà chứng minh song song.

Mina tập trung vào việc 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 có các bên xác minh như thợ đào/người stake và các khách hàng nhẹ, những người đóng vai trò là bên thứ ba khi xác minh các giao dịch. Mina có cách tiếp cận khác bằng cách có nhiều thành viên tham gia, mỗi người đảm nhận một chức năng cụ thể trên mạng phi tập trung. Ba vai trò chính bao gồm các bên xác minh, các nhà sản xuất khối và các snarker. * Các bên xác minh * Các bên xác minh tương tác với zk-SNARKS để chứng nhận thông tin đồng thuận. Mỗi người dùng giao thức Mina được coi là một bên xác minh, với điều kiện thiết bị của họ có thể xử lý một chuỗi có kích thước 22 KB và chịu được vài mili giây thời gian xử lý.

Các nhà sản xuất block hoạt động dưới hình thức là người đặt cọc hoặc người khai thác và kiếm được phần thưởng block và phí giao dịch. Điều thú vị là giao thức này không cắt giảm các khoản khuyến khích dành cho các nhà sản xuất block. Danh mục người tham gia này cho phép người dùng Mina ủy thác đồng coin của họ cho họ. Ngoài việc gộp các giao dịch thành các block, các nhà sản xuất block cũng phải SNARK một số giao dịch đã cam kết từ trước vì nếu không làm như vậy trong quá trình sản xuất block sẽ dẫn đến các block không hoàn chỉnh và các nút khác từ chối tính hợp lệ của chúng. Nếu một nhà sản xuất block muốn tích hợp 10 giao dịch vào chuỗi, họ cũng phải SNARK các giao dịch từ đầu hàng đợi. Tuy nhiên, họ có tùy chọn tự tạo ra SNARK hoặc sử dụng các SNARK được tạo ra bởi một nhóm người tham gia đặc biệt được gọi là snarker. ## Snarker Snarker, còn được gọi là prover, tạo ra zk-SNARKs được sử dụng để xác minh giao dịch. Các nhà sản xuất block trả công cho snarker từ tổng số phí giao dịch mà họ nhận được khi thêm các block 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 block và nhà sản xuất block sử dụng nó sẽ chịu trách nhiệm khuyến khích snarker. Điều này tạo ra một kinh tế kinh doanh nơi nhiều snarker có thể đăng giá thầu liên quan đến cùng một giao dịch. Các nhà sản xuất block, mặt khác, nhắm đến lợi nhuận và sẽ chọn giá thầu với mức phí thấp nhất. Do đó, snarker gặp thách thức trong việc tạo ra SNARK với chi phí thấp.

Quy trình bắt đầu khi người dùng khởi tạo một giao dịch, sau đó giao dịch sẽ 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 tham gia vào bằng cách tạo các chứng minh hoặc SNARKS. Quy trình tiếp tục với việc lựa chọn một nhà sản xuất khối (BP) để gộp các giao dịch thành một khối. Lưu ý rằng một BP sẽ sàng lọc qua mempool để tìm các giao dịch có lợi nhuận. Sau đó, BP chọn một SNARK theo các quy tắc trong cơ chế đồng thuận. Lưu ý rằng nhà sản xuất khối sẽ quét các báo giá để tìm SNARK có giá thấp nhất. Ngoài ra, các giao dịch mới được thêm vào gần đây sẽ có một sổ lệnh SNARKS được cập nhật. Tiếp theo, đến lúc tích hợp SNARKS vào một khối, sau đó thêm khối vào chuỗi và cập nhật mạng lưới. Các giao dịch đã được snarked sẽ bị loại bỏ 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 nâng cấp zk-SNARKS của giao thức. Cuối cùng, khối mới trở thành một phần không thể thay đổi của chuỗi.