A group-theoretic interface to random self-reducibility