J'ai récemment effectué l'exercice d'appliquer logup* (Soukhanov) pour mettre en œuvre Twist and Shout (Setty & Thaler). En conséquence, nous pouvons avoir des arguments de vérification de mémoire avec des coûts d'engagement très faibles en utilisant des schémas d'engagement basés sur des hachages ! ↓

Je veux mettre en avant ce graphique, que nous utilisons chez @powdr_labs pour analyser les exécutions zkVM et les autoprécompilations : ⬇️