GITBOOK-62: No subject

Author: heueristik

Diff for: SUMMARY.md

@@ -23,11 +23,14 @@
 * [Resource Machine](learn/page/README.md)
   * [Information Flow Control](learn/page/information-flow-control.md)
 * [Resources](learn/resources/README.md)
-  * [Resource Object](learn/resources/resource-object.md)
-  * [Resource Logic](learn/resources/resource-logic.md)
+  * [State](learn/resources/state.md)
+  * [Logic](learn/resources/logic.md)
+  * [Kind](learn/resources/kind.md)
+  * [Lifecycle](learn/resources/lifecycle.md)
 * [Transactions](learn/transactions/README.md)
-  * [Transaction Object](learn/transactions/transaction-object.md)
+  * [Delta](learn/transactions/delta.md)
   * [Actions](learn/transactions/actions.md)
+  * [Balanced Transactions](learn/transactions/balanced-transactions.md)
   * [Intents](learn/transactions/intents.md)
 * [Applications](learn/applications/README.md)
   * [Backend](learn/applications/backend.md)
@@ -36,11 +39,9 @@
   * [Indexing](learn/services/indexing.md)
   * [Solving](learn/services/solving.md)
 
-## Further Resources
+***
 
-* [Overview](further-resources/advanced.md)
-* [Juvix](further-resources/juvix/README.md)
-  * [Installation Steps](further-resources/juvix/installation-steps.md)
-  * [Install Juvix](further-resources/juvix/install-juvix.md)
-  * [Write a Juvix Project](further-resources/juvix/write-a-juvix-project.md)
-  * [Configure a Juvix Package](further-resources/juvix/configure-a-juvix-package.md)
+* [Data Structures](data-structures/README.md)
+  * [Resource](data-structures/resource.md)
+  * [Transaction](data-structures/transaction.md)
+  * [Action](data-structures/action.md)

Diff for: build/anoma-app-examples/simplecounter.md

@@ -11,7 +11,7 @@ The following outlines the basics of the SimpleCounter example application. The
 
 ## Prerequisites
 
-Before creating the SimpleCounter application, make sure to have [Juvix installed](../../further-resources/juvix/install-juvix.md). Also consider looking at [Your First Anoma dApp](../your-first-anoma-application/) for some introductory explanations.
+Before creating the SimpleCounter application, make sure to have [Juvix installed](broken-reference). Also consider looking at [Your First Anoma dApp](../your-first-anoma-application/) for some introductory explanations.
 
 ## Let's write some SimpleCounter code
 

Diff for: build/getting-started.md

@@ -1,6 +1,6 @@
 ---
-icon: screwdriver-wrench
 description: Install Juvix in less than 5 minutes.
+icon: screwdriver-wrench
 ---
 
 # Getting Started
@@ -14,7 +14,7 @@ Get started by installing Juvix in less than 5 minutes.
 Please select from the options below to install the Juvix compiler on your system. We currently support
 
 * Linux `x86_64`
-* macOS `x86_64` and `aarch64 (M1/M2)` 
+* macOS `x86_64` and `aarch64 (M1/M2)`
 
 {% hint style="info" %}
 All example applications are currently compliant with the `anoma-apps` [v0.2.0 release](https://github.com/anoma/anoma-apps/releases/tag/v0.2.0).
@@ -76,16 +76,16 @@ brew install --overwrite juvix-nightly
 
 Alternatively, you can download and unzip the compiler executable linked below
 
-* [macOS x86\_64](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-02-13-0.6.9-8b06157/juvix-darwin-x86_64.tar.gz)
-* [macOS aarch64 (M1/M2)](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-02-13-0.6.9-8b06157/juvix-darwin-aarch64.tar.gz)
+* [macOS x86\_64](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-01-23-0.6.9-6ff4d88/juvix-darwin-x86_64.tar.gz)
+* [macOS aarch64 (M1/M2)](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-01-23-0.6.9-6ff4d88/juvix-darwin-aarch64.tar.gz)
 
 and move it to a directory on your shell's `PATH (e.g., /usr/local/bin`).
 {% endtab %}
 
 {% tab title="Linux" %}
 Download and unzip the compiler executable linked below
 
-* [Linux x86\_64](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-02-13-0.6.9-8b06157/juvix-linux-x86_64.tar.gz)
+* [Linux x86\_64](https://github.com/anoma/juvix-nightly-builds/releases/download/nightly-2025-01-23-0.6.9-6ff4d88/juvix-linux-x86_64.tar.gz)
 
 and move it to a directory on your shell's `PATH (e.g., /usr/local/bin`).
 {% endtab %}

Diff for: build/your-first-anoma-application/README.md

@@ -1,8 +1,8 @@
 ---
-icon: rocket-launch
 description: >-
   A tutorial setting you up to build, run, and test your first Anoma
   application.
+icon: rocket-launch
 ---
 
 # Your First Anoma App
@@ -31,7 +31,7 @@ juvix init
 ```
 {% endcode %}
 
-In the following chapter, we're going to construct the scaffolding of the [resource object](../../learn/resources/resource-object.md) and add our custom label.
+In the following chapter, we're going to construct the scaffolding of the [resource object](broken-reference) and add our custom label.
 
 Once the Juvix project is created, we want to change the `Package.juvix` file to the following:
 

Diff for: data-structures/README.md

@@ -0,0 +1,7 @@
+---
+hidden: true
+icon: folder-tree
+---
+
+# Data Structures
+

Diff for: data-structures/action.md

@@ -0,0 +1,16 @@
+# Action
+
+```agda
+type Action :=
+  mkAction@{
+    commitments : List Nat;
+    nullifiers : List Nat;
+    proofs : List Proof;
+    appData : Nat;
+  };
+```
+
+* **`commitments`:** Computed for each created resource (see [#creation](../learn/resources/#creation "mention")).
+* **`nullifiers`:** Computed for each consumed resource (see [#consumption](../learn/resources/#consumption "mention")).
+* **`proofs`:** Contains a logic and compliance proof for each resource referred in the `commitments` and `nullifiers` fields.
+* **`appData`:** A map (encoded as a natural number) containing arbitrary, application-specific data.

Diff for: learn/resources/resource-object.md renamed to data-structures/resource.md

@@ -1,19 +1,4 @@
----
-description: This page describes the structure of the resource object in detail.
-layout:
-  title:
-    visible: true
-  description:
-    visible: true
-  tableOfContents:
-    visible: true
-  outline:
-    visible: true
-  pagination:
-    visible: true
----
-
-# Resource Object
+# Resource
 
 The resource object is a data structure that contains multiple fields.
 

Diff for: learn/transactions/transaction-object.md renamed to data-structures/transaction.md

@@ -1,8 +1,4 @@
----
-description: This page describes the structure of the transaction object in detail.
----
-
-# Transaction Object
+# Transaction
 
 Transactions contain all the data required to conduct an Anoma state transition.
 
@@ -16,9 +12,11 @@ type Transaction :=
   };
 ```
 
-* **`actions`:** A list of [actions](actions.md) constituting separate contexts for consumed and created resources.
+* **`actions`:** A list of [actions](../learn/transactions/actions.md) constituting separate contexts for consumed and created resources.
 * **`roots`:** A list of roots being required to prove that consumed resources have been created before.
 * **`delta`:** The transaction delta indicating if a transaction is balanced or not.
 * **`deltaProof`:** A proof that the transaction is balanced being required in the shielded case.
 
 Further information can be found on [Anoma Resource Machine specs page](https://specs.anoma.net/latest/arch/system/state/resource_machine/index.html).
+
+##

Diff for: further-resources/advanced.md

@@ -13,7 +13,7 @@ The application interface consists of two components:
 
 ## Transaction Functions 
 
-Transaction functions take arbitrary input data and output a [transaction object](../transactions/transaction-object.md). Besides populating the transaction object with the required data[^1], they also take care of checking the input arguments for correctness and can return error messages.
+Transaction functions take arbitrary input data and output a [transaction object](broken-reference). Besides populating the transaction object with the required data[^1], they also take care of checking the input arguments for correctness and can return error messages.
 
 Transaction function examples are: