Questions about zk-snark
Read more about zk-snark
python (65.2k questions)
javascript (44.3k questions)
reactjs (22.7k questions)
java (20.8k questions)
c# (17.4k questions)
html (16.3k questions)
r (13.7k questions)
android (13k questions)
How to run a loop with unknown number of iterations in Circom?
I have the following circuit in Circom cicuit compiler:
pragma circom 2.0.0;
template MAIN() {
signal len;
len <== 32;
for (k = 0; k < maplen; k++) {
// do something
...
Ilia Sidorenko
Votes: 0
Answers: 1
How to write a constraint that depends on a condition in Circom?
I have code of the following form in Circom circuit compiler
template DecodeUint(len) {
signal input x;
signal input pos;
signal output value;
signal output nextpos;
component get...
Ilia Sidorenko
Votes: 0
Answers: 1
How to use & (AND) operator in a signal in Circom
I'm trying to use & operator on a signal and get another signal in Circom circuit compiler language like so:
pragma circom 2.0.0;
template MAIN() {
signal input a;
signal output x;
...
Ilia Sidorenko
Votes: 0
Answers: 1
How to access array element with an "Unknown" index in Circom?
I have the following Circom (circuit compiler language) program:
pragma circom 2.0.0;
template MAIN() {
signal input array[2512];
signal output d;
signal v;
v <== 168;
d &l...
Ilia Sidorenko
Votes: 0
Answers: 1