fix bug in static memory address

privacy-scaling-explorations · Nov 22, 2023 · 6bc999d · 6bc999d
1 parent 7b7d469
commit 6bc999d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/codegen.rs b/src/codegen.rs
@@ -301,7 +301,11 @@ impl<'a> SolidityGenerator<'a> {
             Gwc19 => unimplemented!(),
         };
 
+        let hash_instance = self.meta.num_advices()[0] * 2 + self.num_instances + 1;
+
         itertools::max(chain![
+            // Hashing instance and witness commitments
+            [hash_instance],
             // Hashing advice commitments
             chain![self.meta.num_advices().into_iter()].map(|n| n * 2 + 1),
             // Hashing evaluations