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

rename main template properly and remove useless file

This commit is contained in:
thomaslavaur 2024-07-19 13:04:37 +02:00
parent 068fec7b09
commit 88b955ec99
4 changed files with 6 additions and 1031 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1025
Proof of Leadership/anemoi/Anemoi 2-to-1.ipynb
View File

File diff suppressed because it is too large Load Diff

4
Proof of Leadership/leadership_anemoi_sha.circom
View File

@ -231,7 +231,7 @@ template membership_checker(){
} }
template anemoi_proof_of_leadership(){ template anemoi_sha_proof_of_leadership(){
signal input epoch_nonce; //F_p (BLS12-381 scalar field) signal input epoch_nonce; //F_p (BLS12-381 scalar field)
signal input slot_number; //F_p (BLS12-381 scalar field) signal input slot_number; //F_p (BLS12-381 scalar field)
signal input t0; // Precomputed threshold elements in F_p signal input t0; // Precomputed threshold elements in F_p
@ -314,4 +314,4 @@ template anemoi_proof_of_leadership(){
} }
component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = anemoi_proof_of_leadership(); component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = anemoi_sha_proof_of_leadership();

4
Proof of Leadership/leadership_poseidon.circom
View File

@ -215,7 +215,7 @@ template membership_checker(){
} }
template anemoi_proof_of_leadership(){ template poseidon_proof_of_leadership(){
signal input epoch_nonce; //F_p (BLS12-381 scalar field) signal input epoch_nonce; //F_p (BLS12-381 scalar field)
signal input slot_number; //F_p (BLS12-381 scalar field) signal input slot_number; //F_p (BLS12-381 scalar field)
signal input t0; // Precomputed threshold elements in F_p signal input t0; // Precomputed threshold elements in F_p
@ -298,4 +298,4 @@ template anemoi_proof_of_leadership(){
} }
component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = anemoi_proof_of_leadership(); component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = poseidon_proof_of_leadership();

4
Proof of Leadership/leadership_poseidon_sha.circom
View File

@ -232,7 +232,7 @@ template membership_checker(){
} }
template anemoi_proof_of_leadership(){ template poseidon_sha_proof_of_leadership(){
signal input epoch_nonce; //F_p (BLS12-381 scalar field) signal input epoch_nonce; //F_p (BLS12-381 scalar field)
signal input slot_number; //F_p (BLS12-381 scalar field) signal input slot_number; //F_p (BLS12-381 scalar field)
signal input t0; // Precomputed threshold elements in F_p signal input t0; // Precomputed threshold elements in F_p
@ -315,4 +315,4 @@ template anemoi_proof_of_leadership(){
} }
component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = anemoi_proof_of_leadership(); component main {public [epoch_nonce, slot_number, t0, t1, commitments_root]} = poseidon_sha_proof_of_leadership();