Examples.ECairo.EResourceLogic (Anoma v0.32.0)
Summary
Functions
Link to this function
a_input_resource_logic()
@spec a_input_resource_logic() :: Anoma.CairoResource.ProofRecord.t()
Link to this function
a_output_resource_logic()
@spec a_output_resource_logic() :: Anoma.CairoResource.ProofRecord.t()
Link to this function
a_resource_logic_invalid_input()
@spec a_resource_logic_invalid_input() :: {:error, term()}
Link to this function
a_resource_logic_invalid_proving_key()
@spec a_resource_logic_invalid_proving_key() :: {:error, term()}
Link to this function
an_input_intent_resource_logic()
@spec an_input_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()
Link to this function
an_output_intent_resource_logic()
@spec an_output_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()