fixed more links

Roee-87 · Roee-87 · commit 196f72e7d142 · 2025-03-31T11:12:26.000-07:00
diff --git a/archive/advanced/dive-into-avm/00_overview.md b/archive/advanced/dive-into-avm/00_overview.md
@@ -18,7 +18,7 @@ It was formalised and implemented in the Aleo Network as [ARC-0002](https://gith
 
 ## **AVM’s Architecture and Design**
 
-The AVM is virtual machine that operates on a last-in, first-out (LIFO) principle where data is stacked and the most recently added data is the first to be accessed or removed. This design is conducive to the execution of complex arithmetic circuits that are essential for the privacy-preserving features of Aleo. The AVM's architecture is designed to support the execution of private applications by leveraging zero-knowledge proofs. It uses Leo (high-level programming language), which compiles down into an intermediate representation known as AVM opcodes. These opcodes are then used to construct the R1CS, which are essential for generating zero-knowledge proofs. Check the full list [here](https://docs.leo-lang.org/aleo/opcodes/)
+The AVM is virtual machine that operates on a last-in, first-out (LIFO) principle where data is stacked and the most recently added data is the first to be accessed or removed. This design is conducive to the execution of complex arithmetic circuits that are essential for the privacy-preserving features of Aleo. The AVM's architecture is designed to support the execution of private applications by leveraging zero-knowledge proofs. It uses Leo (high-level programming language), which compiles down into an intermediate representation known as AVM opcodes. These opcodes are then used to construct the R1CS, which are essential for generating zero-knowledge proofs. Check the full list [here](https://developer.aleo.org/guides/aleo/opcodes)
 
 The AVM architecture can be broken down into several key components and characteristics:
 
diff --git a/archive/create-aleo-app/02_create_aleo_app_full.md b/archive/create-aleo-app/02_create_aleo_app_full.md
@@ -277,7 +277,7 @@ Congratulations on becoming a Leo contributor! 🎉
 
 2. You also installed [Leo](https://docs.leo-lang.org/leo/), our statically-typed programming language built for writing private applications.
 
-3. You executed `helloworld` using WASM, which called on in-browser resources to use [snarkVM](https://docs.leo-lang.org/aleo/), the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM. 
+3. You executed `helloworld` using WASM, which called on in-browser resources to use [snarkVM](https://github.com/ProvableHQ/snarkVM), the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM. 
 
 4. You also executed `helloworld` locally in your terminal using `leo execute`, which similarly uses local computational resources to compile your Leo program using snarkVM.
 
diff --git a/archive/src/learn/zkcloud/snarkos_build_guide.md b/archive/src/learn/zkcloud/snarkos_build_guide.md
@@ -184,4 +184,4 @@ OPTIONS:
 2. Sign a message with your private key using `snarkos account sign --raw -m "Message" --private-key-file=<PRIVATE_KEY_FILE>`
 3. Verify your signature with `snarkos account verify --raw -m "Message" -s sign1SignatureHere -a aleo1YourAccountAddress`
 
-Note, using the `--raw` flag with the command will sign plaintext messages as bytes rather than [Aleo](https://docs.leo-lang.org/aleo/language#data-types-and-values) values such as `1u8` or `100field`.
+Note, using the `--raw` flag with the command will sign plaintext messages as bytes rather than [Aleo](https://docs.leo-lang.org/language/data_types) values such as `1u8` or `100field`.
diff --git a/documentation/sdk/create-leo-app/01_create_leo_app.md b/documentation/sdk/create-leo-app/01_create_leo_app.md
@@ -207,7 +207,7 @@ git push -u origin main
 
 2. You also installed [Leo](https://docs.leo-lang.org/leo/), our statically-typed programming language built for writing private applications. Using Leo, you can write, build, compile, and execute Leo programs locally.
 
-3. We provided the `helloworld` Leo program already pre-compiled into Aleo instructions and then executed it locally using WASM + web workers, which was an abstraction on snarkVM’s capabilities. [snarkVM](https://docs.leo-lang.org/aleo/) is the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM. 
+3. We provided the `helloworld` Leo program already pre-compiled into Aleo instructions and then executed it locally using WASM + web workers, which was an abstraction on snarkVM’s capabilities. [snarkVM](https://github.com/ProvableHQ/snarkVM) is the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM. 
 
 4. Similarly, we deployed the `helloworld` program, again using the WASM + web workers abstraction layer but you can also deploy programs on-chain using [snarkOS](https://docs.leo-lang.org/testnet/getting_started/deploy_execute/#deploy), the data availability layer or blockchain / distributed ledger.
 
diff --git a/documentation/sdk/typescript/00_sdk_overview.md b/documentation/sdk/typescript/00_sdk_overview.md
@@ -132,7 +132,7 @@ was run correctly. Keeping program inputs and outputs private allows developers
 Zero-Knowledge programs are written in one of two languages:
 1. [Leo](https://docs.leo-lang.org/language/overview): A high level, developer friendly language for developing
    zero knowledge programs.
-2. [Aleo Instructions](https://docs.leo-lang.org/aleo/): A low level language that provides developers fine
+2. [Aleo Instructions](https://developer.aleo.org/guides/aleo/aleo): A low level language that provides developers fine
    grained control over the execution flow of zero knowledge programs. Leo programs are compiled into Aleo Instructions
    under the hood.
 
@@ -166,7 +166,7 @@ function hello:
 The SDK provides the ability to execute Aleo Instructions programs %100 client-side within the browser.
 
 The `ProgramManager` object encapsulates the functionality for executing programs and making zero knowledge proofs about
-them. Under the hood it uses cryptographic code compiled from [snarkVM](https://docs.leo-lang.org/aleo) into WebAssembly.
+them. Under the hood it uses cryptographic code compiled from [snarkVM](https://github.com/ProvableHQ/snarkVM) into WebAssembly.
 JavaScript bindings to this WebAssembly code allows execution of programs in zero knowledge fully within the browser
 without requiring any external communication with the internet. Users interested in lower level details on how this is
 achieved can visit the [aleo-wasm](https://github.com/ProvableHQ/sdk/tree/testnet3/wasm) crate.
