1pragma circom 2.0.0;
2
3include "../../circuits/smt/smtverifier.circom";
4
5component main = SMTVerifier(10);