Anoma.CairoResource.Workflow (Anoma v0.34.0)

I am a bunch of workflow functions for creating a shielded transaction.

Summary

Functions

create_action(commitments, nullifiers, input_logic_proofs, output_logic_proofs, compliance_units)

create_compliance_inputs(compliance_pre_inputs, input_resources, output_resources)

create_merkle_tree_paths(input_nullifiers, output_commitments)

create_private_keys(compliance_units)

generate_compliance_proofs(compliance_witness)

generate_resource_logic_proofs(resource_logics, resource_logic_witnesses)

get_input_resources(jsons, resource_logics, input_nf_keys)

get_output_resources(jsons, resource_logics, input_nullifiers)

hash_resource_logic(resource_logic_bin)

update_witnesses(witnesses, resources, is_consumed_flags, nf_keys, merkle_paths)

Functions

create_action(commitments, nullifiers, input_logic_proofs, output_logic_proofs, compliance_units)

@spec create_action(
  [<<_::256>>],
  [<<_::256>>],
  [Anoma.CairoResource.ProofRecord.t()],
  [Anoma.CairoResource.ProofRecord.t()],
  [Anoma.CairoResource.ProofRecord.t()]
) :: Anoma.CairoResource.Action.t()

create_compliance_inputs(compliance_pre_inputs, input_resources, output_resources)

@spec create_compliance_inputs(
  [Jason.OrderedObject.t()],
  [Anoma.CairoResource.Resource.t()],
  [
    Anoma.CairoResource.Resource.t()
  ]
) :: {:ok, [String.t()]} | {:error, term()}

create_merkle_tree_paths(input_nullifiers, output_commitments)

@spec create_merkle_tree_paths([binary()], [binary()]) ::
  {:ok, [[Jason.OrderedObject.t()]], [[Jason.OrderedObject.t()]]}
  | {:error, term()}

create_private_keys(compliance_units)

@spec create_private_keys([Jason.OrderedObject.t()]) ::
  {:ok, binary()} | {:error, term()}

generate_compliance_proofs(compliance_witness)

@spec generate_compliance_proofs([String.t()]) ::
  {:ok, [Anoma.CairoResource.ProofRecord.t()]} | {:error, term()}

generate_resource_logic_proofs(resource_logics, resource_logic_witnesses)

@spec generate_resource_logic_proofs([binary()], [binary()]) ::
  {:ok, [Anoma.CairoResource.ProofRecord.t()]} | {:error, term()}

get_input_resources(jsons, resource_logics, input_nf_keys)

@spec get_input_resources([Jason.OrderedObject.t()], [binary()], [binary()]) ::
  {:ok, [Anoma.CairoResource.Resource.t()]} | {:error, term()}

get_output_resources(jsons, resource_logics, input_nullifiers)

@spec get_output_resources([Jason.OrderedObject.t()], [binary()], [binary()]) ::
  {:ok, [Anoma.CairoResource.Resource.t()]} | {:error, term()}

hash_resource_logic(resource_logic_bin)

@spec hash_resource_logic(binary()) :: {:ok, binary()} | {:error, term()}

update_witnesses(witnesses, resources, is_consumed_flags, nf_keys, merkle_paths)

@spec update_witnesses(
  [Jason.OrderedObject.t()],
  [Anoma.CairoResource.Resource.t()],
  [boolean()],
  [binary()],
  [[Jason.OrderedObject.t()]]
) :: {:ok, [binary()]} | {:error, term()}