在ETH Global Paris的黑客马拉松期间,我们尝试将circom电路与哈希算法结合起来,以证明用户知道如何根据一个众所周知的中等教程来计算生日日期。以下是代码示例。
pragma circom 2.0.0;
include "./circomlib/circuits/sha256/sha256.circom";
template Birthday(){
component SHA = Sha256(6);
signal input date[6];
SHA.in <== date;
signal output date_out[256];
date_out <== SHA.out;
}
component main { public [ date ] } = Birthday();
/* INPUT = {
"date": [10, 3, 0, 3, 0, 1]
} */
错误,错误信息:断言失败。
模板 BinSum_17 第100行出错。
模板 SigmaPlus_18 第44行出错。
模板 Sha256compression_97 第83行出错。
模板 Sha256_98 第73行出错。
模板 Birthday_99 第7行出错。