Examples.ECairo.EResourceLogic (Anoma v0.34.0)

Summary

Functions

a_input_resource_logic()

@spec a_input_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

a_output_resource_logic()

@spec a_output_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

a_resource_logic_invalid_input()

@spec a_resource_logic_invalid_input() :: {:error, term()}

a_resource_logic_invalid_proving_key()

@spec a_resource_logic_invalid_proving_key() :: {:error, term()}

an_input_intent_resource_logic()

@spec an_input_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

an_output_intent_resource_logic()

@spec an_output_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()