作为更大用例的单元测试,我正在检查我在前端所做的pedersen哈希是否与通过圆环电路完成的预期哈希对齐。我在电路中使用一个简单的断言,并生成一个见证,并将散列和未散列的值都输入到电路中,重新创建散列以确保它通过。我使用的电路:
include "..0x0e90d7d613ab8b5ea7f4f8bc537db6
作为更大用例的单元测试,我正在检查我在前端所做的pedersen哈希是否与通过圆环电路完成的预期哈希对齐。我在电路中使用一个简单的断言,并生成一个见证,并将散列和未散列的值都输入到电路中,重新创建散列以确保它通过。我使用的电路:
include "..0x0e90d7d613ab8b5ea7f4f8bc537db6
max_pass电路过滤32位的阵列,使得最大长度的位1的块保持在位置上,其他一切变为0。input [31:0] din ;电路没有记忆。输出会立即看到输入中的任何变化。00100111111001001011111100101101Two blocks of maximum length of 6</em