testing circom zkrepl

about_zkrepl.md

Open this in zkREPL →

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

main.circom

pragma circom 2.0.3;

include "test.circom";
//include "https://github.com/0xPARC/circom-secp256k1/blob/master/circuits/bigint.circom";

template Example () {
    signal input a;
    signal input b;
    signal input c;
    component test = MyComp();
    test.a <== a;
    test.b <== b;
    test.c === c;
}

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

/* INPUT = {
    "a": "5",
    "b": "77",
    "c": "385"
} */

test.circom

pragma circom 2.0.3;

template MyComp() {
  signal input a;
  signal input b;
  signal output c;
  c <== a*b;
}