fix: use generic proof record type

anoma · Oct 16, 2024 · edf4548 · edf4548
1 parent 474ba7f
commit edf4548
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Anoma/State/ResourceMachine.juvix b/Anoma/State/ResourceMachine.juvix
@@ -6,7 +6,7 @@ import Anoma.Transaction.Object as Transaction open using {Transaction; mkTransa
 import Anoma.State.CommitmentTree as CommitmentTree open using {Root};
 import Anoma.Transaction.Action as Action open using {Action};
 import Anoma.Delta as Delta open using {Delta};
-import Anoma.Proving.DeltaProof as DeltaProof;
+import Anoma.Proving.ProofRecord open using {ProofRecord};
 
 --- The resource machine interface.
 trait
@@ -16,7 +16,7 @@ type ResourceMachine :=
     create : (roots : Set CommitmentTree.Root)
       -> (actions : Set Action)
       -> (delta : Delta)
-      -> (deltaProof : DeltaProof.ProofRecord)
+      -> (deltaProof : ProofRecord)
       -> Transaction;
 
     --- Composes two ;Transaction;s with the transa

diff --git a/Anoma/Transaction/Object.juvix b/Anoma/Transaction/Object.juvix
@@ -6,7 +6,7 @@ import Anoma.Resource.Types as Resource;
 import Anoma.State.CommitmentTree as CommitmentTree;
 import Anoma.Transaction.Action open using {Action};
 import Anoma.Delta as Delta open using {Delta};
-import Anoma.Proving.DeltaProof as DeltaProof;
+import Anoma.Proving.ProofRecord open using {ProofRecord};
 import Anoma.Utils open;
 
 --- A record describing a transaction object, the entity constituting a state transition in Anoma.
@@ -16,7 +16,7 @@ type Transaction :=
     roots : Set CommitmentTree.Root;
     actions : Set Action;
     delta : Delta;
-    deltaProofRecord : DeltaProof.ProofRecord
+    deltaProofRecord : ProofRecord
   };
 
 --- Composes two ;Transaction; objects.