Saya baru-baru ini menjalani latihan menerapkan logup* (Soukhanov) untuk mengimplementasikan Twist and Shout (Setty & Thaler). Akibatnya, kita dapat memiliki argumen pengecekan memori dengan biaya komitmen yang sangat murah menggunakan skema komitmen berbasis hash! ↓

Saya ingin menyoroti plot ini, yang kami gunakan pada @powdr_labs untuk menganalisis eksekusi zkVM dan prakompilasi otomatis: ⬇️