1
 2include "compconstant.circom";
 3
 4
 5template AliasCheck() {
 6
 7    signal input in[254];
 8
 9    component  compConstant = CompConstant(-1);
10
11    for (var i=0; i<254; i++) in[i] ==> compConstant.in[i];
12
13    compConstant.out === 0;
14}