zero-check protocol

回路内のゲート・アイデンティティが合計でゼロになることを実際に証明・検証するのに便利

例えばa・b=cを表す以下の乗算ゲートのテーブルは(a・b)-c=0であることを検証するに等しい

table:mult

a b c

2 3 6

0 1 0

2 1 2

0 0 0

参考