Circom練習：3つの数の乗算

main_mul3.circom

pragma circom 2.1.6;

template Mul3numProof() {
    // declaration of signals
    signal input a;
    signal input b;
    signal input c;
    signal output result;

    // constraint
    tmp = a * b;
    result <== tmp * c; 
}

component main = Mul3numProof();

/* INPUT = {
    "a": 3,
    "b": 5,
    "c": 2
} */

zkrepl_mul3.md

Open this in zkREPL →

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