1include "../../circuit/montgomery.circom";
2
3component main = MontgomeryDouble();