出金回路の実装

出金回路を実装をします。参考実装はここにあります。

演習: シグナルの定義とコンポーネントの作成

withdraw.circomを作成していきます。Withdrawテンプレートを作成して、シグナルを定義してください。また、テンプレートをインスタンス化してmainコンポーネントを作成してください。

与えたヌリファイアが正しいものかチェックする処理を追加してください。

与えたコミットメント、パス、ルートから正しいMiMC Merkleツリーを構成できるかチェックする処理を追加してください。

受信者、手数料、リレイヤーを偽造できないように回路の制約にこれらを盛り込む必要があります。その処理を追加してください。