From fdac0d70274a1c3cfb0c7c8994153ec6a81d528c Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Wed, 4 May 2022 13:41:02 +0400
Subject: [PATCH] Add MCL_BLS12_381 types to from_fate_builtin

---
 src/aeso_vm_decode.erl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/aeso_vm_decode.erl b/src/aeso_vm_decode.erl
index 54cf299..0a293dd 100644
--- a/src/aeso_vm_decode.erl
+++ b/src/aeso_vm_decode.erl
@@ -136,6 +136,8 @@ from_fate_builtin(QType, Val) ->
     Str = {id, [], "string"},
     Adr = {id, [], "address"},
     Hsh = {bytes_t, [], 32},
+    I32 = {bytes_t, [], 32},
+    I48 = {bytes_t, [], 48},
     Qid = fun(Name) -> {qid, [], Name} end,
     Map = fun(KT, VT) -> {app_t, [], {id, [], "map"}, [KT, VT]} end,
     ChainTxArities = [3, 0, 0, 0, 0, 0, 1, 1, 1, 2, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 2, 0],
@@ -208,6 +210,11 @@ from_fate_builtin(QType, Val) ->
         {["Chain", "base_tx"], {variant, ChainTxArities, 21, {}}} ->
             App(["Chain","GAAttachTx"], []);
 
+        {["MCL_BLS12_381", "fp"], X} ->
+            App(["MCL_BLS12_381", "fp"], [Chk(I32, X)]);
+        {["MCL_BLS12_381", "fr"], X} ->
+            App(["MCL_BLS12_381", "fr"], [Chk(I48, X)]);
+
         _ ->
             throw(cannot_translate_to_sophia)
     end.