В мире блокчейна протокол Mina Protocol выделяется тем, что его блокчейн имеет фиксированный размер и основан на идее использования системы доказательства с применением рекурсивных zk-SNARKs. С помощью этого метода обеспечивается безопасность L1, и процесс синхронизации быстрый, как при полном узле. Однако объем данных, которые необходимо обрабатывать, будет меньше.
Это не только слой для смарт-контрактов, но также все больше становится хабом для zkApps, которые на самом деле являются различными приложениями, использующими уникальные нулевые функции доказательства, такие как модульные доказательства, расширенные внеланцовые вычисления и отсутствие комиссий за транзакции. Важность протокола для управления блочным пространством выросла вместе с количеством и разнообразием этих приложений. Эти приложения масштабируются благодаря рекурсивным криво-доказательственным rollups.
Рекурсивные zkRollups протокола Mina предлагают беспрецедентную масштабируемость и гибкость. ZK-цепочки, стеки и роллапы приложений идеально подходят для Mina, поскольку их можно масштабировать для любых потребностей приложения. Однако эти приложения способны регулировать свой темп и мощность в зависимости от потока трафика. Поэтому вместо использования дорогих специализированных устройств, они могут управлять более высокой производительностью транзакций в секунду (TPS), используя стандартные технологии, доступные каждому.
Это является наиболее значительным улучшением по сравнению с традиционными zkRollups, которые могут обрабатывать только ограниченное количество транзакций за раз и могут задерживаться в случае повышенного спроса, когда сети требуется больше времени на обработку запросов.
Действительно, принцип “нулевого знания” (ZK) позволяет доказывать точность вычислений так эффективно и эффективно, как это только возможно. Эта идея подразумевает, что простой компьютер может определить, верны ли выполненные более мощными машинами вычисления, не повторяя при этом всю операцию.
Протокол Mina достигает этого, используя собственную цепь доказательство-стейк из нулевого знания (zk-native Proof-of-Stake). На этом этапе сетевым валидаторам не нужно повторно хешировать всю транзакцию – вместо этого они проверяют доказательство самой транзакции. Это значительное достижение само по себе, так как это означает, что проверка доказательства не зависит от размера вычислений и выполняется вовремя и последовательно.
Mina’s zkDSL, o1js, позволяет разработчикам писать программы, которые выполняют определенные функции и включают доказатель
Источник: cryptonewsz.com