Jag gick nyligen igenom övningen att tillämpa logup* (Soukhanov) för att implementera Twist and Shout (Setty & Thaler). Som ett resultat kan vi ha minneskontrollargument med mycket billiga åtagandekostnader med hjälp av hash-baserade åtagandescheman! ↓

Jag vill lyfta fram det här diagrammet, som vi använder på @powdr_labs för att analysera zkVM-körningar och autoprecompiles: ⬇️