剩余哈希引理