Update Nonce and NullifierKey types (#98)

- Closes #96

Author: janmasrovira

BaseLayer/ResourceMachine.juvix

@@ -47,14 +47,6 @@ end;
 builtin anoma-nullifier-key
 type NullifierKey := privateMk ByteArray
 with
-  type Raw := mk AnomaAtom;
-
-  fromRaw : NullifierKey.Raw -> NullifierKey
-    | (Raw.mk n) := privateMk (fromAnomaContents size n);
-
-  toRaw : NullifierKey -> NullifierKey.Raw
-    | (NullifierKey.privateMk bs) := Raw.mk (toAnomaContents bs);
-
   size : Nat := 64;
 
   fromByteArray : ByteArray -> NullifierKey := privateMk;
@@ -210,15 +202,6 @@ end;
 --- NOTE: This should be a number having an at most negligible chance of repeating is sufficient, e.g., a pseudo-random number.
 type Nonce := privateMk ByteArray
 with
-  -- should be mk AnomaAtom
-  type Raw := mk AnomaAtom;
-
-  fromRaw : Nonce.Raw -> Nonce
-    | (Raw.mk n) := privateMk (fromAnomaContents size n);
-
-  toRaw : Nonce -> Nonce.Raw
-    | (Nonce.privateMk bs) := Raw.mk (toAnomaContents bs);
-
   instance
   Nonce-FixedSize : FixedSize Nonce := FixedSize.mk size;
 
@@ -289,7 +272,7 @@ type Resource :=
     value : AnomaAtom;
     quantity : Nat;
     ephemeral : Bool;
-    nonce : Nonce.Raw;
+    nonce : Nonce;
     nullifierKeyCommitment : AnomaAtom;
     --- Currently unused. It is safe to set it to 0
     unusedRandSeed : Nat;
@@ -460,7 +443,7 @@ end;
 
 type RootedNullifiableResource :=
   mk@{
-    key : NullifierKey.Raw;
+    key : NullifierKey;
     resource : Resource;
     root : CommitmentRoot;
   }
@@ -483,14 +466,14 @@ with
       RootedNullifiableResource.mk@{
         resource;
         root;
-        key := NullifierKey.toRaw NullifierKey.Transparent.mk;
+        key := NullifierKey.Transparent.mk;
       };
   end;
 end;
 
 type NullifiableResource :=
   mk@{
-    key : NullifierKey.Raw;
+    key : NullifierKey;
     resource : Resource;
   }
 with
@@ -504,7 +487,7 @@ with
     mk (resource : Resource) : NullifiableResource :=
       NullifiableResource.mk@{
         resource;
-        key := NullifierKey.toRaw NullifierKey.Transparent.mk;
+        key := NullifierKey.Transparent.mk;
       };
   end;
 end;

Package.juvix

@@ -8,12 +8,12 @@ package : Package :=
     version :=
       mkVersion@{
         major := 0;
-        minor := 10;
-        patch := 1;
+        minor := 11;
+        patch := 0;
       };
     dependencies :=
       [
-        github "anoma" "juvix-stdlib" "v0.11.0";
-        github "anoma" "juvix-mtl" "v0.3.0";
+        github "anoma" "juvix-stdlib" "v0.12.0";
+        github "anoma" "juvix-mtl" "v0.3.3";
       ];
   };

juvix.lock.yaml

@@ -2,20 +2,20 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 2404b847a6ab80e90e31ffa933a0abdd98d3b35458f523ec157a7c6d15ffa6f9
+checksum: 87f3f9705354faf72160b218cd9b4425174f4482ff9c413f1f34897b90ea52b5
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 24e656d9af73891d012c05e1c21d1f1beb80913b
+    ref: 24988693716daa8476806a812e71ce229983f5fa
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
 - git:
     name: anoma_juvix-mtl
-    ref: 3423b28a18df9393ecc19ac8dd359cf7c0dac41a
+    ref: d257e194a99b2dcf67b1a8610245c83117f3589a
     url: https://github.com/anoma/juvix-mtl
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 4e98315bc937536cbcd1c60178fd3d48e3a9d3c4
+      ref: 24988693716daa8476806a812e71ce229983f5fa
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []