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