Fix Rustler binary deserialization.

Author: murisi

Cargo.lock

@@ -1,4 +1,4 @@
-defmodule AnomaSDK.Arm do
+defmodule Anoma.Arm do
   @moduledoc """
   I define a few functions to test the ARM repo NIF interface.
   """
@@ -7,15 +7,15 @@ defmodule AnomaSDK.Arm do
     otp_app: :anoma_sdk,
     crate: :arm_bindings
 
-  alias AnomaSDK.Arm.ComplianceInstance
-  alias AnomaSDK.Arm.ComplianceUnit
-  alias AnomaSDK.Arm.ComplianceWitness
-  alias AnomaSDK.Arm.DeltaProof
-  alias AnomaSDK.Arm.DeltaWitness
-  alias AnomaSDK.Arm.Keypair
-  alias AnomaSDK.Arm.LogicVerifier
-  alias AnomaSDK.Arm.LogicVerifierInputs
-  alias AnomaSDK.Arm.Transaction
+  alias Anoma.Arm.ComplianceInstance
+  alias Anoma.Arm.ComplianceUnit
+  alias Anoma.Arm.ComplianceWitness
+  alias Anoma.Arm.DeltaProof
+  alias Anoma.Arm.DeltaWitness
+  alias Anoma.Arm.Keypair
+  alias Anoma.Arm.LogicVerifier
+  alias Anoma.Arm.LogicVerifierInputs
+  alias Anoma.Arm.Transaction
 
   @doc """
   Generates a random private key (Scalar) and its corresponding public key (ProjectivePoint)

lib/arm/arm.ex

@@ -1,34 +1,27 @@
-defmodule AnomaSDK.Arm.Test do
+defmodule Anoma.Arm.Test do
   @moduledoc """
   I define a few functions to test the ARM repo NIF interface.
   """
 
-  mix_config = Mix.Project.config()
-  version = mix_config[:version]
-  github_url = mix_config[:package][:links]["GitHub"]
-
-  use RustlerPrecompiled,
+  use Rustler,
     otp_app: :anoma_sdk,
-    crate: :arm_bindings_test,
-    base_url: "#{github_url}/releases/download/v#{version}",
-    version: version,
-    force_build: System.get_env("BUILD_NATIVE") in ["1", "true"]
-
-  alias AnomaSDK.Arm.Action
-  alias AnomaSDK.Arm.AppData
-  alias AnomaSDK.Arm.Ciphertext
-  alias AnomaSDK.Arm.ComplianceInstance
-  alias AnomaSDK.Arm.ComplianceUnit
-  alias AnomaSDK.Arm.ComplianceWitness
-  alias AnomaSDK.Arm.DeltaProof
-  alias AnomaSDK.Arm.DeltaWitness
-  alias AnomaSDK.Arm.ExpirableBlob
-  alias AnomaSDK.Arm.LogicVerifier
-  alias AnomaSDK.Arm.LogicVerifierInputs
-  alias AnomaSDK.Arm.MerklePath
-  alias AnomaSDK.Arm.MerkleTree
-  alias AnomaSDK.Arm.Resource
-  alias AnomaSDK.Arm.Transaction
+    crate: :arm_bindings_test
+
+  alias Anoma.Arm.Action
+  alias Anoma.Arm.AppData
+  alias Anoma.Arm.Ciphertext
+  alias Anoma.Arm.ComplianceInstance
+  alias Anoma.Arm.ComplianceUnit
+  alias Anoma.Arm.ComplianceWitness
+  alias Anoma.Arm.DeltaProof
+  alias Anoma.Arm.DeltaWitness
+  alias Anoma.Arm.ExpirableBlob
+  alias Anoma.Arm.LogicVerifier
+  alias Anoma.Arm.LogicVerifierInputs
+  alias Anoma.Arm.MerklePath
+  alias Anoma.Arm.MerkleTree
+  alias Anoma.Arm.Resource
+  alias Anoma.Arm.Transaction
 
   # ----------------------------------------------------------------------------#
   #                                SecretKey                                    #

lib/arm/arm_test.ex

@@ -1,4 +1,4 @@
-defmodule AnomaSDK.Arm.Constants do
+defmodule Anoma.Arm.Constants do
   @moduledoc """
   I define a list of constants used in the Anoma resource machine.
   """

lib/arm/constants.ex

@@ -1,13 +1,13 @@
-defmodule AnomaSDK.Arm.Action do
+defmodule Anoma.Arm.Action do
   @moduledoc """
   I define the datastructure `Action` that defines the structure of an action
   for the resource machine.
   """
   use TypedStruct
 
-  alias AnomaSDK.Arm.Action
-  alias AnomaSDK.Arm.ComplianceUnit
-  alias AnomaSDK.Arm.LogicVerifierInputs
+  alias Anoma.Arm.Action
+  alias Anoma.Arm.ComplianceUnit
+  alias Anoma.Arm.LogicVerifierInputs
 
   typedstruct do
     @derive Jason.Encoder

lib/arm/datastructures/action.ex

@@ -1,12 +1,12 @@
-defmodule AnomaSDK.Arm.AppData do
+defmodule Anoma.Arm.AppData do
   @moduledoc """
   I define the datastructure `AppData` that defines the structure of an app data
   for the resource machine.
   """
   use TypedStruct
 
-  alias AnomaSDK.Arm.AppData
-  alias AnomaSDK.Arm.ExpirableBlob
+  alias Anoma.Arm.AppData
+  alias Anoma.Arm.ExpirableBlob
 
   typedstruct do
     @derive Jason.Encoder

lib/arm/datastructures/app_data.ex

@@ -1,4 +1,4 @@
-defmodule AnomaSDK.Arm.Ciphertext do
+defmodule Anoma.Arm.Ciphertext do
   @moduledoc """
   Defines the type for a Ciphertext, which is just a binary.
   """

lib/arm/datastructures/cipher_text.ex

@@ -1,11 +1,11 @@
-defmodule AnomaSDK.Arm.ComplianceInstance do
+defmodule Anoma.Arm.ComplianceInstance do
   @moduledoc """
   I define the datastructure `ComplianceInstance` that defines the structure of
   a compliance instance for the resource machine.
   """
   use TypedStruct
-  use AnomaSDK.Arm.Inspect
-  alias AnomaSDK.Arm.ComplianceInstance
+  use Anoma.Arm.Inspect
+  alias Anoma.Arm.ComplianceInstance
 
   typedstruct do
     field :consumed_nullifier, binary()
@@ -30,6 +30,6 @@ defmodule AnomaSDK.Arm.ComplianceInstance do
 
   @spec from_map(map) :: t()
   def from_map(map) do
-    struct(ComplianceInstance, AnomaSDK.Json.decode_keys(map))
+    struct(ComplianceInstance, Anoma.Json.decode_keys(map))
   end
 end

lib/arm/datastructures/compliance_instance.ex

@@ -1,18 +1,18 @@
-defmodule AnomaSDK.Arm.ComplianceUnit do
+defmodule Anoma.Arm.ComplianceUnit do
   @moduledoc """
   I define the datastructure `ComplianceUnit` that defines the structure of a compliance unit for the resource machine.
   """
   use TypedStruct
-  alias AnomaSDK.Arm
-  alias AnomaSDK.Arm.ComplianceInstance
-  alias AnomaSDK.Arm.ComplianceUnit
+  alias Anoma.Arm
+  alias Anoma.Arm.ComplianceInstance
+  alias Anoma.Arm.ComplianceUnit
 
   typedstruct do
     field :instance, binary()
     field :proof, binary()
   end
 
-  defimpl Jason.Encoder, for: AnomaSDK.Arm.ComplianceUnit do
+  defimpl Jason.Encoder, for: Anoma.Arm.ComplianceUnit do
     @spec encode(struct(), term()) :: term()
     def encode(struct, opts) do
       struct
@@ -25,7 +25,7 @@ defmodule AnomaSDK.Arm.ComplianceUnit do
 
   @spec from_map(map) :: t()
   def from_map(map) do
-    struct(ComplianceUnit, AnomaSDK.Json.decode_keys(map))
+    struct(ComplianceUnit, Anoma.Json.decode_keys(map))
   end
 
   @doc """

lib/arm/datastructures/compliance_unit.ex

@@ -1,15 +1,15 @@
-defmodule AnomaSDK.Arm.ComplianceWitness do
+defmodule Anoma.Arm.ComplianceWitness do
   @moduledoc """
   I define the datastructure `DeltaWitness` that defines the structure of a delta witness for the resource machine.
   """
   use TypedStruct
 
-  alias AnomaSDK.Arm.ComplianceWitness
-  alias AnomaSDK.Arm.MerklePath
-  alias AnomaSDK.Arm.NullifierKey
-  alias AnomaSDK.Arm.Resource
+  alias Anoma.Arm.ComplianceWitness
+  alias Anoma.Arm.MerklePath
+  alias Anoma.Arm.NullifierKey
+  alias Anoma.Arm.Resource
 
-  import AnomaSDK.Arm.Constants
+  import Anoma.Arm.Constants
 
   typedstruct do
     field(:consumed_resource, Resource.t())
@@ -20,12 +20,12 @@ defmodule AnomaSDK.Arm.ComplianceWitness do
     field(:rcv, binary())
   end
 
-  defimpl Jason.Encoder, for: AnomaSDK.Arm.ComplianceWitness do
+  defimpl Jason.Encoder, for: Anoma.Arm.ComplianceWitness do
     @spec encode(struct(), term()) :: term()
     @spec encode(struct(), term()) :: term()
     def encode(struct, opts) do
       struct
-      |> AnomaSDK.Json.encode_keys([:ephemeral_root, :nf_key, :rcv])
+      |> Anoma.Json.encode_keys([:ephemeral_root, :nf_key, :rcv])
       |> Map.update!(:merkle_path, &MerklePath.to_map/1)
       |> Jason.Encode.map(opts)
     end
@@ -36,7 +36,7 @@ defmodule AnomaSDK.Arm.ComplianceWitness do
     consumed_resource = Resource.from_map(map.consumed_resource)
     merkle_path = MerklePath.from_map(map.merkle_path)
     created_resource = Resource.from_map(map.created_resource)
-    map = AnomaSDK.Json.decode_keys(map, [:ephemeral_root, :nf_key, :rcv])
+    map = Anoma.Json.decode_keys(map, [:ephemeral_root, :nf_key, :rcv])
 
     struct(ComplianceWitness, %{
       map