logos-storage/logos-storage-proofs-circuits
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs-circuits.git synced 2026-01-04 22:43:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

circuit: remove unused signal

Browse Source
This commit is contained in:
Mark Spanbroek 2024-02-13 10:39:36 +01:00
parent 6d4abb8215
commit 34cd599c38
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
circuit/sample_cells.circom
View File

@ -99,10 +99,8 @@ log("top root check = ", mtop.recRoot == dataSetRoot);
//
// then we prove the individual sampled cells
signal log2N;
component lg = Log2(maxDepth); // we allow at most 2^32 cells per slot
lg.inp <== nCellsPerSlot;
lg.out ==> log2N;
// NOTE: in general we need for the Merkle prover the binary decomposition
// of `nLeaves - 1`. But currently this is in fact a power of two, so we