Skip to content
A
noma
S
pecification
v0.1.3
Title v2
Initializing search
anoma/nspec
Anoma Specification
anoma/nspec
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
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
Title v2
ΒΆ
This is the second version of the file.