Description
Functions that are or will be provided by the Anoma system.
Definitions
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