Updated for merge

reilabs · Feb 29, 2024 · 30434f5 · 30434f5
1 parent 80c7e68
commit 30434f5
Show file tree

Hide file tree

Showing 13 changed files with 698 additions and 1,513 deletions.
diff --git a/ProvenZk.lean b/ProvenZk.lean
@@ -2,10 +2,11 @@ import ProvenZk.Binary
 import ProvenZk.Gates
 import ProvenZk.Hash
 import ProvenZk.Merkle
+import ProvenZk.Ext.GetElem
 import ProvenZk.Ext.Vector
 import ProvenZk.Ext.Range
 import ProvenZk.Ext.Matrix
 import ProvenZk.Ext.List
 import ProvenZk.Ext.Fin
-import ProvenZk.Subvector
-import ProvenZk.Misc
+import ProvenZk.Lemmas
+import ProvenZk.UniqueAssignment