about_zkrepl.md

Open this in zkREPL →

This file can be included into other zkREPLs with include "gist:e5bf1d674a5458c1d950e79c5a140a69";

main.circom

pragma circom 2.1.4;

include "circomlib/bitify.circom";

template Example () {
    signal input a;

    component is_in_range = Num2Bits(8);

    is_in_range.in <== a;
}

component main { public [ a ] } = Example();

/* INPUT = {
    "a": "256"
} */