Mina работает над созданием эффективной распределенной платежной системы, которая позволит пользователям верифицировать платформу прямо с генезисного блока. В техническом документе компании это называется "лаконичный блокчейн".

Протокол использует алгоритм доказательства с нулевым разглашением zk-SNARKs, который позволяет криптографически подтвердить подлинность информации без раскрытия ее самой. Однако в большой сети давать пользователю возможности отследить платформу до ее генезисного блока может быть непрактичным. Mina постепенно вычисляет SNARKS, которые концентрируются только на последних нескольких блоках - это означает, что конечные пользователи проверяют доказательство, сжатое по zk-SNARK, а не всю историю транзакций.

В сердце протокола Mina лежит MINA, его собственная валюта, которая функционирует как служебный токен и средство обмена.

Mina во многом похожа на Биткойн, кроме того, как она обрабатывает транзакции, но также использует модель счетов, используемую в Ethereum.

В этом отношении разница между Bitcoin и Ethereum заключается в том, что блокчейна Bitcoin сохраняет список неизрасходованных монет, в то время как блокчейн Ethereum хранит остатки на счетах.

Мина, с другой стороны, полагается на "проверяющих" (prover, другое название snarker) вместо майнеров, для обеспечения фиксации состояния каждого блока.

В Mina используется PoS алгоритм Ouroboros Samasika. Он специально создан для сжатых децентрализованных сетей и обеспечивает загрузку с генезисного блока.

Сжатые блокчейны выполняют две основные функции: верификация и обновление. Верификация затрагивает консенсус, сводку блокчейна и блоки, а функция обновления взаимодействует с консенсусом и сводкой цепочки.

Помимо этого, для оптимизации скорости обработки транзакций в проекте используется состояние параллельного сканирования. При это неподтвержденные блоки группируются и процесс распараллеливается между разными проверяющими.

Мина стремится совершить революцию в нынешнем ландшафте блокчейна, где большинство платформ полагаются верификаторов, таких как майнеры/стейкеры и легкие клиенты, которые выступают в качестве третьей стороны при проверке транзакций.

Mina использует другой подход: множество участников децентрализованной сети выполняют каждый свои функции.

Есть три основные роли: верификаторы, производители блоков и снаркеры.

• Верификаторы
• Верификаторы взаимодействуют с zk-SNARKS, которые занимаются сертификацией информации о консенсусе. Каждый пользователь протокола Mina считается верификатором при условии, что его устройство может обрабатывать цепочку размером 22 КБ и выдерживать время обработки в несколько миллисекунд.

Производители блоков принимают форму стейкеров или майнеров, получают вознаграждения за блок и комиссионные за транзакции. Интересно, что протокол не сокращает величину вознаграждений, которые получают производители блоков. Пользователи Mina могут делегировать свои монеты этой категории участников.

Помимо объединения транзакций в блоки, производители блоков также должны содержать SNARK подтверждение эквивалентного числа ранее совершенных сделок, так как если этого не сделать во время создания блока, то блоки будут неполными, а другие узлы отвергнут их действительность.

Если производитель блока хочет включить в цепочку 10 транзакций, он также должен подтвердить SNARK сделки из первой очереди. Однако существует две опции: произвести SNARK или использовать те, которые генерируются специальной группой участников, называемых "снаркерами".

Снаркеры, также известные как проверяющие, производят zk-SNARK подтверждения, используемые при проверке транзакций.

Производители блоков платят снаркерам долю из общей комиссии за транзакции, которую они получают за добавление новых блоков. Однако, чтобы получить право получать комиссии, они должны размещать заявки. Теперь внимательно: zk-SNARK снаркера должен быть использован в блоке, а производитель блока отвечает за вознаграждение снаркера.

Это создает бизнес-экономику, в которой несколько снаркеров могут размещать ставки, привязанные к одной и той же сделке. Производители блоков, с другой стороны, заинтересованы в прибыли и выберут предложение с наименьшими комиссионными. Следовательно, перед снаркерами стоит задача производить максимально недорогие SNARKs.

Процесс начинается с того, что пользователь инициирует транзакцию, после чего сделка попадает в mempool - пул действительных, но неподтвержденных транзакций.

Далее за дело берутся снаркеры, производя подтверждения или СНАРКИ. Далее следует процесс выбора производителя блоков (BP) для объединения транзакций в блок. При этом ВР просматривает mempool в поисках выгодных транзакций.

Затем ВР выбирает SNARK в соответствии с правилами механизма консенсуса.

Обратите внимание, что производитель блоков просматривает заявки в поисках SNARK с самой низкой ценой. Кроме того, недавно добавленные транзакции требуют актуальные SNARKs.

Далее наступает время включить SNARKS в блок, затем добавить блок в цепочку и обновить сеть. Подтвержденные SNARK транзакции удаляются из цепочки, чтобы сохранить ее размер постоянным.

Затем производитель блока обновляет zk-SNARKS протокола.

И в завершение, новый блок становится неизменяемой частью блокчейна.