Examples.ECairo.EProofRecord (Anoma v0.34.0)

Summary

Functions

a_compliance_proof()

a_compliance_proof_with_intents()

a_resource_logic(input_file, path \\ nil)

Functions

a_compliance_proof()

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

a_compliance_proof_with_intents()

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

a_resource_logic(input_file, path \\ nil)

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