From 322e8787c880370e51b70de963f54b28c1dc3020 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 | 4 ++-- 3 files changed, 4 insertions(+), 7 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..323424991 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.