Ich habe kürzlich die Übung gemacht, logup* (Soukhanov) anzuwenden, um Twist and Shout (Setty & Thaler) zu implementieren. Infolgedessen können wir Gedächtnisprüfungsargumente mit sehr geringen Verpflichtungskosten unter Verwendung von hash-basierten Verpflichtungsschemata haben! ↓

Ich möchte dieses Diagramm hervorheben, das wir bei @powdr_labs verwenden, um zkVM-Ausführungen und Autoprecompiles zu analysieren: ⬇️