logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-02-24 07:03:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix import path in PoQ.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2025-10-06 11:49:54 +02:00
parent 37668c401a
commit a23449f4d7
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
blend/poq.circom
View File

@ -5,7 +5,7 @@ include "../hash_bn/poseidon2_hash.circom";
include "../misc/constants.circom"; // defines NOMOS_KDF, SELECTION_RANDOMNESS, PROOF_NULLIFIER
include "../misc/comparator.circom";
include "../circomlib/circuits/bitify.circom";
include "../Mantle/pol_lib.circom"; // defines proof_of_leadership
include "../mantle/pol_lib.circom"; // defines proof_of_leadership
include "../ledger/notes.circom";
/**