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