Evm encoding

.github/workflows/tests.yaml

@@ -13,14 +13,21 @@ jobs:
     steps:
       - name: checkout code
         uses: actions/checkout@v3
+
       - name: Download the Juvix binary
         uses: jaxxstorm/action-install-gh-release@v1.10.0
         with:
           repo: anoma/juvix-nightly-builds
           cache: enable
+
       - name: Clean
-        run: juvix clean --global && juvix dependencies update 
+        run: juvix clean --global && juvix dependencies update
+
       - name: Type Check
         run: juvix typecheck
+
       - name: Format Check
         run: juvix format
+
+      - name: Run tests
+        run: cd Test && juvix eval Main.juvix

Anoma/Builtin/ByteArray.juvix

@@ -4,6 +4,7 @@ import Stdlib.Prelude open;
 import BaseLayer.AnomaAtom open;
 import Stdlib.Trait.Ord.Eq open using {fromOrdToEq};
 import Anoma.Data.Json open;
+import Mtl open;
 
 module ByteArray;
   builtin bytearray
@@ -12,6 +13,18 @@ module ByteArray;
   builtin bytearray-from-list-byte
   axiom mk : List Byte -> ByteArray;
 
+  fromList : List Byte -> ByteArray := mk;
+
+  empty : ByteArray := fromList [];
+
+  toList (b : ByteArray) : List Byte :=
+    let
+      go (acc : List Byte) (payload : Nat) : (len : Nat) -> List Byte
+        | zero := reverse acc
+        -- Note `fromNat` takes the modulo
+        | (suc ibyte) := go (fromNat payload :: acc) (div payload 256) ibyte;
+    in go [] (rawToAnomaContents b) (size b);
+
   zero (length : Nat) : ByteArray := mk (replicate length 0x0);
 
   --- The number of bytes in the ;ByteArray;
@@ -33,6 +46,12 @@ module ByteArray;
       contents := AnomaAtom.toNat contents;
     };
 
+  instance
+  ByteArray-Show : Show ByteArray :=
+    Show.mk@{
+      show : ByteArray -> String := toList >> Show.show;
+    };
+
   instance
   ByteArray-ToJson : ToJson ByteArray :=
     ToJson.mk@{