証明可能な取り出し