Anoma.CairoResource.Resource (Anoma v0.29.0)

I am a shielded resource.

Summary

Types

t()

Functions

commitment(resource)

A commitment to the given resource.

from_json_object(mp)
get_nk_commitment(nk)

Generate the nullifier key commitment from the nulliffier key.

nullifier(resource, nk)

The nullifier of the given resource.

random(r)

Randomizes the rseed of a resource.

set_nonce(r, nonce)

Set the nonce of a resource, the nonce of output resource comes from the nullifer of input recource in the compliance proof.

to_bytes(resource)
to_json_object(resource)

Types

Link to this type

t()

@type t() :: %Anoma.CairoResource.Resource{
  data: <<_::256>>,
  eph: bool(),
  label: <<_::256>>,
  logic: <<_::256>>,
  nk_commitment: <<_::256>>,
  nonce: <<_::256>>,
  quantity: <<_::256>>,
  rseed: <<_::256>>
}

Functions

Link to this function

commitment(resource)

@spec commitment(t()) :: binary()

A commitment to the given resource.

Link to this function

from_json_object(mp)

@spec from_json_object(Jason.OrderedObject.t()) :: {:ok, t()} | {:error, term()}
Link to this function

get_nk_commitment(nk)

@spec get_nk_commitment(binary()) :: binary()

Generate the nullifier key commitment from the nulliffier key.

Link to this function

nullifier(resource, nk)

@spec nullifier(t(), binary()) :: binary()

The nullifier of the given resource.

Link to this function

random(r)

@spec random(t()) :: t()

Randomizes the rseed of a resource.

Link to this function

set_nonce(r, nonce)

@spec set_nonce(t(), binary()) :: t()

Set the nonce of a resource, the nonce of output resource comes from the nullifer of input recource in the compliance proof.

Link to this function

to_bytes(resource)

@spec to_bytes(t()) :: [byte()]
Link to this function

to_json_object(resource)

@spec to_json_object(t()) :: Jason.OrderedObject.t()