我最近進行了應用 logup* (Soukhanov) 的練習,以實現 Twist and Shout (Setty & Thaler)。因此,我們可以使用基於哈希的承諾方案,以非常低的承諾成本來進行記憶檢查論證! ↓