From 1a6f2ef23274bd64fe64914db7cde5833aad592a Mon Sep 17 00:00:00 2001 From: Michael Benfield Date: Thu, 20 Feb 2025 11:05:53 -0800 Subject: [PATCH] Remove dead SnarkOS and SnarkVM links. --- README.md | 2 -- documentation/sdk/create-leo-app/01_create_leo_app.md | 5 ++--- documentation/sdk/typescript/00_sdk_overview.md | 6 +++--- 3 files changed, 5 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index c1db34200..1c092c74d 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,6 @@ This repository serves as a public source for documentation source files about A You can find them in readable form at [Developer Docs](https://docs.leo-lang.org/). Other resources you may find helpful include: -- [📡 SnarkOS](http://snarkos.org/) - A decentralized operating system for private applications. -- [⚙️ SnarkVM](https://snarkvm.org/) - A virtual machine for zero-knowledge proofs. - [🦁 Leo](https://leo-lang.org/) - A programming language for zero-knowledge proofs. - [🛝 Playground](http://play.leo-lang.org) - A browser interface to the Leo compiler for rapid ZK development and testing. - [🧰 SDK](https://provable.tools/) - A Software Development Kit (SDK) for Aleo. diff --git a/documentation/sdk/create-leo-app/01_create_leo_app.md b/documentation/sdk/create-leo-app/01_create_leo_app.md index eeda303f0..687914109 100644 --- a/documentation/sdk/create-leo-app/01_create_leo_app.md +++ b/documentation/sdk/create-leo-app/01_create_leo_app.md @@ -207,11 +207,10 @@ 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://developer.aleo.org/guides/aleo/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. -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. +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://developer.aleo.org/guides/aleo/aleo/), the data availability layer or blockchain / distributed ledger. 5. During the tutorial you navigated to [provable.tools](https://provable.tools), which is the graphical interface to our SDK, which serves as an abstraction layer of snarkOS and snarkVM. You’ll find you can perform similar actions (compiling, executing, deploying) on provable.tools. - 6. The entire React template along with the WASM and web workers can also be considered an abstraction layer of snarkOS and snarkVM. diff --git a/documentation/sdk/typescript/00_sdk_overview.md b/documentation/sdk/typescript/00_sdk_overview.md index 6ed00f0e6..e1300d042 100644 --- a/documentation/sdk/typescript/00_sdk_overview.md +++ b/documentation/sdk/typescript/00_sdk_overview.md @@ -130,9 +130,9 @@ Aleo programs provide the ability for users to make any input or output of a pro was run correctly. Keeping program inputs and outputs private allows developers to build privacy into their applications. Zero-Knowledge programs are written in one of two languages: -1. [Leo](https://docs.leo-lang.org/leo/language): A high level, developer friendly language for developing +1. [Leo](https://docs.leo-lang.org): 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://developer.aleo.org/guides/aleo/aleo/) 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.