Polygon представила Miden, масштабирующее решение на основе Advanced zk-STARKs, предназначенное для решения проблем перегрузки сети в блокчейне Ethereum.

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

Основной разработчик Distaff VM и Винтерфелла из Facebook, Боббин Threadbare, присоединяется к Polygon в качестве Miden Lead, чтобы работать над реинтеграцией Distaff, который объединяет Distaff и Winterfell, и продолжить разработку Miden VM и экосистемы вокруг него.

«Добавление Polygon виртуальной машины Miden представляет собой важный шаг на пути к преодолению некоторых технических проблем, связанных с возможностью полагаться на криптографические доказательства вычислительной целостности», - говорится в заявлении Threadbare. «Я с нетерпением жду возможности помочь облегчить реализацию STARK с открытым исходным кодом в экосистеме Polygon и в более широких сообществах по безопасности и конфиденциальности».

Сандип Наилвал, соучредитель Polygon, далее объяснил: «ZK - это путь вперед для Ethereum, а виртуальная машина Miden - один из наиболее важных элементов в дорожной карте Polygon по масштабируемости Ethereum. Это упростит и ускорит проверку приложений DeFi и криптовалют. - повышение скорости и масштаба экосистемы Polygon ».

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

Команда Polygon планирует повысить жизнеспособность виртуальной машины за счет внедрения следующих уникальных характеристик: многоязычная парадигма, обеспечивающая гибкость и расширение использования на более широкую аудиторию языков разработчиков, таких как Move, разработанные Novi / Diem; и безопасность, ориентированная на блокчейн, достигаемая за счет интеграции функций, включая статический анализ, формальную проверку и ограниченную изменчивость.

Источник