🎥 Новый разговор у камина: Внутри SP1 с @tamirhemo, главой криптографии в @SuccinctLabs. Мы глубоко погружаемся в архитектуру SP1, прорывы в производительности и то, что нужно для обеспечения производственных ZK-VM. Временные метки: 0:00 Что такое SP1 и миссия Succinct 2:31 Почему ZK-VM более универсальны, чем индивидуальные ZK-схемы 3:30 Гиперкуб и доказательство в реальном времени в EthProofs 4:30 Решения по дизайну, стоящие за приростами производительности SP1 7:36 Теория против арифметизации: компромиссы 10:19 Поверхности атак SP1 и меры по их смягчению 14:04 Интерактивные теоремные провайдеры против SMT-инструментов (Picus) 15:36 Интеграция инструментов и что еще не хватает 18:18 Препроцессоры: когда их добавлять и влияние на безопасность 20:24 Является ли "компиляция в схему" полезным дополнением к ZK-VM? 21:12 Гарантии провайдеров, развертывание и риски конфиденциальности 24:04 Инкрементальное доказательство: локальные + серверные доказательства 26:14 Доказательства против гипотез и криптографическая приоритизация 29:23 Новая криптография и что больше всего волнует Тамир 32:01 Приложения, строящиеся на SP1 34:45 Сеть провайдеров против частных сервисов доказательства 36:55 Сроки для домашнего доказательства для 99% блоков 39:34 Самые сложные 1%: узкие места в 12 секунд 42:08 Противодействующие блоки и "убийцы провайдеров" опкоды 43:18 За пределами Ethereum: другие рабочие нагрузки SP1 45:16 Что дальше для SP1 47:15 Заключительные замечания Ведущий @bensepanski из @VeridiseInc, снято в Буэнос-Айресе, 17 ноября 2025 🇦🇷 Резюме видео ниже 🧵 1/5

Тамир объясняет, почему Succinct перешел от индивидуальных ZK-цепей к универсальной ZK-VM и почему SP1 ориентирован на предкомпиляцию: оптимизированные цепи там, где это важно, гибкие программы везде остальное. Цель не в том, чтобы доказывать каждый цикл — SP1 доказывает обещанное поведение программы. 2/5

🚀 Основные моменты производительности SP1 Hypercube теперь подтверждает ~99.7% блоков Ethereum за 12 секунд с ~16 GPU — достигая порога для аппаратного обеспечения потребительского класса. Ключевые достижения: многомерные полиномы, большая свобода арифметизации и устранение узких мест рекурсии. 3/5

Безопасность на первом месте. Тамир рассказывает о том, как смягчаются поверхности атак, о операциях prover-killer и о том, почему формальная верификация необходима для ZK-VM. @SuccinctLabs работает с @VeridiseInc для формальной верификации цепей SP1 с использованием Picus, чтобы устранить ошибки до их выпуска. 4/5