Недавно я прошел через процесс применения logup* (Суханов) для реализации Twist and Shout (Сетти и Талер). В результате мы можем иметь аргументы проверки памяти с очень низкими затратами на обязательства, используя схемы обязательств на основе хеширования! ↓

Я хочу выделить этот график, который мы используем в @powdr_labs для анализа выполнения zkVM и автопредварительных компиляций: ⬇️