#Ethereum: сеть переписывают так, чтобы её проверил ИИ 🤔
🐦
TwitterScore 1000
😐
Ранее писали как Виталик обновил Lean и добавил замену EVM. Теперь он сравнил свой роадмап 2023 года с новым планом - и это уже не про скорость, а про выживание сети.
Виталик поднял пост-квантовую защиту и приватность в главные цели Ethereum. Идея - упростить протокол настолько, чтобы его можно было целиком формально проверить через ИИ.
Что поменялось в плане:
🟢Verkle-деревья заменят
🟢Вернули native rollups
🟢Пост-квантум: подписи leanSPHINCS и zkzk-frames
🟢EVM хотят сменить на leanISA или RISC-V
Раньше цель была одна - масштабировать всё подряд. Теперь Виталик делает узкие механизмы под конкретные задачи: переводы, свапы, приватность. Меньше кода - меньше дыр.
При чём тут ИИ:
Виталик Бутерин: Это безопасно только с формальной верификацией, а она реальна только с современными ИИ-тулзами.
Формальная верификация это математическое доказательство что код делает ровно то что должен. Вручную для целой сети это было нереально. Теперь протокол специально упрощают, чтобы ИИ смог проверить его целиком.
🗒 Ethereum затачивают под мир квантовых атак и машинной проверки - сеть строят так, чтобы её держал в голове не человек, а ИИ. Как самому гонять свой код через ИИ-агентов и верификацию разбираем в
ИИ-клубе.
Slavik |
Updates |
Инстаграм |
ИИ Клуб