Anoma.CairoResource.LogicInstance (Anoma v0.34.0)

I represent the resource logic's instance.

Summary

Types

t()

Functions

decrypt(cipher, sk)

from_public_input(public_input)

get_app_data_pair(public_input)

get_root(public_input)

get_tag(public_input)

Types

t()

@type t() :: %Anoma.CairoResource.LogicInstance{
  app_data: [{<<_::256>>, <<_::256>>}],
  cipher: [<<_::256>>],
  is_consumed: <<_::256>>,
  root: <<_::256>>,
  tag: <<_::256>>
}

Functions

decrypt(cipher, sk)

@spec decrypt([binary()], binary()) :: {:ok, [binary()]} | {:error, term()}

from_public_input(public_input)

@spec from_public_input(binary()) :: t()

get_app_data_pair(public_input)

get_root(public_input)

@spec get_root(binary()) :: binary()

get_tag(public_input)

@spec get_tag(binary()) :: binary()