Zk 証明は次のようになります