私は最近、Twist and Shout (Setty & Thaler) を実装するために logup* (Soukhanov) を適用する演習を行いました。その結果、ハッシュベースのコミットメントスキームを使用して、非常に安価なコミットメントコストでメモリチェック引数を行うことができます。↓