🎥 Нова бесіда біля каміна: Всередині 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 Гарантії Prover, ризики впровадження та конфіденційності 24:04 Поступове доведення: локальні + серверні докази 26:14 Докази проти припущень та криптографічне пріоритетизування 29:23 Нова криптографія та що найбільше захоплює Таміра 32:01 Застосунки на SP1 34:45 Мережа Prover проти приватних послуг перевірки 36:55 Хронологія перевірки домашньої гри для 99% блоків 39:34 Найскладніший 1%: 12-секундні вузькі місця 42:08 Ворожі блоки та опкоди "prover-killer" 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

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