入力の証明をどのように実現するのか