作为针对更大用例的单元测试,我正在检查我在前端所做的 pedersen hash 是否与通过 circom 电路完成的预期 hash 对齐。 我在电路中使用一个简单的断言并生成一个见证,并将散列值和未散列值提供给电路,重新创建 hash 以确保它通过。 我正在使用 circomlibjs 在我的前 ...
作为针对更大用例的单元测试,我正在检查我在前端所做的 pedersen hash 是否与通过 circom 电路完成的预期 hash 对齐。 我在电路中使用一个简单的断言并生成一个见证,并将散列值和未散列值提供给电路,重新创建 hash 以确保它通过。 我正在使用 circomlibjs 在我的前 ...
我正在玩 circom 和 circomlib。 我正在使用一个简单的 mimsponge 散列电路,看看我是否可以通过 javascript 前端创建正确的输入。 我正在运行的电路 在我的 javascript 前端我正在导入 circomlib 然后我创建一个 input.json,如下所示: ...
我正在尝试实现一个 LessThan 模板,如果 y 小于 x 并且 0 是 x 大于 y,则输出 1。 下面是来自 circom 库的示例代码,我试图了解下面这段代码的内容。 我不知道发生了什么: 它涉及一些按位运算。 ...
■ 问题信息队列 3-Week1-Part2-4-1 1.如果只是将snarkjs groth16 setup更改为snarkjs plonk setup会遇到错误。 解决此错误并回答以下问题 - 使用 PLONK 编译的过程与使用 Groth16 编译的过程有何不同? ■ 我的档案 htt ...
我正在尝试编写一个电路来证明一个数字在指定范围内。 我正在使用 circomlib 库: https://github.com/iden3/circomlib/tree/master/circuits comparators.circuit 文件。 到目前为止,我的代码是这样的: 所以我想在 tru ...
我想创建一个电路来测量 Circom 中字符串的长度。 只有数字数据类型,我该怎么做? ...
我在Circom cicuit 编译器中有以下电路: 我收到一个错误: 我如何以一种可以迭代len次的方式编写此循环,其中len是一个信号? ...