Gần đây, tôi đã thực hiện việc áp dụng logup* (Soukhanov) để triển khai Twist and Shout (Setty & Thaler). Kết quả là, chúng ta có thể có các lập luận kiểm tra bộ nhớ với chi phí cam kết rất rẻ bằng cách sử dụng các sơ đồ cam kết dựa trên băm! ↓