Quick Links¶ A¶ 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 Applications Arithmetic B¶ Basic Types Bibliography C¶ Change Log Changelog Commitment Commitment Behaviour Commitment Configuration Commitment Engine Commitment Environment Commitment Messages Commitment accumulator Compliance proof Compliance unit Computable components Cryptographic Primitives D¶ Data structures Decryption Behaviour Decryption Configuration Decryption Engine Decryption Environment Decryption Messages Definitions Delta Delta Proving System Delta hash Delta proof Delta proving system E¶ Encryption Behaviour Encryption Configuration Encryption Engine Encryption Environment Encryption Messages Engine Engine Behaviour Engine Configuration Engine Environment Engine Types Engine Writing Conventions Engine writing conventions Engines Engines in Anoma Everything Execution engines Execution flow Executor Behaviour Executor Engine Executor Environment Executor Messages F¶ File naming conventions Fixed Size Type G¶ Git branching strategy H¶ Hash Headers and other Markdown conventions Headers and other Markdown formatting conventions Home I¶ Identities Identity Architecture Identity Management Behaviour Identity Management Configuration Identity Management Engine Identity Management Environment Identity Management Messages Include code snippets Include images in Markdown Index of links Interface Intro Introduction K¶ Kind L¶ Local Key Value Storage Behaviour Local Key Value Storage Configuration Local Key Value Storage Engine Local Key Value Storage Environment Local Key Value Storage Messages Local Time Series Storage Behaviour Local Time Series Storage Configuration Local Time Series Storage Engine Local Time Series Storage Environment Local Time Series Storage Messages Logging Behaviour Logging Configuration Logging Engine Logging Environment Logging Messages M¶ Managing the Changelog Map Markdown Basics for Anoma Documentation Mempool Worker Behaviour Mempool Worker Engine Mempool Worker Environment Mempool Worker Messages Messages & Mailboxes Module Index Modules in Juvix N¶ Naming Behaviour Naming Configuration Naming Engine Naming Environment Naming Messages Network Subsystem Node Architecture Node Proxy Behaviour Node Proxy Configuration Node Proxy Engine Node Proxy Environment Node Proxy Messages Nullifier Nullifier set O¶ Ordered set P¶ Prelude Prepare working environment Preparing the local environment for writing documentation Prerequisite primitives Primitive interfaces Protocol Architecture Proving system Proving system definition Pub/Sub Topic Behaviour Pub/Sub Topic Configuration Pub/Sub Topic Engine Pub/Sub Topic Environment Pub/Sub Topic Messages Q¶ Quick Links R¶ Reads For Behaviour Reads For Configuration Reads For Engine Reads For Environment Reads For Messages Render Juvix code Resource Resource Commitment Resource Delta Resource Machine Resource logic proof Roles and requirements Router Behaviour Router Configuration Router Engine Router Environment Router Messages Router Types Run pre commit checks Run pre-commit checks S¶ snake_case convention for naming files and folders T¶ Template Behaviour Template Configuration Template Engine Template Environment Template Messages Ticker Behaviour Ticker Configuration Ticker Engine Ticker Environment Ticker Messages Title v1 Title v2 Transaction Transaction Function Transaction With Payment Transaction function VM Transaction function format Transport Connection Behaviour Transport Connection Configuration Transport Connection Engine Transport Connection Environment Transport Connection Messages Transport Protocol Behaviour Transport Protocol Configuration Transport Protocol Engine Transport Protocol Environment Transport Protocol Messages Tutorials and guidelines for writing Anoma Specification documentation Tutorials for contributors Tutorials on Engine Families Types U¶ Updating the changelog Use Git and GitHub Use Wiki style links V¶ Verification Behaviour Verification Configuration Verification Engine Verification Environment Verification Messages Versioning W¶ Wall Clock Behaviour Wall Clock Configuration Wall Clock Engine Wall Clock Environment Wall Clock Messages Write Markdown