Clean up what's new

ProvableHQ · Feb 18, 2025 · f8cb20b · f8cb20b
1 parent 285eea6
commit f8cb20b
Show file tree

Hide file tree

Showing 10 changed files with 15 additions and 39 deletions.
diff --git a/archive/aleo/00_aleo_overview.md b/archive/aleo/00_aleo_overview.md
@@ -30,7 +30,7 @@ Develop your first [**Hello Aleo**](./aleo/02_hello.md) Aleo instructions progra
 
 Learn the core concepts and syntax of [Aleo instructions](./aleo/03_language.md).
 
-Read the full list of supported [Aleo instruction opcodes](./aleo/04_opcodes.md).
+Read the full list of supported [Aleo instruction opcodes](./alehttps://developer.aleo.org/guides/aleo/opcodes.md).
 
 ## Formal Language Documentation
 

diff --git a/archive/aleo/02_hello.md b/archive/aleo/02_hello.md
@@ -141,7 +141,7 @@ The functions are composed of three main parts:
   ```
   Every aleo instruction is followed by its input parameters with its specific types, and the result is stored in the register specified after `into`.
 
-  You can find all the available Aleo instruction opcodes [here](./04_opcodes.md).
+  You can find all the available Aleo instruction opcodes [here](https://developer.aleo.org/guides/aleo/opcodes.md).
 
 - **The output section**
 

diff --git a/archive/aleo/03_language.md b/archive/aleo/03_language.md
@@ -94,7 +94,7 @@ function main:
 ### Signatures
 
 Aleo uses a Schnorr signatures scheme to sign messages with an Aleo private key.
-Signatures can be verified in Aleo instructions using the [`sign.verify`](./04_opcodes.md#signverify) instruction.
+Signatures can be verified in Aleo instructions using the [`sign.verify`](https://developer.aleo.org/guides/aleo/opcodes.md#signverify) instruction.
 
 ```aleo
 sign.verify sign069ju4e8s66unu25celqycvsv3k9chdyz4n4sy62tx6wxj0u25vqp58hgu9hwyqc63qzxvjwesf2wz0krcvvw9kd9x0rsk4lwqn2acqhp9v0pdkhx6gvkanuuwratqmxa3du7l43c05253hhed9eg6ppzzfnjt06fpzp6msekdjxd36smjltndmxjndvv9x2uecsgngcwsc2qkns4afd r1 r2 into r3;
@@ -309,7 +309,7 @@ Aleo instructions currently only support fixed-length static arrays.
 
 ### Record
 
-A [record](../concepts/02_records.md) type is declared as `record {name}:`.  
+A [record](https://developer.aleo.org/concepts/fundamentals/records) type is declared as `record {name}:`.  
 Records contain component declarations `{name} as {type}.{visibility};`.  
 Record data structures must contain the `owner` declaration as shown below.  
 When passing a record as input to a program function the `_nonce as group.{visibility}` declaration is also required.
@@ -610,7 +610,7 @@ hash.psd4 ...;
 hash.psd8 ...;
 ```
 
-Checkout the [Aleo Instructions opcodes](./04_opcodes.md) for a full list of supported hashing algorithms.
+Checkout the [Aleo Instructions opcodes](https://developer.aleo.org/guides/aleo/opcodes.md) for a full list of supported hashing algorithms.
 
 #### Commit
 
@@ -628,7 +628,7 @@ commit.ped64 ...;
 commit.ped128 ...;
 ```
 
-Checkout the [Aleo Instructions opcodes](./04_opcodes.md) for a full list of supported commitment algorithms.
+Checkout the [Aleo Instructions opcodes](https://developer.aleo.org/guides/aleo/opcodes.md) for a full list of supported commitment algorithms.
 
 #### position, branch.eq, branch.neq
 

diff --git a/documentation/02_index.md → documentation/01_index.md b/documentation/02_index.md → documentation/01_index.md
diff --git a/documentation/01_whats_new.md b/documentation/01_whats_new.md
diff --git a/documentation/getting_started/02_ide.md b/documentation/getting_started/02_ide.md
@@ -8,7 +8,7 @@ Developers can choose from a wide variety of development environment. Each
 
 ## Leo Playground
 
-[Leo Playground](play.leo-lang.org) is a web-based IDE that is designed to allow developers to develop, deploy, and execute programs all in the browser! It comes with an editor, Github integrations, and a number of utilities to manage programs and interface with the network. 
+[Leo Playground](https://play.leo-lang.org) is a web-based IDE that is designed to allow developers to develop, deploy, and execute programs all in the browser! It comes with an editor, Github integrations, and a number of utilities to manage programs and interface with the network. 
 
 ![Leo Playground](./../img/leo-playground.png)
 

diff --git a/documentation/language/04_operators.md b/documentation/language/04_operators.md
@@ -170,7 +170,7 @@ let b: u32 = ChaCha::rand_u32();
 
 
 The following lists show the standard and cryptographic operators supported by Leo.
-The Leo operators compile down to [Aleo instructions opcodes](../aleo/04_opcodes.md) executable by the Aleo Virtual Machine (AVM).
+The Leo operators compile down to [Aleo instructions opcodes](../alehttps://developer.aleo.org/guides/aleo/opcodes.md) executable by the Aleo Virtual Machine (AVM).
 
 ## Table of Standard Operators
 | Name                        | Description                         |

diff --git a/documentation/language/07_style.md b/documentation/language/07_style.md
@@ -4,12 +4,6 @@ title: Style Guide
 sidebar: Style Guide
 ---
 
-
-### Looking for [More Aleo Resources?](../00_getting_started.md)
-
-## Style Guide
-
-
 This guide is provided to point developers in the right direction when writing Leo code.
 There are many conventions that are unique to the Leo language and the circuits it generates.
 

diff --git a/documentation/sdk/00_sdk_overview.md b/documentation/sdk/00_sdk_overview.md
@@ -17,7 +17,7 @@ All of this functionality is demonstrated on [provable.tools](https://www.provab
 
 The Aleo SDK is divided into three Typescript/Javascript packages
 
-## 1. [Aleo SDK](./sdk/typescript/00_sdk_overview.md) - Build Zero Knowledge Web Apps
+## 1. [Aleo SDK](./typescript/00_sdk_overview.md) - Build Zero Knowledge Web Apps
 
 <a href="https://www.npmjs.com/package/@provablehq/sdk"> <img alt="Aleo SDK" src="https://img.shields.io/npm/l/%40aleohq%2Fsdk?label=NPM%20-%20Aleo%20SDK&labelColor=green&color=blue" /></a>
 
@@ -26,13 +26,13 @@ The official Aleo SDK providing Javascript/Typescript tools for creating zero kn
 
 ### ⚡ Build your own app
 
-Start here with the [documentation](./sdk/typescript/00_sdk_overview.md) and follow the instructions to install the [Aleo SDK](https://github.com/ProvableHQ/sdk/tree/testnet3/sdk#readme) to get started building your
+Start here with the [documentation](./typescript/00_sdk_overview.md) and follow the instructions to install the [Aleo SDK](https://github.com/ProvableHQ/sdk/tree/testnet3/sdk#readme) to get started building your
 first zero knowledge web app.
 
 #### Source: [`sdk/sdk`](https://github.com/ProvableHQ/sdk/tree/testnet3/sdk)
 
 
-## 2. [Create-leo-App](./sdk/create-leo-app/00_app_installation.md) - Zero-Knowledge Web App Examples
+## 2. [Create-leo-App](./create-leo-app/00_app_installation.md) - Zero-Knowledge Web App Examples
 
 <a href="https://www.npmjs.com/package/create-leo-app"> <img alt="Create Leo App" src="https://img.shields.io/npm/l/create-aleo-app?label=NPM%20-%20Create-Leo-App&labelColor=green&color=blue" /></a>
 
@@ -50,7 +50,7 @@ npm create leo-app@latest
 
 #### Source: [`sdk/create-leo-app`](https://github.com/ProvableHQ/sdk/tree/testnet3/create-leo-app)
 
-## 3. [Aleo-Wasm](./sdk/wasm/00_wasm_installation.md) - Zero Knowledge Algorithms in JavaScript + WebAssembly
+## 3. [Aleo-Wasm](./wasm/00_wasm_installation.md) - Zero Knowledge Algorithms in JavaScript + WebAssembly
 
 <a href="https://www.npmjs.com/package/@provablehq/wasm"> <img alt="Create Aleo App" src="https://img.shields.io/npm/l/%40aleohq%2Fwasm?label=NPM%20-%20Aleo%20Wasm&labelColor=green&color=blue" /></a>
 <a href="https://www.npmjs.com/package/@aleohq/nodejs"> <img alt="Create Aleo App" src="https://img.shields.io/npm/l/%40aleohq%2Fnodejs?label=NPM%20-%20Aleo%20Nodejs&labelColor=green&color=blue" /></a>
@@ -61,7 +61,7 @@ WebAssembly.
 
 When compiled with `wasm-pack` JavaScript bindings are generated for the WebAssembly allowing Aleo zero
 knowledge programs to be used in the browser and NodeJS. This package is available on NPM (linked above). The
-[documentation](./sdk/wasm/00_wasm_installation.md) provides instructions for compiling this [crate](https://github.com/ProvableHQ/sdk/tree/testnet3/wasm) and using it in web projects for those interested in building from
+[documentation](./wasm/00_wasm_installation.md) provides instructions for compiling this [crate](https://github.com/ProvableHQ/sdk/tree/testnet3/wasm) and using it in web projects for those interested in building from
 source.
 
 ❗ Currently program execution is only available in web Browsers. However, account, program and data management within
@@ -77,7 +77,7 @@ The official Aleo Python SDK providing tools for creating zero knowledge apps. I
 * The **zkml** library, which transpiles scikit-learn machine learning models into Leo programs for inference.
 
 Both libraries are in an early development stage. They can be installed through `pip install aleo` respectively `pip install zkml`. The
-[documentation on the aleo library](./sdk/python/00_aleo_sdk.md) and the [documentation on the zkml library](./sdk/python/01_zkml_transpiler.md) provide more information on installation and usage.
+[documentation on the aleo library](./python/00_aleo_sdk.md) and the [documentation on the zkml library](./python/01_zkml_transpiler.md) provide more information on installation and usage.
 
 <!-- markdown-link-check-disable -->
 Source: [`python-sdk`](https://github.com/ProvableHQ/python-sdk)

diff --git a/documentation/sdk/python/01_zkml_transpiler.md b/documentation/sdk/python/01_zkml_transpiler.md
@@ -42,7 +42,7 @@ Ensure you have Leo version 1.9.3 or newer installed.
    ```bash
    leo update
    ```
-   - Installation guide: [Leo Installation](./../../leo/01_installation.md)
+   - Installation guide: [Leo Installation](./../../getting_started/01_installation.md)
 
 ### Installation