Benchmarking zkVMs Efficiency, Bottlenecks, and Best Practices - Masato Tsutsumi (Waseda University)

PLINK: Verified Generation of Constraints for PLONK - Pablo Castellanos (IMDEA Software Institute)

SNARKs for Virtual Machines are Non-Malleable - Antonio Faonio (EURECOM)

10 Tips To An Effective Networking Strategy

An Overview of the zkEVM Industry and Why Formal Verification -Alexander Hicks (Ethereum Foundation)

LatticeFold: Fast Lattice-Based Folding for Succinct Proof Systems - Room 2

System Design Concepts Course and Interview Prep

Чем ОПАСЕН МАХ? Разбор приложения специалистом по кибер безопасности

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Визуализация внимания, сердце трансформера | Глава 6, Глубокое обучение

Рекордный вывод НАЛИЧНЫХ из банков: что планирует правительство?

49 минут, которые ИЗМЕНЯТ ваше понимание Вселенной | Владимир Сурдин

2026: Всё Уже Решено - Вот Что Будет Дальше

Using Hax for Correct and Secure Zero - Knowledge Implementations

Kubernetes — Простым Языком на Понятном Примере

Понимание сталей и термообработки

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

On the Formal Verification of Polynomial Commitment Schemes: the KZG and Beyond

TLSNotarization in Browsers - Sofia Celi (Brave)

Экономика - авторская программа на радио "Говорит Москва" | 26.01.2026 | Михаил Хазин