Anthropic released ZK-proofs for LLM, and V. Buterin spoke about the approaching ZKP-singularity

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