examples - 0.0.0

Anoma.System

Description

Functions that are or will be provided by the Anoma system.

Definitions

syntax alias PublicKey := NatSource#

syntax alias Signature := NatSource#

builtin anoma-get axiom anomaGet : {Value Key : Type} -> Key -> ValueSource#

Get a value by key from Anoma

axiom anomaVerify : Nat -> PublicKey -> BoolSource#

Verifies that data is signed by a public key

axiom anomaVerifyDetached : {A : Type} -> Signature -> A -> PublicKey -> BoolSource#

Verifies that a signature is valid against for some data and a public key

axiom anomaEncode : {A : Type} -> A -> NatSource#

Encode a value

axiom anomaDecode : {A : Type} -> Nat -> ASource#

Decode a value