From 34cd599c38cf3ad1374da6c7d454e2928a04d2ee Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Tue, 13 Feb 2024 10:39:36 +0100 Subject: [PATCH] circuit: remove unused signal --- circuit/sample_cells.circom | 2 -- 1 file changed, 2 deletions(-) diff --git a/circuit/sample_cells.circom b/circuit/sample_cells.circom index 9d6c6e7..fbaa6f4 100644 --- a/circuit/sample_cells.circom +++ b/circuit/sample_cells.circom @@ -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