Anoma.CairoResource.ProofRecord (Anoma v0.31.0)

I am a proof record for a shielded resource.

Summary

Types

t()

Functions

from_noun(arg1)

Callback implementation for Noun.Nounable.Kind.from_noun/1.

generate_cairo_proof(circuit, inputs)
generate_compliance_proof(compliance_private_inputs)
get_cairo_program_hash(proof_record)
verify(proof)

Types

Link to this type

t()

@type t() :: %Anoma.CairoResource.ProofRecord{
  proof: binary(),
  public_inputs: binary()
}

Functions

Link to this function

from_noun(arg1)

@spec from_noun(Noun.t()) :: {:ok, t()} | :error

Callback implementation for Noun.Nounable.Kind.from_noun/1.

Link to this function

generate_cairo_proof(circuit, inputs)

@spec generate_cairo_proof(binary(), binary()) :: {:ok, t()} | {:error, term()}
Link to this function

generate_compliance_proof(compliance_private_inputs)

@spec generate_compliance_proof(binary()) :: {:ok, t()} | {:error, term()}
Link to this function

get_cairo_program_hash(proof_record)

@spec get_cairo_program_hash(t()) :: binary()
Link to this function

verify(proof)

@spec verify(t()) :: boolean() | {:error, term()}