add prove-delta

Author: lukaszcz

BaseLayer/ResourceMachine.juvix

@@ -586,6 +586,9 @@ with
 
   builtin anoma-transaction-compose
   axiom compose (tx1 tx2 : Transaction) : Transaction;
+
+  builtin anoma-prove-delta
+  axiom proveDelta : Transaction -> Transaction;
 end;
 
 deriving instance

juvix.lock.yaml

@@ -2,7 +2,7 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 802bf5058aee28e0866ffd5c024cbbe53ebba768cc2e75e77bc2da71de1ecca1
+checksum: fdae04b8525adca1be7ebefbdfd1c08a8e4e855df1059cfbcae37f731c88a1d1
 dependencies:
 - git:
     name: anoma_juvix-stdlib