Skip to content

For updates follow @anoma on and discuss on our forum

You're not viewing the latest official version. Click here to go to latest.

Anoma Specification v0.1.1-66fc28223b

RISC0

Initializing search

Anoma Specification

Home
Changelog
Scope
Scope
- World model
- Protocol desiderata
Basic Abstractions
Basic Abstractions
- Preliminaries
  Preliminaries
  - Multiformats
- Encoding
  Encoding
- Proving
  Proving
- Cryptographic primitives
  Cryptographic primitives
  - Hash function
  - Accumulator
Protocol Architecture
Protocol Architecture
- System Architecture
  System Architecture
  - Basic Concepts
    
    Basic Concepts
  - Identity Architecture
  - Network Architecture
    
    Network Architecture
  - Service Architecture
    
    Service Architecture
  - State Architecture
    
    State Architecture
    
    Resource Machine
    
    Resource Machine
    
    Primitive interfaces
    
    Primitive interfaces
    
    Set
    
    List
    
    Map
    
    Fixed size type
    Fixed size type
    
    Fixed Size Type
    
    Arithmetic
    
    Hash
    
    Delta hash
    
    Proving system
    Proving system
    
    Proving system
    
    Delta proving system
    
    Commitment accumulator
    
    Nullifier set
    
    Data structures
    
    Data structures
    
    Resource
    Resource
    
    Resource
    
    Computable components
    Computable components
    
    Computable components
    
    Commitment
    
    Nullifier
    
    Kind
    
    Delta
    
    Tag
    
    Compliance unit
    
    Action
    Action
    
    Action
    
    Resource logic proofs
    
    Compliance proofs
    
    Transaction
    
    Execution flow
    
    Notes
    Notes
    
    Roles and requirements
    
    Stored data format
    
    Function formats
    Function formats
    
    Transaction function
    
    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 Abstraction Machine
    Hardware Abstraction Machine
    
    None
    
    Local Storage Engines
    Local Storage Engines
    
    None
    
    Local Key Value Storage Engine
    Local Key Value Storage Engine
    
    None
    
    Messages
    Messages
    
    GetValueKVStoreRequest
    
    GetValueKVStoreResponse
    
    SetValueKVStoreRequest
    
    SetValueKVStoreResponse
    
    DeleteValueKVStoreRequest
    
    DeleteValueKVStoreResponse
    
    ValueChangedKVStore
    
    Types
    Types
    
    GetValueKVStoreRequestV1
    
    GetValueKVStoreResponseV1
    
    SetValueKVStoreRequestV1
    
    SetValueKVStoreResponseV1
    
    DeleteValueKVStoreRequestV1
    
    DeleteValueKVStoreResponseV1
    
    StorageKeyV1
    
    StorageValueV1
    
    SuccessOperationV1
    
    Local Time Series Storage Engine
    Local Time Series Storage Engine
    
    None
    
    Messages
    Messages
    
    GetDataTimeSeriesDBRequest
    
    GetDataTimeSeriesDBResponse
    
    RecordDataTimeSeriesDBRequest
    
    RecordDataTimeSeriesDBResponse
    
    DeleteDataTimeSeriesDBRequest
    
    DeleteDataTimeSeriesDBResponse
    
    Notifications
    Notifications
    
    DataChangedTimeSeriesDB
    
    Types
    Types
    
    GetDataTimeSeriesDBRequestV1
    
    GetDataTimeSeriesDBResponseV1
    
    RecordDataTimeSeriesDBRequestV1
    
    RecordDataTimeSeriesDBResponseV1
    
    DeleteDataTimeSeriesDBRequestV1
    
    DeleteDataTimeSeriesDBResponseV1
    
    TimeSeriesDBDataV1
    
    TimeSeriesDBQueryV1
    
    Local Wall Clock Engine
    Local Wall Clock Engine
    
    None
    
    Messages
    Messages
    
    LocalWallClockGetTime
    
    LocalWallClockGetTimeResult
    
    Types
    Types
    
    LocalWallClockGetTimeV1
    
    LocalWallClockGetTimeResultV1
    
    EpochTimestampV1
    
    Local Logging Engine
    Local Logging Engine
    
    None
    
    Messages
    Messages
    
    LocalLoggingAppend
    
    Notifications
    
    Types
    Types
    
    LocalLoggingAppendV1
    
    AppendValueV1
    
    Identity Machine
    Identity Machine
    
    Identity Management Engine
    Identity Management Engine
    
    Identity Management Engine
    
    Identity Management Engine Messages
    
    Identity Management Engine Environment
    
    Identity Management Engine Behaviour
    
    Encryption Engine
    Encryption Engine
    
    Encryption Engine
    
    Encryption Engine Messages
    
    Encryption Engine Environment
    
    Encryption Engine Behaviour
    
    Decryption Engine
    Decryption Engine
    
    Decryption Engine
    
    Decryption Engine Messages
    
    Decryption Engine Environment
    
    Decryption Engine Behaviour
    
    Commitment Engine
    Commitment Engine
    
    Commitment Engine
    
    Commitment Messages
    
    Commitment Environment
    
    Commitment Behaviour
    
    Verification Engine
    Verification Engine
    
    Verification Engine
    
    Verification Engine Messages
    
    Verification Engine Environment
    
    Verification Engine Behaviour
    
    Reads For Engine
    Reads For Engine
    
    Reads For Engine
    
    Reads For Engine Messages
    
    Reads For Engine Environment
    
    Reads For Engine Behaviour
    
    Signs For Engine
    Signs For Engine
    
    Signs For Engine
    
    Signs For Engine Messages
    
    Signs For Engine Environment
    
    Signs For Engine Behaviour
    
    Naming Engine
    Naming Engine
    
    Naming Engine
    
    Naming Engine Messages
    
    Naming Engine Environment
    
    Naming Engine Behaviour
    
    Networking Machine
    
    Networking Machine
    
    Intra node & inter node protocols
    
    Intra node & inter node protocols
    
    Router
    
    Router
    
    Messages
    Messages
    
    EngineMessage
    
    RelayMessage
    
    P2PMessage
    
    TopicCreateRequest
    
    TopicCreateRequest
    
    TopicDeleteRequest
    
    TopicDeleteRequest
    
    TopicSubRequest
    
    TopicSubRequest
    
    TopicUnsubRequest
    
    TopicUnsubRequest
    
    StartAdvertRequest
    
    StartAdvertRequest
    
    StopAdvertRequest
    
    StopAdvertRequest
    
    Types
    Types
    
    RoutingTable
    
    RoutingTableEntry
    
    RoutingTableDest
    
    RoutingTableTopic
    
    RoutingTableDomain
    
    RoutingPrefs
    
    RoutingScope
    
    DestinationIdentity
    
    EngineIdentity
    
    NodeIdentity
    
    TopicIdentity
    
    DomainIdentity
    
    NodeAdvert
    
    NodeAdvert
    
    EngineAdvert
    
    EngineAdvert
    
    EngineMessageV1
    
    P2PMessageV1
    
    RelayMessageV1
    
    TopicCreateRequestV1
    
    TopicCreateResponseV1
    
    TopicDeleteRequestV1
    
    TopicDeleteResponseV1
    
    TopicSubRequestV1
    
    TopicSubResponseV1
    
    TopicUnsubRequestV1
    
    TopicUnsubResponseV1
    
    TopicSubRequestV1
    
    Transport
    
    Transport
    
    Messages
    Messages
    
    P2PMessage to Transport
    
    TransportMessage
    
    ConnectRequest
    
    ConnectRequest
    
    DisconnectRequest
    
    DisconnectRequest
    
    ConnectedNodesRequest
    
    Notifications
    Notifications
    
    NodeConnected
    
    NodeConnectFailed
    
    NodeDisconnected
    
    Types
    Types
    
    TransportAddress
    
    ConnectionPrefs
    
    TransportPrefs
    
    OrderingPrefs
    
    ReliabilityPrefs
    
    SecurityPrefs
    
    NodeTransportAddress
    
    TransportMessageV1
    
    ConnectRequestV1
    
    ConnectResponseV1
    
    DisconnectRequestV1
    
    DisconnectResponseV1
    
    ConnectedNodesResponseV1
    
    Network Identity Store
    
    Network Identity Store
    
    Messages
    Messages
    
    LookupIdentityRequest
    
    LookupIdentityRequest
    
    UpdateIdentityRequest
    
    UpdateIdentityRequest
    
    Notifications
    
    Notifications
    
    IdentityUpdated
    
    Types
    Types
    
    IdentityStore
    
    IdentityRecord
    
    EngineIdentityRecord
    
    NodeIdentityRecord
    
    DomainIdentityRecord
    
    TopicIdentityRecord
    
    TrustValue
    
    ReputationValue
    
    LookupIdentityRequestV1
    
    LookupIdentityResponseV1
    
    UpdateIdentityRequestV1
    
    UpdateIdentityResponseV1
    
    IdentityUpdatedV1
    
    Intra domain protocols
    
    Intra domain protocols
    
    PubSub
    
    PubSub
    
    Messages
    Messages
    
    TopicAdvert
    
    Event
    
    EngineMessage to PubSub
    
    SubscribeRequest
    
    UnsubscribeRequest
    
    Subscribe
    
    SubscribeAck
    
    Unsubscribe
    
    UnsubscribeAck
    
    Notifications
    
    Notifications
    
    TopicSubscribed
    
    TopicUnsubscribed
    
    TopicAdvertReceived
    
    Types
    Types
    
    PubSubRoutingTable
    
    PubSubRoutingTableEntry
    
    TopicAdvertV1
    
    EventV1
    
    TopicRequestV1
    
    TopicRequestV1
    
    Storage
    
    Storage
    
    Messages
    Messages
    
    BlockLookupRequest
    
    BlockResult
    
    BlockGetRequest
    
    BlockPutRequest
    
    BlockPutResponse
    
    BlockSearchTopic
    
    BlockSearchRandom
    
    Types
    Types
    
    StoragePrefs
    
    Ordering Machine
    
    Ordering Machine
    
    Common types
    
    Common types
    
    KVSDatum
    
    KVSKey
    
    ExecutionSummary
    
    TxData
    
    TransactionCandidate
    
    TransactionExecutable
    
    TxFingerprint
    
    TransactionAck
    
    TransactionLabel
    
    ReadLabel
    
    WriteLabel
    
    WorkerHash
    
    Mempool engines
    
    Mempool engines
    
    Execution Supervisor
    
    Execution Supervisor
    
    SpawnExecutor
    
    Worker Engine
    
    Worker Engine
    
    ExecutorFinished
    
    ExecutorPIDAssigned
    
    KVSLockAcquired
    
    TransactionRequest
    
    RequestLogs
    
    Consensus Engine
    Consensus Engine
    
    Consensus Engine
    
    Execution engines
    
    Execution engines
    
    Shard
    
    Shard
    
    KVSAcquireLock
    
    KVSReadRequest
    
    KVSWrite
    
    UpdateSeenAll
    
    Executor
    
    Executor
    
    ExecuteTransaction
    
    KVSRead
Application Architecture
Application Architecture
- Definitions
  Definitions
- Techniques
  Techniques
  - Dynamic code loading
  - Schelling tests
- Primitives
  Primitives
- System applications
  System applications
  - Proof of stake
- Archetypal applications
  Archetypal applications
  - Kudos
Implementation
Implementation
- Data encoding
- Resource machine backends
  Resource machine backends
Quick links
Juvix modules
Juvix modules
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

RISC0¶

2024-06-14 2024-03-24

Was this page helpful?

Thanks for your feedback!

Thanks for your feedback! We'll try to improve this page in the future.

Powered by Mkdocs, Material 9.5.46-insiders-4.53.14 and Juvix v0.6.8 - Last updated: December 05, 2024 at 10:01 AM UTC

Anoma Official Website
Anoma Research Topics (ART)
Anoma Blog
Anoma Talks

Extra resources for Anoma Specification collaborators

Quick links
Juvix modules
Markdown tutorials for writing Anoma Specification
On engines in Anoma