Anoma - Resource Machine Data Types

view source: Anoma.lagda.md

This module provides the main entry point for the Anoma Resource Machine components.

{-# OPTIONS --without-K --type-in-type #-}

module Goose.Anoma where

open import Goose.Anoma.ConsumedCreated public
open import Goose.Anoma.Crypto public
open import Goose.Anoma.Identities public
open import Goose.Anoma.NullifierKey public
open import Goose.Anoma.Nonce public
open import Goose.Anoma.Nullifier public
open import Goose.Anoma.Resource public
open import Goose.Anoma.Logic public
open import Goose.Anoma.Compliance public
open import Goose.Anoma.Delta public
open import Goose.Anoma.Action public
open import Goose.Anoma.Transaction public
open import Goose.Anoma.Program public

The Anoma Resource Machine provides the low-level foundation for the Goose system. It consists of:

• Goose.Anoma.ConsumedCreated: Resource consumption and creation tracking
• Goose.Anoma.Crypto: Cryptographic primitives
• Goose.Anoma.Identities: Network identities and capabilities
• Goose.Anoma.NullifierKey: Secret values for resource ownership
• Goose.Anoma.Nonce: Uniqueness guarantees
• Goose.Anoma.Nullifier: Public nullification values
• Goose.Anoma.Resource: Basic resource management and operations
• Goose.Anoma.Logic: Resource logic and constraints
• Goose.Anoma.Compliance: Zero-knowledge compliance proofs
• Goose.Anoma.Delta: Delta proofs for transactions
• Goose.Anoma.Action: Transaction actions
• Goose.Anoma.Transaction: Transaction creation and validation
• Goose.Anoma.Program: Anoma program execution

---

References to other modules

This page references the following modules:

• Goose.Anoma.Action
  • Symbols: Tag, DeletionCriterion, LogicVerifierInput, Action, DeleteImmediately, StoreForever, LogicVKOuterHash
• Goose.Anoma.Compliance
  • Symbols: ComplianceWitness, ComplianceInstance, ComplianceUnit, MerklePath, ComplianceProof, createComplianceUnit
• Goose.Anoma.ConsumedCreated
  • Symbols: Created, Consumed, ConsumedCreated, isCreated, isConsumed
• Goose.Anoma.Crypto
  • Symbols: PublicKey, PrivateKey, Signature, Digest, curve25519PubKey, curve25519PrivKey, ed25519Signature, Blake3Digest
• Goose.Anoma.Delta
  • Symbols: DeltaWitness, DeltaProof, fromComplianceWitnesses, compose, empty
• Goose.Anoma.Identities
  • Symbols: NodeId, ObjectId, IDParams, Backend, Capabilities, Ed25519, Secp256k1, BLS, localMemory, localConnection, remoteConnection, commit, commitAndDecrypt, Ciphertext, Plaintext, Signable, ExternalId, InternalId, Identity, Commitment, EngineName, ExternalIdentity, EngineId, isLocalEngineID, isRemoteEngineID
• Goose.Anoma.Logic
  • Symbols: LogicArgs, Logic, isConsumedArgs
• Goose.Anoma.Nonce
  • Symbols: Nonce, defaultNonce
• Goose.Anoma.Nullifier
  • Symbols: Nullifier, privateMk, toNonce
• Goose.Anoma.NullifierKey
  • Symbols: NullifierKey, NullifierKeyCommitment, NullifierKeyMatchesCommitment, universal, secret, ofSecret, checkNullifierKey, commitment
• Goose.Anoma.Program
  • Symbols: decrypt, StorageValue, ResourceQuery, ProgramError, Program, str, int, bool, bytes, queryByObjectId, networkError, engineError, decryptionError, commitmentError, identityError, storageError, typeError, userError, skip, raise, tryCatch, withRandomGen, queryResource, submitTransaction, requestCommitment, generateIdentity, connectIdentity, deleteIdentity, getValue, setValue, deleteValue, StorageKey, genObjectId
• Goose.Anoma.Resource
  • Symbols: LogicRef, Resource, CanNullifyResource, isEphemeral, isPersistent, nullifier
• Goose.Anoma.Transaction
  • Symbols: Set, Transaction, generateDeltaProof