circom SMTのハッシュ関数をPedersenに変えてみる

circomによるSMTの実装ではPoseidonとMiMCが併用されていることがわかった。

異なるハッシュ関数を使うことで、衝突耐性を高めるためと思われる。