Files
circomlib/doc/smt_verifier_sm.monopic