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