From 07b81bd244b182870b1d7249a04748a2d2c96237 Mon Sep 17 00:00:00 2001
From: Vladislav Volosnikov <Volosnikov.apmath@gmail.com>
Date: Tue, 13 Aug 2024 14:17:51 +0200
Subject: [PATCH] Update WitnessGenerationArtifact definition

---
 src/witness/oracle.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/witness/oracle.rs b/src/witness/oracle.rs
index 62d2fb56..914cdab8 100644
--- a/src/witness/oracle.rs
+++ b/src/witness/oracle.rs
@@ -1389,6 +1389,8 @@ fn process_memory_related_circuits<CB: FnMut(WitnessGenerationArtifact)>(
     )
 }
 
+pub type MemoryQueueWitness<F: SmallField> =
+    Vec<(MemoryQueryWitness<F>, [F; FULL_SPONGE_QUEUE_STATE_WIDTH])>;
 pub enum WitnessGenerationArtifact {
     BaseLayerCircuit(ZkSyncBaseLayerCircuit),
     RecursionQueue(
@@ -1398,8 +1400,8 @@ pub enum WitnessGenerationArtifact {
             Vec<ClosedFormInputCompactFormWitness<GoldilocksField>>,
         ),
     ),
-    SortedMemoryQueueWitness(Vec<(MemoryQueryWitness<GoldilocksField>, [GoldilocksField; 12])>),
-    UnsortedMemoryQueueWitness(Vec<(MemoryQueryWitness<GoldilocksField>, [GoldilocksField; 12])>),
+    SortedMemoryQueueWitness(MemoryQueueWitness<GoldilocksField>),
+    UnsortedMemoryQueueWitness(MemoryQueueWitness<GoldilocksField>),
 }
 
 /// Make basic circuits instances and witnesses,