4 lines
84 B
Plaintext
4 lines
84 B
Plaintext
include "../../circuits/smt/smtverifier.circom";
|
|
|
|
component main = SMTVerifier(10);
|