logos-co
/
nomos-pocs
mirror of https://github.com/logos-co/nomos-pocs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

moved hash circuit and circomlib properly. Changed the leadership circuit dependencies to reflect the different paths

This commit is contained in:
thomaslavaur 2024-07-26 08:02:54 +02:00
parent 9038e55101
commit 14c0580335
19 changed files with 21 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
circom_circuits/circomlib Submodule

@ -0,0 +1 @@
Subproject commit cff5ab6288b55ef23602221694a6a38a0239dcc0

0
proof_of_leadership/circom/anemoi/anemoi_16_to_1_Jubjub.circom → circom_circuits/hash/anemoi/anemoi_16_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/anemoi/anemoi_2_to_1_Jubjub.circom → circom_circuits/hash/anemoi/anemoi_2_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/anemoi/anemoi_4_to_1_Jubjub.circom → circom_circuits/hash/anemoi/anemoi_4_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/anemoi/anemoi_Jubjub_16_to_1_constants.circom → circom_circuits/hash/anemoi/anemoi_Jubjub_16_to_1_constants.circom
View File

0
proof_of_leadership/circom/anemoi/anemoi_Jubjub_2_to_1_constants.circom → circom_circuits/hash/anemoi/anemoi_Jubjub_2_to_1_constants.circom
View File

0
proof_of_leadership/circom/anemoi/anemoi_Jubjub_4_to_1_constants.circom → circom_circuits/hash/anemoi/anemoi_Jubjub_4_to_1_constants.circom
View File

0
proof_of_leadership/circom/anemoi/script_setup_prover.sh → circom_circuits/hash/anemoi/script_setup_prover.sh
View File

0
proof_of_leadership/circom/poseidon/poseidon_16_to_1_Jubjub.circom → circom_circuits/hash/poseidon/poseidon_16_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/poseidon/poseidon_2_to_1_Jubjub.circom → circom_circuits/hash/poseidon/poseidon_2_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/poseidon/poseidon_4_to_1_Jubjub.circom → circom_circuits/hash/poseidon/poseidon_4_to_1_Jubjub.circom
View File

0
proof_of_leadership/circom/poseidon/poseidon_Jubjub_16_to_1_constants.circom → circom_circuits/hash/poseidon/poseidon_Jubjub_16_to_1_constants.circom
View File

0
proof_of_leadership/circom/poseidon/poseidon_Jubjub_2_to_1_constants.circom → circom_circuits/hash/poseidon/poseidon_Jubjub_2_to_1_constants.circom
View File

0
proof_of_leadership/circom/poseidon/poseidon_Jubjub_4_to_1_constants.circom → circom_circuits/hash/poseidon/poseidon_Jubjub_4_to_1_constants.circom
View File

8
proof_of_leadership/circom/leadership_anemoi.circom
View File

@ -1,10 +1,10 @@
//test
pragma circom 2.1.9;
include "anemoi/anemoi_2_to_1_Jubjub.circom";
include "anemoi/anemoi_4_to_1_Jubjub.circom";
include "anemoi/anemoi_16_to_1_Jubjub.circom";
include "../../circomlib-master/circuits/bitify.circom";
include "../../circom_circuits/hash/anemoi/anemoi_2_to_1_Jubjub.circom";
include "../../circom_circuits/hash/anemoi/anemoi_4_to_1_Jubjub.circom";
include "../../circom_circuits/hash/anemoi/anemoi_16_to_1_Jubjub.circom";
include ".../../circom_circuits/circomlib/circuits/bitify.circom";
template BLSLessThan(n) {
assert(n <= 253);

10
proof_of_leadership/circom/leadership_anemoi_sha.circom
View File

@ -1,11 +1,11 @@
//test
pragma circom 2.1.9;
include "anemoi/anemoi_2_to_1_Jubjub.circom";
include "anemoi/anemoi_4_to_1_Jubjub.circom";
include "anemoi/anemoi_16_to_1_Jubjub.circom";
include "../../circomlib-master/circuits/bitify.circom";
include "../../circomlib-master/circuits/sha256/sha256.circom";
include "../../circom_circuits/hash/anemoi/anemoi_2_to_1_Jubjub.circom";
include "../../circom_circuits/hash/anemoi/anemoi_4_to_1_Jubjub.circom";
include "../../circom_circuits/hash/anemoi/anemoi_16_to_1_Jubjub.circom";
include "../../circom_circuits/circomlib/circuits/bitify.circom";
include "../../circom_circuits/circomlib/circuits/sha256/sha256.circom";
template BLSLessThan(n) {
assert(n <= 253);

8
proof_of_leadership/circom/leadership_poseidon.circom
View File

@ -1,10 +1,10 @@
//test
pragma circom 2.1.9;
include "poseidon/poseidon_2_to_1_Jubjub.circom";
include "poseidon/poseidon_4_to_1_Jubjub.circom";
include "poseidon/poseidon_16_to_1_Jubjub.circom";
include "../../circomlib-master/circuits/bitify.circom";
include "../../circom_circuits/hash/poseidon/poseidon_2_to_1_Jubjub.circom";
include "../../circom_circuits/hash/poseidon/poseidon_4_to_1_Jubjub.circom";
include "../../circom_circuits/hash/poseidon/poseidon_16_to_1_Jubjub.circom";
include "../../circom_circuits/circomlib/circuits/bitify.circom";
template BLSLessThan(n) {
assert(n <= 253);

10
proof_of_leadership/circom/leadership_poseidon_sha.circom
View File

@ -1,11 +1,11 @@
//test
pragma circom 2.1.9;
include "poseidon/poseidon_2_to_1_Jubjub.circom";
include "poseidon/poseidon_4_to_1_Jubjub.circom";
include "poseidon/poseidon_16_to_1_Jubjub.circom";
include "../../circomlib-master/circuits/bitify.circom";
include "../../circomlib-master/circuits/sha256/sha256.circom";
include "../../circom_circuits/hash/poseidon/poseidon_2_to_1_Jubjub.circom";
include "../../circom_circuits/hash/poseidon/poseidon_4_to_1_Jubjub.circom";
include "../../circom_circuits/hash/poseidon/poseidon_16_to_1_Jubjub.circom";
include "../../circom_circuits/circomlib/circuits/bitify.circom";
include ".../../circom_circuits/circomlib/circuits/sha256/sha256.circom";
template BLSLessThan(n) {
assert(n <= 253);

4
proof_of_leadership/circom/leadership_sha256.circom
View File

@ -1,8 +1,8 @@
//test
pragma circom 2.1.9;
include "../../circomlib-master/circuits/sha256/sha256.circom";
include "../../circomlib-master/circuits/bitify.circom";
include "../../circom_circuits/circomlib/circuits/sha256/sha256.circom";
include "../../circom_circuits/circomlib/circuits/bitify.circom";
template BLSLessThan(n) {
assert(n <= 253);