Anoma.CairoResource.LogicInstance (Anoma v0.32.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

Link to this type

t()

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

Functions

Link to this function

decrypt(cipher, sk)

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

from_public_input(public_input)

@spec from_public_input(binary()) :: t()
Link to this function

get_app_data_pair(public_input)

Link to this function

get_root(public_input)

@spec get_root(binary()) :: binary()
Link to this function

get_tag(public_input)

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