" Решение Polygon, совместимое с виртуальной машиной Ethereum (EVM) на базе zk-STARK, выпускает собственную виртуальную машину (VM) «Miden VM» версии 0.2, сообщает команда проекта в твиттере.
Miden VM - это первая виртуальная машина с открытым исходным кодом на базе STARK для выполнения транзакций, которая характеризуется автоматической генерацией доказательств с нулевым знанием STARK. В этой версии была улучшена сборка Miden, функции полноты по Тьюрингу и т.д.
«Вышла версия Miden VM v0.2! Он поставляется с полной переработкой архитектуры и множеством новых функций. Несмотря на все новые функции, виртуальная машина стала быстрее! Нам еще нужно кое-что добавить и применить множество оптимизаций, но вот как выглядит предварительная производительность — выполнение 220 циклов ВМ (шагов выполнения)», - пишут разработчики и приводят таблицу производительности.
«Еще одно улучшение: мы добавили поддержку операций с обычными 32-битными целыми числами без запятой. Они почти так же эффективны, как и использование собственных полевых операций. Таким образом, вы можете думать о виртуальной машине как об обычной 32-битной машине (не нужно беспокоиться о конечных элементах поля!)», - добавляют разработчики.
По словам команды сборка Miden также была значительно улучшена: теперь она поддерживает процедуры с локальными переменными и новыми мощными инструкциями, и в нее включена первая версия стандартной библиотеки Miden.
«Стандартная библиотека Miden — это наш способ предоставления часто используемых примитивов. На данный момент она включает операции с 64-битными целыми числами без знака и пару хэш-функций (SHA256, BLAKE3), и мы планируем добавить многие другие», - говорится в сообщении.
Разработчики подчеркнули, что исходный код виртуальной машины полностью открыт. Описание дизайна виртуальной машины (включая все ограничения AIR) доступно в документации, а весь исходный код находится в репозитории на Github.
