Examples.ECairo.EProofRecord (Anoma v0.29.0)

Summary

Functions

a_compliance_proof()
a_compliance_proof_with_intents()
a_resource_logic(input_file, path \\ nil)

Functions

Link to this function

a_compliance_proof()

@spec a_compliance_proof() :: Anoma.CairoResource.ProofRecord.t()
Link to this function

a_compliance_proof_with_intents()

@spec a_compliance_proof_with_intents() :: Anoma.CairoResource.ProofRecord.t()
Link to this function

a_resource_logic(input_file, path \\ nil)

@spec a_resource_logic(binary(), list() | nil) :: Anoma.CairoResource.ProofRecord.t()