From ae82bfa9e7f5f133c6d537b92db0fb940559461c Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:13:04 +0300 Subject: [PATCH 1/7] usage-in-ci.md typo correction --- book/developers/usage-in-ci.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/developers/usage-in-ci.md b/book/developers/usage-in-ci.md index 5d7b6a996a..b18c0bde84 100644 --- a/book/developers/usage-in-ci.md +++ b/book/developers/usage-in-ci.md @@ -2,7 +2,7 @@ You may want to use SP1 in your [Github Actions](https://docs.github.com/en/actions) CI workflow. -You first need have Rust installed, and you can use +You first need to have Rust installed, and you can use [actions-rs/toolchain](https://github.com/actions-rs/toolchain) for this: ```yaml From 6cccfa34ffcf99b101ddfcb32f8e5906deac8681 Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:14:41 +0300 Subject: [PATCH 2/7] versions.md typo correction --- book/generating-proofs/prover-network/versions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/generating-proofs/prover-network/versions.md b/book/generating-proofs/prover-network/versions.md index 271a09078b..31503adb80 100644 --- a/book/generating-proofs/prover-network/versions.md +++ b/book/generating-proofs/prover-network/versions.md @@ -13,7 +13,7 @@ If you submit a proof request to the prover network and you are not using a supp ## Changing versions -You must switch to a supported version before submitting a proof. To do so, replace the `sp1-zkvm` version in your progam's `Cargo.toml`: +You must switch to a supported version before submitting a proof. To do so, replace the `sp1-zkvm` version in your program's `Cargo.toml`: ```toml [dependencies] From 9e318fef698dfa582f8f7f125f94d997dd5dc645 Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:16:36 +0300 Subject: [PATCH 3/7] basics.md typo correction --- book/generating-proofs/basics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/generating-proofs/basics.md b/book/generating-proofs/basics.md index faeb0cbfec..85273d96ba 100644 --- a/book/generating-proofs/basics.md +++ b/book/generating-proofs/basics.md @@ -2,7 +2,7 @@ All the methods you'll need for generating proofs are included in the `sp1_sdk` crate. Most importantly, you'll need to use the `ProverClient` to setup a proving key and verifying key for your program and then use the `execute`, `prove` and `verify` methods to execute your program, and generate and verify proofs. -To make this more concrete, let's walk through a simple example of generating a proof for a Fiboancci program inside the zkVM. +To make this more concrete, let's walk through a simple example of generating a proof for a Fibonacci program inside the zkVM. ## Example: Fibonacci From f30dbced287e4bb3d61ad7284f84166c2d2bfebe Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:22:58 +0300 Subject: [PATCH 4/7] introduction.md typo correction --- book/introduction.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/introduction.md b/book/introduction.md index 5d8f66bbe3..274d317bc5 100644 --- a/book/introduction.md +++ b/book/introduction.md @@ -18,7 +18,7 @@ SP1 has undergone multiple audits from leading ZK security firms and is currentl Zero-knowledge proofs (ZKPs) are one of the most critical technologies to blockchain scaling, interoperability and privacy. But, historically building ZKP systems was extrememly complicated--requiring large teams with specialized cryptography expertise and taking years to go to production. -SP1 provides a performant, general-purpose zkVM that enables **any developer** to use ZKPs by writing normal code (in Rust), and get cheap and fast proofs. SP1 will enable ZKPs to become mainstream, introducing a a new era of verifiability for all of blockchain infrastructure and beyond. +SP1 provides a performant, general-purpose zkVM that enables **any developer** to use ZKPs by writing normal code (in Rust), and get cheap and fast proofs. SP1 will enable ZKPs to become mainstream, introducing a new era of verifiability for all of blockchain infrastructure and beyond. ## SP1 enables a diversity of use-cases From 5f4f5e8bf9a3a035babfb3a78c2318e2e7d119b3 Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:23:58 +0300 Subject: [PATCH 5/7] why-use-sp1.md typo correction --- book/why-use-sp1.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/why-use-sp1.md b/book/why-use-sp1.md index bd9b8f4a4e..db4712459e 100644 --- a/book/why-use-sp1.md +++ b/book/why-use-sp1.md @@ -24,7 +24,7 @@ SP1 enables teams to use ZKPs in production with minimal overhead and fast timel **Maintainable:** With SP1, you can reuse existing Rust crates, like `revm`, `reth`, `tendermint-rs`, `serde` and more, to write your ZKP logic in maintainable, Rust code. -**Go to market faster:** By reusing existng crates and expressing ZKP logic in regular code, SP1 significantly reduces audit surface area and complexity, enabling teams to go to market with ZKPs faster. +**Go to market faster:** By reusing existing crates and expressing ZKP logic in regular code, SP1 significantly reduces audit surface area and complexity, enabling teams to go to market with ZKPs faster. ## Blazing Fast Performance From 11d64790d88838167b5eb2017e3da5ab638db8ee Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:29:33 +0300 Subject: [PATCH 6/7] README.md typo correction --- crates/recursion/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/recursion/README.md b/crates/recursion/README.md index 7eef01070a..9ed2ee5f8f 100644 --- a/crates/recursion/README.md +++ b/crates/recursion/README.md @@ -4,7 +4,7 @@ ## Debugging recursion programs The recursion programs are executed in the recursion runtime. In case of a panic in the recursion runtime, rust will panic with a `TRAP` error. In order to get detailed information about the panic, -with a backtrace, compile the test with the evvironment variables: +with a backtrace, compile the test with the environment variables: ```bash RUST_BACKTRACE=1 RUSTFLAGS="-g" SP1_DEBUG=true -``` \ No newline at end of file +``` From fd8db0dd44d7db69ebc4e026adadcb6d9ce7dec3 Mon Sep 17 00:00:00 2001 From: Cypher Pepe <125112044+cypherpepe@users.noreply.github.com> Date: Sat, 14 Sep 2024 14:34:17 +0300 Subject: [PATCH 7/7] CHANGELOG.md typo correction --- crates/zkvm/entrypoint/CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/zkvm/entrypoint/CHANGELOG.md b/crates/zkvm/entrypoint/CHANGELOG.md index 6d65a13a77..5bc2527bec 100644 --- a/crates/zkvm/entrypoint/CHANGELOG.md +++ b/crates/zkvm/entrypoint/CHANGELOG.md @@ -64,7 +64,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - fix release-plz ([#1088](https://github.com/succinctlabs/sp1/pull/1088)) - add release-plz ([#1086](https://github.com/succinctlabs/sp1/pull/1086)) - _(deps)_ bump serde from 1.0.203 to 1.0.204 ([#1063](https://github.com/succinctlabs/sp1/pull/1063)) -- clenaup zkvm +- cleanup zkvm - hm - cleanup zkvm/lib - _(deps)_ bump lazy_static from 1.4.0 to 1.5.0