1pragma circom 2.0.0; 2 3include "../../circuits/eddsamimc.circom"; 4 5component main = EdDSAMiMCVerifier();