Skip to content

For updates follow @anoma on and discuss on our forum

Anoma Specification v0.1.3

Ordered set

Initializing search

Anoma Specification

Home
Changelog
Protocol Architecture
Protocol Architecture
- System Architecture
  System Architecture
  - Identity Architecture
  - State Architecture
    State Architecture
    
    Resource Machine
    
    Resource Machine
    
    Primitive interfaces
    
    Primitive interfaces
    
    Set
    Set
    
    Set interface
    
    Ordered set Ordered set
    Table of contents
    
    Used in
    
    Map
    
    Fixed size type
    Fixed size type
    
    Interface
    
    Arithmetic
    
    Hash
    
    Delta hash
    
    Proving system
    
    Proving system
    
    Definitions
    
    Delta proving system
    
    Commitment accumulator
    
    Nullifier set
    
    Data structures
    
    Data structures
    
    Resource
    
    Resource
    
    Computable components
    Computable components
    
    Computable components
    
    Commitment
    
    Nullifier
    
    Kind
    
    Delta
    
    Compliance unit
    Compliance unit
    
    Compliance unit
    
    Compliance proof
    
    Action
    
    Action
    
    Resource logic proof
    
    Transaction
    Transaction
    
    Transaction
    
    Delta proof
    
    Transaction Function
    
    Transaction With Payment
    
    Execution flow
    
    Notes
    Notes
    
    Roles and requirements
    
    Stored data format
    
    Function formats
    Function formats
    
    Transaction function format
    
    Applications
- Node Architecture
  Node Architecture
  - Basic Types
    Basic Types
    
    Basics
    
    Cryptographic Primitives
    
    Identities
    
    Messages & Mailboxes
  - Engine Types
    
    Engine Types
    
    Engine
    Engine
    
    Engine
    
    Engine Configuration
    
    Engine Environment
    
    Engine Behaviour
    
    Anoma
    Anoma
    
    Anoma Message
    
    Anoma Configuration
    
    Anoma Environment
  - Hardware Component
    Hardware Component
    
    Local Key Value Storage Engine
    Local Key Value Storage Engine
    
    Local Key Value Storage Engine
    
    Local Key Value Storage Messages
    
    Local Key Value Storage Configuration
    
    Local Key Value Storage Environment
    
    Local Key Value Storage Behaviour
    
    Local Time Series Storage Engine
    Local Time Series Storage Engine
    
    Local Time Series Storage Engine
    
    Local Time Series Storage Messages
    
    Local Time Series Storage Configuration
    
    Local Time Series Storage Environment
    
    Local Time Series Storage Behaviour
    
    Logging Engine
    Logging Engine
    
    Logging Engine
    
    Logging Messages
    
    Logging Configuration
    
    Logging Environment
    
    Logging Behaviour
    
    Wall Clock Engine
    Wall Clock Engine
    
    Wall Clock Engine
    
    Wall Clock Messages
    
    Wall Clock Configuration
    
    Wall Clock Environment
    
    Wall Clock Behaviour
  - Identity Component
    Identity Component
    
    Identity Management Engine
    Identity Management Engine
    
    Identity Management Engine
    
    Identity Management Messages
    
    Identity Management Configuration
    
    Identity Management Environment
    
    Identity Management Behaviour
    
    Encryption Engine
    Encryption Engine
    
    Encryption Engine
    
    Encryption Messages
    
    Encryption Configuration
    
    Encryption Environment
    
    Encryption Behaviour
    
    Decryption Engine
    Decryption Engine
    
    Decryption Engine
    
    Decryption Messages
    
    Decryption Configuration
    
    Decryption Environment
    
    Decryption Behaviour
    
    Commitment Engine
    Commitment Engine
    
    Commitment Engine
    
    Commitment Messages
    
    Commitment Configuration
    
    Commitment Environment
    
    Commitment Behaviour
    
    Verification Engine
    Verification Engine
    
    Verification Engine
    
    Verification Messages
    
    Verification Configuration
    
    Verification Environment
    
    Verification Behaviour
    
    Reads For Engine
    Reads For Engine
    
    Reads For Engine
    
    Reads For Messages
    
    Reads For Configuration
    
    Reads For Environment
    
    Reads For Behaviour
    
    Signs For Engine
    Signs For Engine
    
    Signs For Engine
    
    Signs For Messages
    
    Signs For Configuration
    
    Signs For Environment
    
    Signs For Behaviour
    
    Naming Engine
    Naming Engine
    
    Naming Engine
    
    Naming Messages
    
    Naming Configuration
    
    Naming Environment
    
    Naming Behaviour
  - Network Subsystem
    
    Network Subsystem
    
    Router
    Router
    
    Router Engine
    
    Router Messages
    
    Router Configuration
    
    Router Environment
    
    Router Behaviour
    
    Node Proxy
    Node Proxy
    
    Node Proxy Engine
    
    Node Proxy Messages
    
    Node Proxy Configuration
    
    Node Proxy Environment
    
    Node Proxy Behaviour
    
    Transport Protocol
    Transport Protocol
    
    Transport Protocol Engine
    
    Transport Protocol Messages
    
    Transport Protocol Configuration
    
    Transport Protocol Environment
    
    Transport Protocol Behaviour
    
    Transport Connection
    Transport Connection
    
    Transport Connection Engine
    
    Transport Connection Messages
    
    Transport Connection Configuration
    
    Transport Connection Environment
    
    Transport Connection Behaviour
    
    Pub/Sub Topic
    Pub/Sub Topic
    
    Pub/Sub Topic Engine
    
    Pub/Sub Topic Messages
    
    Pub/Sub Topic Configuration
    
    Pub/Sub Topic Environment
    
    Pub/Sub Topic Behaviour
    
    Storage
    Storage
    
    Storage Engine
    
    Storage Messages
    
    Storage Configuration
    
    Storage Environment
    
    Storage Behaviour
  - Ordering Component
    Ordering Component
    
    Mempool engines
    Mempool engines
    
    Mempool Worker Engine
    Mempool Worker Engine
    
    Mempool Worker Engine
    
    Mempool Worker Messages
    
    Mempool Worker Environment
    
    Mempool Worker Behaviour
    
    Execution engines
    Execution engines
    
    None
    
    Shard
    Shard
    
    Shard Engine
    
    Shard Messages
    
    Shard Environment
    
    Shard Behaviour
    
    Executor
    Executor
    
    Executor Engine
    
    Executor Messages
    
    Executor Environment
    
    Executor Behaviour
Index of links
Juvix modules
Juvix modules
- Prelude
- Module Index
Tutorials for contributors
Tutorials for contributors
- Prepare working environment
- Use Git and GitHub
- Updating the changelog
- Versioning
- File naming conventions
- Write Markdown
- Headers and other Markdown formatting conventions
- Use Wiki style links
- Include images in Markdown
- Include code snippets
- Add Juvix code for specification
- Add pending tasks with Todos admonition
- Add literature references
- Add diffs for versioning
- Run pre commit checks
- Engines in Anoma
  Engines in Anoma
  - Engine writing conventions
  - Examples
    Examples
    
    Template Engine
    Template Engine
    
    Template Engine
    
    Template Messages
    
    Template Configuration
    
    Template Environment
    
    Template Behaviour
    
    Ticker Engine
    Ticker Engine
    
    Ticker Engine
    
    Ticker Messages
    
    Ticker Configuration
    
    Ticker Environment
    
    Ticker Behaviour

Ordered set¶

Ordered set is a set that preserves order

Used in¶

Action (commitments, nullifiers)
Compliance unit

Powered by Mkdocs, Material, andd Juvix v0.6.8 - Last updated: December 23, 2024 at 03:40 AM UTC - Site url: https://specs.anoma.net/v0.1.3/ - Version: v0.1.3

Anoma Official Resources: Website | Research | Blog | Talks
For Specification Authors: Quick links | Juvix modules | Guides | On engines in Anoma