Quick Links¶ A¶ Accumulator Action Add Juvix code for specification Add diffs for versioning Add literature references Add pending tasks with Todos admonition Anoma Configuration Anoma Environment Anoma Message Anoma Specification AppendValueV1 Application Architecture Applications Archetypal Applications Archetypal applications Assumption Attestation Authorization Availability Certificate AvailabilityCommitment B¶ Basic Abstractions Basic Concepts Basic Types Bibliography BlockGetRequest BlockLookupRequest BlockPutRequest BlockPutResponse BlockResponse BlockResult BlockSearchRandom BlockSearchTopic C¶ Cairo Cairo Backend Change Log Changelog Clustering ClusteringView Commitment Commitment Behaviour Commitment Engine Commitment Environment Commitment Messages Common types ConnectRequest ConnectRequestV1 ConnectResponse ConnectResponseV1 ConnectedNodesRequest ConnectedNodesResponseV1 ConnectionPrefs Consensus (Old) Consensus Engine Consensus V1 Counter Cryptographic Primitives Cryptographic primitives D¶ Data encoding Data type DataChangedTimeSeriesDB Decryption Engine Decryption Engine Behaviour Decryption Engine Environment Decryption Engine Messages Definition Definitions DeleteDataTimeSeriesDBRequest DeleteDataTimeSeriesDBRequestV1 DeleteDataTimeSeriesDBResponse DeleteDataTimeSeriesDBResponseV1 DeleteValueKVStoreRequest DeleteValueKVStoreRequestV1 DeleteValueKVStoreResponse DeleteValueKVStoreResponseV1 Delta DestinationIdentity DisconnectRequest DisconnectRequestV1 DisconnectResponse DisconnectResponseV1 Domain Domain Routing DomainAdvert DomainAdvertV1 DomainID DomainIdentity DomainIdentityRecord DomainRequest DomainResponse Dumper Engine Dynamic code loading E¶ Encoding Encoding scheme Encryption Engine Encryption Engine Behaviour Encryption Engine Environment Encryption Engine Messages Engine Engine Behaviour Engine Configuration Engine Environment Engine Models Engine Templates Engine Types Engine Writing Conventions Engine writing conventions EngineAdvert EngineAdvertV1 EngineIdentity EngineIdentityRecord EngineMessage EngineMessage to PubSub EngineMessageV1 Engines Engines in Anoma EpochTimestampV1 Event EventV1 Everything ExecuteTransaction Execution Execution Supervisor Execution engines ExecutionSummary Executor Executor / Executor Process ExecutorFinished ExecutorPIDAssigned ExecutorPIDAssigned (EPID) ExtRequest ExtResponse F¶ File naming conventions Function encoding G¶ GetDataTimeSeriesDBRequest GetDataTimeSeriesDBRequestV1 GetDataTimeSeriesDBResponse GetDataTimeSeriesDBResponseV1 GetValueKVStoreRequest GetValueKVStoreRequestV1 GetValueKVStoreResponse GetValueKVStoreResponseV1 Git branching strategy H¶ Hardware Abstraction Machine Hardware Machine Hash encoding Hash function HeaderFingerprint Headers and other Markdown conventions Headers and other Markdown formatting conventions Home I¶ Identities Identity Architecture Identity Management Engine Identity Management Engine Behaviour Identity Management Engine Environment Identity Management Engine Messages IdentityRecord IdentityStore IdentityUpdated IdentityUpdatedV1 Implementation Include code snippets Include images in Markdown Indexes IntegrityVote Inter-domain P2P protocols Interaction Intra domain protocols Intra node & inter node protocols Intra-domain P2P protocols Intra-node & inter-node protocols Introduction J¶ JoinRequest JoinResponse Juvix Base Prelude Juvix Documentation Juvix Module Index K¶ KVSAcquireLock KVSDatum KVSKey KVSLockAcquired KVSRead KVSReadRequest KVSWrite KVSWritten Kind Kudos L¶ Local Key Value Storage Engine Local Logging Engine Local Storage Engines Local Time Series Storage Engine Local Wall Clock Engine LocalLoggingAppend LocalLoggingAppendV1 LocalWallClockGetTime LocalWallClockGetTimeResult LocalWallClockGetTimeResultV1 LocalWallClockGetTimeV1 LookupIdentityRequest LookupIdentityRequestV1 LookupIdentityResponse LookupIdentityResponseV1 M¶ Managing the Changelog Markdown Basics for Anoma Documentation Mempool Mempool engines Messages & Mailboxes Modules in Juvix Multiformats Multifunctions N¶ Naming Engine Naming Engine Behaviour Naming Engine Environment Naming Engine Messages NarwhalBlockHeader Network Architecture Network Identity Store Networking Machine Nockma Node Architecture NodeAdvert NodeAdvertV1 NodeConnectFailed NodeConnected NodeDisconnected NodeIdentity NodeIdentityRecord NodeTransportAddress Non-linear resources Notifications Nullifier O¶ Ordering Machine OrderingPrefs P¶ P2P P2PMessage P2PMessage to Transport P2PMessageV1 Peer Sampling PeerSamplingView Pinger Engine Preference Function Preference function Preliminaries Prepare working environment Preparing the local environment for writing documentation Prerequisite primitives Primary Primitives Proof Proof encoding Proof of stake Proof-of-stake Protocol Architecture Protocol desiderata Proving PubSub PubSubRoutingTable PubSubRoutingTableEntry Q¶ Quick Links Quick links R¶ RISC0 RISC0 Backend Read Backend ReadLabel Reads For Engine Reads For Engine Behaviour Reads For Engine Environment Reads For Engine Messages RecordDataTimeSeriesDBRequest RecordDataTimeSeriesDBRequestV1 RecordDataTimeSeriesDBResponse RecordDataTimeSeriesDBResponseV1 RelayMessage RelayMessageV1 ReliabilityPrefs Render Juvix code ReputationValue RequestLogs Resource Resource Commitment Resource Delta Resource Kind Resource Logic Resource Machine Resource Nullifier Resource logic Resource machine Resource machine backends Roles Roles and requirements Router RoutingPrefs RoutingScope RoutingTable RoutingTableDest RoutingTableDomain RoutingTableEntry RoutingTableTopic Run pre commit checks Run pre-commit checks S¶ snake_case convention for naming files and folders T¶ Taiga Techniques Template Behaviour Template Configuration Template Engine Template Environment Template Messages Ticker Behaviour Ticker Configuration Ticker Engine Ticker Environment Ticker Messages TimeSeriesDBDataV1 TimeSeriesDBQueryV1 Title v1 Title v2 Tokens TopicAdvert TopicAdvertReceived TopicAdvertV1 TopicCreateRequest TopicCreateRequestV1 TopicCreateResponse TopicCreateResponseV1 TopicDeleteRequest TopicDeleteRequestV1 TopicDeleteResponse TopicDeleteResponseV1 TopicId TopicIdentity TopicIdentityRecord TopicRequestV1 TopicResponseV1 TopicSubRequest TopicSubRequestV1 TopicSubResponse TopicSubResponseV1 TopicSubscribed TopicUnsubRequest TopicUnsubRequestV1 TopicUnsubResponse TopicUnsubResponseV1 TopicUnsubscribed Topology Transaction Transaction function TransactionAck TransactionCandidate TransactionExecutable TransactionLabel TransactionRequest Transparent Transparent Backend Transport TransportAddress TransportMessage TransportMessageV1 TransportOrderingPrefs TransportPrefs TransportReliabilityPrefs TransportSecurityPrefs TrustValue Tutorials and guidelines for writing Anoma Specification documentation Tutorials for contributors Tutorials on Engine Families TxData TxFingerprint Types U¶ Unsubscribe UnsubscribeAck UnsubscribeRequest UpdateIdentityRequest UpdateIdentityRequestV1 UpdateIdentityResponse UpdateIdentityResponseV1 UpdateSeenAll Updating the changelog Use Git and GitHub Use Wiki style links V¶ ValueChangedKVStore Verification Engine Verification Engine Behaviour Verification Engine Environment Verification Engine Messages Versioning Virtual machine W¶ WHFingerprint Worker Worker Engine WorkerHash World model Write Markdown WriteLabel Was this page helpful? Thanks for your feedback! Thanks for your feedback! We'll try to improve this page in the future.