logos-co/nomos-pocs
1
0
Fork 0
mirror of https://github.com/logos-co/nomos-pocs.git synced 2025-01-11 09:56:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix membership checker with correct indexes

Browse Source
This commit is contained in:
thomaslavaur 2024-07-24 08:13:34 +02:00
parent ca2ff45255
commit cbb0359ad9
4 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
proof_of_leadership/leadership_anemoi.circom
View File

@ -207,8 +207,8 @@ template membership_checker(){
hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf); hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf);
for(var i=1; i<32; i++){ for(var i=1; i<32; i++){
hash[i].in[0] <== hash[i-1].out - index[31] * (hash[i-1].out - node[i]); hash[i].in[0] <== hash[i-1].out - index[31-i] * (hash[i-1].out - node[i]);
hash[i].in[1] <== node[i] - index[31] * (node[i] - hash[i-1].out); hash[i].in[1] <== node[i] - index[31-i] * (node[i] - hash[i-1].out);
} }
root === hash[31].out; root === hash[31].out;

4
proof_of_leadership/leadership_anemoi_sha.circom
View File

@ -223,8 +223,8 @@ template membership_checker(){
hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf); hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf);
for(var i=1; i<32; i++){ for(var i=1; i<32; i++){
hash[i].in[0] <== hash[i-1].out - index[31] * (hash[i-1].out - node[i]); hash[i].in[0] <== hash[i-1].out - index[31-i] * (hash[i-1].out - node[i]);
hash[i].in[1] <== node[i] - index[31] * (node[i] - hash[i-1].out); hash[i].in[1] <== node[i] - index[31-i] * (node[i] - hash[i-1].out);
} }
root === hash[31].out; root === hash[31].out;

4
proof_of_leadership/leadership_poseidon.circom
View File

@ -207,8 +207,8 @@ template membership_checker(){
hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf); hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf);
for(var i=1; i<32; i++){ for(var i=1; i<32; i++){
hash[i].in[0] <== hash[i-1].out - index[31] * (hash[i-1].out - node[i]); hash[i].in[0] <== hash[i-1].out - index[31-i] * (hash[i-1].out - node[i]);
hash[i].in[1] <== node[i] - index[31] * (node[i] - hash[i-1].out); hash[i].in[1] <== node[i] - index[31-i] * (node[i] - hash[i-1].out);
} }
root === hash[31].out; root === hash[31].out;

4
proof_of_leadership/leadership_poseidon_sha.circom
View File

@ -224,8 +224,8 @@ template membership_checker(){
hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf); hash[0].in[1] <== node[0] - index[31] * (node[0] - leaf);
for(var i=1; i<32; i++){ for(var i=1; i<32; i++){
hash[i].in[0] <== hash[i-1].out - index[31] * (hash[i-1].out - node[i]); hash[i].in[0] <== hash[i-1].out - index[31-i] * (hash[i-1].out - node[i]);
hash[i].in[1] <== node[i] - index[31] * (node[i] - hash[i-1].out); hash[i].in[1] <== node[i] - index[31-i] * (node[i] - hash[i-1].out);
} }
//root === hash[31].out; //root === hash[31].out;