Aptos в деталях: масштабирование без границ

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

Разбивая сложную систему на более мелкие модули, Aptos может легче реализовать масштабирование на каждом уровне.

Слой хранения

Слой хранения отвечает за хранение данных, связанных с блокчейном, в базе данных RocksDB, включая смарт-контракты и состояния. Эти данные хранятся в виде Jellyfish Merkle Tree (JMT), который является вариантом разреженного дерева Меркла, разработанного для облегчения шардинга и обеспечения равномерного распределения нагрузки данных по различным шардам.

Слой консенсуса

Слой консенсуса запускает движок консенсуса блокчейна, приводя все узлы к согласию по единому состоянию сети. Aptos реализует основанный на Narwhal Quorum Store, который отделяет распространение данных от упорядочивания транзакций. Этот подход позволяет валидаторам асинхронно распространять данные параллельно, уменьшая задержки, вызванные узким местом лидера.

Слой выполнения

Слой выполнения выполняет транзакции с использованием движка Block-STM. Реализация шардинга в среде выполнения сталкивается с несколькими ключевыми проблемами, включая обработку конфликтов и задержки, возникающие из-за межшардовой коммуникации.

Конфликты могут возникать, когда две транзакции из разных шардов пытаются одновременно изменить одно и то же состояние (т.е. конфликты записи-записи) или когда транзакция читает состояние, которое впоследствии изменяется другой транзакцией (т.е. конфликты записи-чтения).

Shardines

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

Алгоритм разбиения гиперграфа

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

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

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

Микропакетирование и конвейеризация

Еще одной особенностью Shardines является его новая стратегия микропакетирования и конвейеризации. Транзакции в блоке разделяются на более мелкие пакеты, и эти пакеты транзакций затем проходят через различные стадии выполнения:

1. Передача пакета транзакций от координаторного узла к узлу шарда.
2. Получение данных и зависимостей для транзакций в пакете.
3. Выполнение транзакций в пакете.
5. Передать результаты выполнения другим шардам, содержащим зависимые транзакции.
6. Передать результаты выполнения координатору.

Микро-пакетирование помогает разбивать большие пакеты данных, снижая задержку, связанную с сериализацией и десериализацией больших объемов данных. В сочетании с конвейеризацией этот подход позволяет эффективно использовать ресурсы, позволяя выполнять пакеты транзакций (этап 3 на Рисунке 6) без ожидания прибытия всех других пакетов (этап 1). 

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

Агрегация дельт

Агрегация дельт — это еще одна важная функция Shardines. Когда несколько транзакций изменяют общие ресурсы (например, конфликты записи-записи), такие как события чеканки, влияющие на общий объем токенов, Shardines вычисляет изменение состояния (т.е. дельту) для каждой транзакции во время выполнения параллельно и агрегирует результаты в конце этапов выполнения.

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

Эти функции позволяют Aptos достигать почти линейного масштабирования пропускной способности с увеличением количества шардов, достигая более 1 миллиона tps с 30 шардами в тестовой среде с неконфликтующими транзакциями.

Даже в сценариях с конфликтующими транзакциями его пропускная способность все равно превышает 500,000 tps, демонстрируя его устойчивость в более реалистичных условиях, когда многие пользователи блокчейна взаимодействуют с одними и теми же ресурсами на цепочке. Это укрепляет позицию Aptos как пионера параллелизма в блокчейн-индустрии.

Выводы

В заключение, Aptos разработал две революционные технологии — Zaptos и Shardines, которые решают проблемы масштабирования блокчейн-сетей.

• Zaptos снижает задержку транзакций от начала до конца, реализуя стратегии параллелизации и оптимистичной работы в конвейерной блокчейн-архитектуре Aptos. 
• Shardines улучшает слой выполнения через интеллектуальное разделение, конвейеризацию и эффективное разрешение конфликтов, значительно увеличивая пропускную способность при минимизации межшардовой коммуникации.

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