Nedávno jsem prošel cvičením aplikace logup* (Soukhanov) k implementaci Twist and Shout (Setty & Thaler). Výsledkem je, že můžeme mít argumenty pro kontrolu paměti s velmi nízkými náklady na závazky pomocí schémat závazků založených na hashi! ↓