Anthropic 发布了 LLM 的 ZK 证明，V. Buterin 谈到了即将到来的 ZKP 奇点

Anthropic выпустили ZK-пруфы для LLM, а В.Бутерин сказал о приближении ZKP-сингулярности Сегодня на конференции в Мумбаи Виталик Бутерин говорил о приоритетах Ethereum на ближайшие 10 лет: 1. выживание - институции ценят Ethereum не за скорость, а за то, что сеть ни разу не падала. Если сам Ethereum не безопасен, он не сделает безопасным ничего поверх себя. 2. перестать гнаться за улучшениями на 5%. ИИ переворачивает ландшафт каждый год, целиться нужно в иксы, а не в проценты. Много говорили про ИИ-агентов, управляющих казначействами сообществ. Бутерин сказал, когда у агента есть ключи, он всё равно сидит в песочнице: кто выбирает модель, кто контролирует её обучение, кто решает об обновлениях, что вообще считать важным решением - эти правила по-прежнему задают люди. Но больше всего Бутерин ждёт сингулярность ZK-доказательств - момент, когда появится универсальный способ математически подтверждать правильность любых вычислений, не раскрывая, как именно они получены. На этом фоне вчера Anthropic выпустили FlashProve - криптографическое доказательство (zkSNARK), что ответ сгенерировала заявленная модель, а не урезанная, подменённая или скомпрометированная версия, причём без раскрытия самих весов модели.