🔐 ETHEREUM ЗАВЕРШИЛ ПОЛНУЮ ФОРМАЛЬНУЮ ВЕРИФИКАЦИЮ leanVM
🧠 Объявление от 3 ноября от исследователя Джастина Дрейка: исследователь Ethereum Foundation Джастин Дрейк сообщил, что leanVM прошла полную сквозную формальную верификацию — это важная веха для внедрения leanVM в сети Ethereum.
🛡️ Минималистичная виртуальная машина для квантово-устойчивых подписей: leanVM — это минималистичная виртуальная машина, использующая доказательства с нулевым разглашением. Она делает проверку ресурсоёмких постквантовых подписей практически осуществимой в масштабах сети за счёт агрегирования процесса верификации.
🗓️ Цель на декабрь 2028 года перенесена на более ранний срок: на Devcon 8 Дрейк поставил цель завершить переход к постквантовой и пост-ИИ эпохе к декабрю 2028 года — раньше отметки 2029 года, указанной в ранее опубликованной дорожной карте обновлений первого уровня. Это пока лишь цель, а не утверждённая дата активации.
🌤️ Это важный базовый шаг, который поможет Ethereum подготовиться к постквантовой эпохе, хотя для полноценного внедрения потребуются дальнейшие обновления.
$ETH $STRK $ZK
🧠 Объявление от 3 ноября от исследователя Джастина Дрейка: исследователь Ethereum Foundation Джастин Дрейк сообщил, что leanVM прошла полную сквозную формальную верификацию — это важная веха для внедрения leanVM в сети Ethereum.
🛡️ Минималистичная виртуальная машина для квантово-устойчивых подписей: leanVM — это минималистичная виртуальная машина, использующая доказательства с нулевым разглашением. Она делает проверку ресурсоёмких постквантовых подписей практически осуществимой в масштабах сети за счёт агрегирования процесса верификации.
🗓️ Цель на декабрь 2028 года перенесена на более ранний срок: на Devcon 8 Дрейк поставил цель завершить переход к постквантовой и пост-ИИ эпохе к декабрю 2028 года — раньше отметки 2029 года, указанной в ранее опубликованной дорожной карте обновлений первого уровня. Это пока лишь цель, а не утверждённая дата активации.
🌤️ Это важный базовый шаг, который поможет Ethereum подготовиться к постквантовой эпохе, хотя для полноценного внедрения потребуются дальнейшие обновления.
$ETH $STRK $ZK
