picusVerifiedConfig.py

picusVerifiedList = [
    "AliasCheck@aliascheck@circomlib",
    "AND@gates@circomlib",
    "BabyCheck@babyjub@circomlib",
    "Bits2Num_strict@bitify@circomlib",
"Bits2Num@bitify@circomlib_1",
"Bits2Num@bitify@circomlib_128",
"Bits2Num@bitify@circomlib_16",
"Bits2Num@bitify@circomlib_253",
"Bits2Num@bitify@circomlib_254",
"Bits2Num@bitify@circomlib_256",
"Bits2Num@bitify@circomlib_32",
"Bits2Num@bitify@circomlib_64",
"Bits2Num@bitify@circomlib_8",
"ForceEqualIfEnabled@comparators@circomlib",
"Multiplexor2@escalarmulany@circomlib",
"Mux1@mux1@circomlib",
"Mux2@mux2@circomlib",
"Mux3@mux3@circomlib",
"Mux4@mux4@circomlib",
"NAND@gates@circomlib",
"NOR@gates@circomlib",
"NOT@gates@circomlib",
"Num2Bits@bitify@circomlib_1",
"OR@gates@circomlib",
"Sigma@poseidon_old@circomlib",
"Sigma@poseidon@circomlib",
"SMTHash1@smthash_mimc@circomlib",
"SMTHash1@smthash_poseidon@circomlib",
"SMTHash2@smthash_mimc@circomlib",
"SMTHash2@smthash_poseidon@circomlib",
"SMTProcessorSM@smtprocessorsm@circomlib",
"SMTVerifierSM@smtverifiersm@circomlib",
"Switcher@switcher@circomlib",
"XOR@gates@circomlib", # 34 circuits at around --timeout", "3000"], timeout=400
]