From dd032eb23949828d244d1ad1f1569aa78155837c Mon Sep 17 00:00:00 2001 From: Matt Stam <15695189+mattstam@users.noreply.github.com> Date: Mon, 22 Jul 2024 21:53:22 -0700 Subject: [PATCH] feat: v1.0.1 (#1165) --- .github/dependabot.yml | 1 + .github/workflows/main.yml | 2 +- Cargo.lock | 36 ++++++------- Cargo.toml | 36 ++++++------- README.md | 17 +++--- book/developers/common-issues.md | 10 ++-- book/generating-proofs/advanced.md | 2 +- book/generating-proofs/setup.md | 3 +- .../contract-addresses.md | 8 +-- book/onchain-verification/getting-started.md | 4 +- book/prover-network/setup.md | 3 +- book/prover-network/usage.md | 2 +- book/prover-network/versions.md | 6 +-- book/writing-programs/build-script.md | 2 +- book/writing-programs/cycle-tracking.md | 20 +++---- book/writing-programs/setup.md | 4 +- core/src/lib.rs | 2 +- examples/Cargo.lock | 52 +++++++++---------- examples/Cargo.toml | 2 +- examples/aggregation/program/Cargo.lock | 8 +-- examples/aggregation/program/Cargo.toml | 2 +- examples/chess/program/Cargo.lock | 6 +-- examples/chess/program/Cargo.toml | 2 +- examples/cycle-tracking/program/Cargo.lock | 8 +-- examples/cycle-tracking/program/Cargo.toml | 2 +- examples/fibonacci/program/Cargo.lock | 6 +-- examples/fibonacci/program/Cargo.toml | 2 +- examples/io/program/Cargo.lock | 6 +-- examples/io/program/Cargo.toml | 2 +- examples/is-prime/program/Cargo.toml | 2 +- examples/json/program/Cargo.lock | 8 +-- examples/json/program/Cargo.toml | 2 +- examples/patch-testing/program/Cargo.lock | 6 +-- examples/patch-testing/program/Cargo.toml | 2 +- examples/regex/program/Cargo.lock | 6 +-- examples/regex/program/Cargo.toml | 2 +- examples/rsa/program/Cargo.lock | 6 +-- examples/rsa/program/Cargo.toml | 2 +- examples/ssz-withdrawals/program/Cargo.lock | 6 +-- examples/ssz-withdrawals/program/Cargo.toml | 2 +- examples/tendermint/program/Cargo.lock | 6 +-- examples/tendermint/program/Cargo.toml | 2 +- recursion/core/Cargo.toml | 2 +- tests/bls12381-add/Cargo.toml | 2 +- tests/bls12381-decompress/Cargo.toml | 2 +- tests/bls12381-double/Cargo.toml | 2 +- tests/bls12381-mul/Cargo.toml | 2 +- tests/bn254-add/Cargo.toml | 2 +- tests/bn254-double/Cargo.toml | 2 +- tests/bn254-mul/Cargo.toml | 2 +- tests/cycle-tracker/Cargo.toml | 2 +- tests/ecrecover/Cargo.toml | 2 +- tests/ed-add/Cargo.toml | 2 +- tests/ed-decompress/Cargo.toml | 2 +- tests/ed25519/Cargo.toml | 2 +- tests/fibonacci/Cargo.toml | 2 +- tests/hint-io/Cargo.toml | 2 +- tests/keccak-permute/Cargo.toml | 2 +- tests/keccak256/Cargo.toml | 2 +- tests/panic/Cargo.toml | 2 +- tests/rand/Cargo.toml | 2 +- tests/secp256k1-add/Cargo.toml | 2 +- tests/secp256k1-decompress/Cargo.toml | 2 +- tests/secp256k1-double/Cargo.toml | 2 +- tests/secp256k1-mul/Cargo.toml | 2 +- tests/sha-compress/Cargo.toml | 2 +- tests/sha-extend/Cargo.toml | 2 +- tests/sha2/Cargo.toml | 2 +- tests/tendermint-benchmark/Cargo.toml | 2 +- tests/uint256-arith/Cargo.toml | 2 +- tests/uint256-mul/Cargo.toml | 2 +- tests/verify-proof/Cargo.toml | 2 +- 72 files changed, 186 insertions(+), 182 deletions(-) diff --git a/.github/dependabot.yml b/.github/dependabot.yml index d9cc194302..09e7cbaded 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -17,3 +17,4 @@ updates: directory: "/" schedule: interval: "weekly" + target-branch: "dev" diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 075774d3e9..e841ef4ead 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -67,7 +67,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check branch - if: github.head_ref != 'dev' && !startsWith(github.ref, 'release/') && !startsWith(github.ref, 'hotfix/') + if: github.head_ref != 'dev' && !startsWith(github.head_ref, 'release/') && !startsWith(github.head_ref, 'hotfix/') run: | echo "ERROR: You can only merge to main from dev, release/*, or hotfix/*." exit 1 diff --git a/Cargo.lock b/Cargo.lock index 5999233b8e..9fab59948c 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -4689,7 +4689,7 @@ dependencies = [ [[package]] name = "sp1-build" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "cargo_metadata", @@ -4698,7 +4698,7 @@ dependencies = [ [[package]] name = "sp1-cli" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anstyle", "anyhow", @@ -4726,7 +4726,7 @@ dependencies = [ [[package]] name = "sp1-core" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "arrayref", @@ -4789,7 +4789,7 @@ dependencies = [ [[package]] name = "sp1-derive" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "proc-macro2", "quote", @@ -4798,7 +4798,7 @@ dependencies = [ [[package]] name = "sp1-eval" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "clap", "csv", @@ -4809,7 +4809,7 @@ dependencies = [ [[package]] name = "sp1-helper" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "cargo_metadata", "chrono", @@ -4818,7 +4818,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -4831,7 +4831,7 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.13.0", "lazy_static", @@ -4843,7 +4843,7 @@ dependencies = [ [[package]] name = "sp1-prover" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -4878,7 +4878,7 @@ dependencies = [ [[package]] name = "sp1-recursion-circuit" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "ff 0.13.0", @@ -4909,7 +4909,7 @@ dependencies = [ [[package]] name = "sp1-recursion-compiler" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "backtrace", "itertools 0.13.0", @@ -4937,7 +4937,7 @@ dependencies = [ [[package]] name = "sp1-recursion-core" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "arrayref", "backtrace", @@ -4972,7 +4972,7 @@ dependencies = [ [[package]] name = "sp1-recursion-derive" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "proc-macro2", "quote", @@ -4981,7 +4981,7 @@ dependencies = [ [[package]] name = "sp1-recursion-gnark-cli" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "clap", @@ -4990,7 +4990,7 @@ dependencies = [ [[package]] name = "sp1-recursion-gnark-ffi" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -5014,7 +5014,7 @@ dependencies = [ [[package]] name = "sp1-recursion-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.13.0", "p3-air", @@ -5042,7 +5042,7 @@ dependencies = [ [[package]] name = "sp1-sdk" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "alloy-sol-types", "anyhow", @@ -5084,7 +5084,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/Cargo.toml b/Cargo.toml index ec25c75786..7cab20b422 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -22,7 +22,7 @@ exclude = ["examples/target"] resolver = "2" [workspace.package] -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" license = "MIT OR Apache-2.0" repository = "https://github.com/succinctlabs/sp1" @@ -41,23 +41,23 @@ debug = true debug-assertions = true [workspace.dependencies] -sp1-build = { path = "build", version = "1.0.0-rc.1" } -sp1-derive = { path = "derive", version = "1.0.0-rc.1" } -sp1-core = { path = "core", version = "1.0.0-rc.1" } -sp1-cli = { path = "cli", version = "1.0.0-rc.1", default-features = false } -sp1-eval = { path = "eval", version = "1.0.0-rc.1", default-features = false } -sp1-helper = { path = "helper", version = "1.0.0-rc.1", default-features = false } -sp1-primitives = { path = "primitives", version = "1.0.0-rc.1" } -sp1-prover = { path = "prover", version = "1.0.0-rc.1" } -sp1-recursion-compiler = { path = "recursion/compiler", version = "1.0.0-rc.1" } -sp1-recursion-core = { path = "recursion/core", version = "1.0.0-rc.1", default-features = false } -sp1-recursion-derive = { path = "recursion/derive", version = "1.0.0-rc.1", default-features = false } -sp1-recursion-gnark-ffi = { path = "recursion/gnark-ffi", version = "1.0.0-rc.1", default-features = false } -sp1-recursion-program = { path = "recursion/program", version = "1.0.0-rc.1", default-features = false } -sp1-recursion-circuit = { path = "recursion/circuit", version = "1.0.0-rc.1", default-features = false } -sp1-sdk = { path = "sdk", version = "1.0.0-rc.1" } -sp1-lib = { path = "zkvm/lib", version = "1.0.0-rc.1", default-features = false } -sp1-zkvm = { path = "zkvm/entrypoint", version = "1.0.0-rc.1", default-features = false } +sp1-build = { path = "build", version = "1.0.1" } +sp1-derive = { path = "derive", version = "1.0.1" } +sp1-core = { path = "core", version = "1.0.1" } +sp1-cli = { path = "cli", version = "1.0.1", default-features = false } +sp1-eval = { path = "eval", version = "1.0.1", default-features = false } +sp1-helper = { path = "helper", version = "1.0.1", default-features = false } +sp1-primitives = { path = "primitives", version = "1.0.1" } +sp1-prover = { path = "prover", version = "1.0.1" } +sp1-recursion-compiler = { path = "recursion/compiler", version = "1.0.1" } +sp1-recursion-core = { path = "recursion/core", version = "1.0.1", default-features = false } +sp1-recursion-derive = { path = "recursion/derive", version = "1.0.1", default-features = false } +sp1-recursion-gnark-ffi = { path = "recursion/gnark-ffi", version = "1.0.1", default-features = false } +sp1-recursion-program = { path = "recursion/program", version = "1.0.1", default-features = false } +sp1-recursion-circuit = { path = "recursion/circuit", version = "1.0.1", default-features = false } +sp1-sdk = { path = "sdk", version = "1.0.1" } +sp1-lib = { path = "zkvm/lib", version = "1.0.1", default-features = false } +sp1-zkvm = { path = "zkvm/entrypoint", version = "1.0.1", default-features = false } p3-air = "0.1.3-succinct" p3-field = "0.1.3-succinct" p3-commit = "0.1.3-succinct" diff --git a/README.md b/README.md index 03a86dbacf..58a0fd97c4 100644 --- a/README.md +++ b/README.md @@ -2,8 +2,7 @@ [![Telegram Chat][tg-badge]][tg-url] - -![](./assets/sp1.png) +![SP1](./assets/sp1.png) SP1 is a performant, 100% open-source, contributor-friendly zero-knowledge virtual machine (zkVM) that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 democratizes access to ZKPs by allowing developers to use programmable truth with popular programming languages. @@ -18,9 +17,6 @@ SP1 is inspired by the open-source software movement and takes a collaborative a ## For Developers: Build with SP1 -**Note that SP1 is still in alpha and is not yet ready for production use.** - - Today, developers can write programs, including complex, large programs like a ZK Tendermint light client, in Rust (with std support), generate proofs and verify them. Most Rust crates should be supported and can be used seamlessly by your program. Example programs can be found in the [examples](https://github.com/succinctlabs/sp1/tree/main/examples) folder. To get started, make sure you have [Rust](https://www.rust-lang.org/tools/install) installed. Then follow the [installation](https://succinctlabs.github.io/sp1/getting-started/install.html) guide in the SP1 book and read the [getting started](https://succinctlabs.github.io/sp1/getting-started/quickstart.html) section. @@ -33,12 +29,14 @@ Open-source is a core part of SP1's ethos and key to its advantages. We wish to Find a list of [good first issues](https://github.com/succinctlabs/sp1/issues?q=is%3Aopen+is%3Aissue+label%3A%22good+first+issue%22+) in the open issues of this repo. We are always looking for contributors interested in tasks big and small, including minor chores across the codebase, optimizing performance, adding precompiles for commonly used cryptographic operations, adding documentation, creating new example programs and more. Please reach out in the Telegram chat if interested! - ## Roadmap Today, SP1 can generate and verify proofs for Rust programs that have been compiled to RISC-V. SP1 supports proving of programs of arbitrary length by using a unique "shared challenges" argument that allows the prover to shard a long computation into small shards, and then generate a global proof that these shards are properly connected together. -The main priorities in the next few months are performance optimizations, getting the core zkVM constraint logic audited, as well as wrapping the SP1 STARK proof into a SNARK proof that is cheaply verifiable in the EVM (by adapting similar [previous work](https://github.com/succinctlabs/gnark-plonky2-verifier) done by the Succinct Team). +The main priorities in the next few months are performance optimizations, getting the core zkVM +constraint logic audited, as well as wrapping the SP1 STARK proof into a SNARK proof that is cheaply +verifiable in the EVM (by adapting similar [previous +work](https://github.com/succinctlabs/gnark-plonky2-verifier) done by the Succinct Team). ## Acknowledgements @@ -48,6 +46,11 @@ We would like to acknowledge the projects below whose previous work has been ins - [Valida](https://github.com/valida-xyz/valida): The SP1 cross-table lookup architecture, prover, borrow macro, and chip design are inspired by Valida. - [RISC0](https://github.com/risc0/risc0): The SP1 Rust toolchain and install/build scripts for the toolchain borrow code from RISC0. +## Security + +SP1 has undergone audits from [Veridise](https://www.veridise.com/), [Cantina](https://cantina.xyz/), +and [KALOS](https://kalos.xyz/). The audit reports are available [here](./audits). + ## Tips We recommend you install the [rust-analyzer](https://marketplace.visualstudio.com/items?itemName=rust-lang.rust-analyzer) extension. diff --git a/book/developers/common-issues.md b/book/developers/common-issues.md index b5c5f7be79..5c3539e011 100644 --- a/book/developers/common-issues.md +++ b/book/developers/common-issues.md @@ -12,13 +12,12 @@ This is likely due to two different versions of `alloy_sol_types` being used. To ```toml [dependencies] -sp1-sdk = { version = "0.1.0", default-features = false } +sp1-sdk = { version = "1.0.1", default-features = false } ``` -This will configure out the `network` feature which will remove the dependency on `alloy_sol_types` +This will configure out the `network` feature which will remove the dependency on `alloy_sol_types` and configure out the `NetworkProver`. - ## Rust Version Errors If you are using `alloy` or another library that has an MSRV (minimum support rust version) of 1.76.0 @@ -48,13 +47,16 @@ To fix this, you can: ``` ## Stack Overflow Errors + If you encounter the following in a script using `sp1-sdk`: ``` thread 'main' has overflowed its stack fatal runtime error: stack overflow ``` + ``` Segmentation fault (core dumped) ``` -Re-run your script with `--release`. \ No newline at end of file + +Re-run your script with `--release`. diff --git a/book/generating-proofs/advanced.md b/book/generating-proofs/advanced.md index b550215fe6..cff65d9d85 100644 --- a/book/generating-proofs/advanced.md +++ b/book/generating-proofs/advanced.md @@ -48,7 +48,7 @@ RUSTFLAGS='-C target-cpu=native' cargo run --release Currently there is support for AVX512 and NEON SIMD instructions. For NEON, you must also enable the `sp1-sdk` feature `neon` in your script crate's `Cargo.toml` file. ```toml -sp1-sdk = { git = "https://github.com/succinctlabs/sp1", features = ["neon"] } +sp1-sdk = { version = "1.0.1", features = ["neon"] } ``` ## Performance diff --git a/book/generating-proofs/setup.md b/book/generating-proofs/setup.md index 4b2252d26e..42726a99fa 100644 --- a/book/generating-proofs/setup.md +++ b/book/generating-proofs/setup.md @@ -11,7 +11,6 @@ cargo prove new cd script ``` - ## Manual You can also manually setup a project. First create a new cargo project: @@ -33,7 +32,7 @@ name = "script" edition = "2021" [dependencies] -sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git" } +sp1-sdk = "1.0.1" ``` The `sp1-sdk` crate includes the necessary utilities to generate, save, and verify proofs. diff --git a/book/onchain-verification/contract-addresses.md b/book/onchain-verification/contract-addresses.md index 70fd26b07a..48d7f98b93 100644 --- a/book/onchain-verification/contract-addresses.md +++ b/book/onchain-verification/contract-addresses.md @@ -2,9 +2,9 @@ When using SP1, we recommend using our deployed verifiers. Each contract is a [SP1VerifierGateway](https://github.com/succinctlabs/sp1-contracts/blob/main/contracts/src/ISP1VerifierGateway.sol) which can automatically routes your SP1 proof to the correct verifier based on the prover version. - | Chain ID | Chain | Gateway | -|----------|------------------|---------------------------------------------------------------------------------------------------------------------------------| +| -------- | ---------------- | ------------------------------------------------------------------------------------------------------------------------------- | +| 1 | Mainnet | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://etherscan.io/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | | 11155111 | Sepolia | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://sepolia.etherscan.io/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | | 17000 | Holesky | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://holesky.etherscan.io/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | | 42161 | Arbitrum One | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://arbiscan.io/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | @@ -14,7 +14,7 @@ When using SP1, we recommend using our deployed verifiers. Each contract is a [S | 8453 | Base | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://basescan.org/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | | 84532 | Base Sepolia | [0x3B6041173B80E77f038f3F2C0f9744f04837185e](https://sepolia.basescan.org/address/0x3B6041173B80E77f038f3F2C0f9744f04837185e) | -**Currently officially supported versions of SP1 are v1.0.7 and v1.0.8.** If you'd like official support for a verifier on a different chain, please ask in the [SP1 Telegram](https://t.me/succinct_sp1). +**Currently officially supported version of SP1 is v1.0.1.** If you'd like official support for a verifier on a different chain, please ask in the [SP1 Telegram](https://t.me/succinct_sp1). ## ISP1Verifier Interface @@ -40,4 +40,4 @@ interface ISP1Verifier { bytes calldata proofBytes ) external view; } -``` \ No newline at end of file +``` diff --git a/book/onchain-verification/getting-started.md b/book/onchain-verification/getting-started.md index f9eb36b1a1..39fad85ba5 100644 --- a/book/onchain-verification/getting-started.md +++ b/book/onchain-verification/getting-started.md @@ -27,7 +27,5 @@ You can run the above script with `RUST_LOG=info cargo run --bin plonk_bn254 --r If you would like to run the PLONK prover directly without Docker, you must have Go 1.22 installed and enable the `native-plonk` feature in `sp1-sdk`. This path is not recommended and may require additional native dependencies. ```toml -sp1-sdk = { features = ["native-plonk"] } +sp1-sdk = { version = "1.0.1", features = ["native-plonk"] } ``` - - diff --git a/book/prover-network/setup.md b/book/prover-network/setup.md index 1417885c29..575b333f45 100644 --- a/book/prover-network/setup.md +++ b/book/prover-network/setup.md @@ -1,6 +1,6 @@ # Prover Network: Setup -> **Currently, the supported version of SP1 on the prover network is `v1.0.5-testnet`.** +> **Currently, the supported version of SP1 on the prover network is `v1.0.1`.** So far we've explored how to generate proofs locally, but this can actually be inconvenient on local machines due to high memory / CPU requirements, especially for very large programs. @@ -16,6 +16,7 @@ Network. Completing this form requires you to complete the [key setup](#key-setu The prover network uses Secp256k1 keypairs for authentication, similar to Ethereum wallets. You may generate a new keypair explicitly for use with the prover network, or use an existing keypair. **You do not need to hold any funds in this account, it is used solely for access control.** ### Generate a new keypair with `cast` + Prover network keypair credentials can be generated using the [cast](https://book.getfoundry.sh/cast/) CLI tool. diff --git a/book/prover-network/usage.md b/book/prover-network/usage.md index 4b695d25f2..e21304e1b7 100644 --- a/book/prover-network/usage.md +++ b/book/prover-network/usage.md @@ -1,6 +1,6 @@ # Prover Network: Usage -> **Currently, the supported version of SP1 on the prover network is `v1.0.5-testnet`.** +> **Currently, the supported version of SP1 on the prover network is `v1.0.1`.** ## Sending a proof request diff --git a/book/prover-network/versions.md b/book/prover-network/versions.md index a6dfc1b6f3..adfb4d8abb 100644 --- a/book/prover-network/versions.md +++ b/book/prover-network/versions.md @@ -4,7 +4,7 @@ The prover network currently only supports specific versions of SP1: | Environment | RPC URL | Supported Version | | ----------- | -------------------------- | ----------------- | -| Prod | `https://rpc.succinct.xyz` | v1.0.5-testnet | +| Prod | `https://rpc.succinct.xyz` | v1.0.1 | If you submit a proof request to the prover network and your are not using the supported version, you will receive an error message. @@ -14,14 +14,14 @@ You must switch to a supported version before submitting a proof. To do so, repl ```toml [dependencies] -sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", tag = "v1.0.5-testnet" } +sp1-zkvm = "1.0.1" ``` replace the `sp1-sdk` version in your script's `Cargo.toml`: ```toml [dependencies] -sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", tag = "v1.0.5-testnet" } +sp1-sdk = "1.0.1" ``` Re-build your program and script, and then try again. diff --git a/book/writing-programs/build-script.md b/book/writing-programs/build-script.md index fa673ad806..734409a5d9 100644 --- a/book/writing-programs/build-script.md +++ b/book/writing-programs/build-script.md @@ -14,7 +14,7 @@ Make sure to also add `sp1-helper` as a build dependency in `script/Cargo.toml`: ```toml [build-dependencies] -sp1-helper = { git = "https://github.com/succinctlabs/sp1.git" } +sp1-helper = "1.0.1" ``` If you run `RUST_LOG=info cargo run --release -vv`, you will see the following output from the build script if the program has changed, indicating that the program was rebuilt: diff --git a/book/writing-programs/cycle-tracking.md b/book/writing-programs/cycle-tracking.md index 953feff808..975c591ccd 100644 --- a/book/writing-programs/cycle-tracking.md +++ b/book/writing-programs/cycle-tracking.md @@ -14,7 +14,7 @@ Note that to use the macro, you must add the `sp1-derive` crate to your dependen ```toml [dependencies] -sp1-derive = { git = "https://github.com/succinctlabs/sp1.git" } +sp1-derive = "1.0.1" ``` In the script for proof generation, setup the logger with `utils::setup_logger()` and run the script with `RUST_LOG=info cargo run --release`. You should see the following output: @@ -25,17 +25,17 @@ $ RUST_LOG=info cargo run --release Running `target/release/cycle-tracking-script` 2024-03-13T02:03:40.567500Z INFO execute: loading memory image 2024-03-13T02:03:40.567751Z INFO execute: starting execution -2024-03-13T02:03:40.567760Z INFO execute: clk = 0 pc = 0x2013b8 -2024-03-13T02:03:40.567822Z INFO execute: ┌╴setup -2024-03-13T02:03:40.568095Z INFO execute: └╴4,398 cycles -2024-03-13T02:03:40.568122Z INFO execute: ┌╴main-body -2024-03-13T02:03:40.568149Z INFO execute: │ ┌╴expensive_function -2024-03-13T02:03:40.568250Z INFO execute: │ └╴1,368 cycles +2024-03-13T02:03:40.567760Z INFO execute: clk = 0 pc = 0x2013b8 +2024-03-13T02:03:40.567822Z INFO execute: ┌╴setup +2024-03-13T02:03:40.568095Z INFO execute: └╴4,398 cycles +2024-03-13T02:03:40.568122Z INFO execute: ┌╴main-body +2024-03-13T02:03:40.568149Z INFO execute: │ ┌╴expensive_function +2024-03-13T02:03:40.568250Z INFO execute: │ └╴1,368 cycles stdout: result: 5561 -2024-03-13T02:03:40.568373Z INFO execute: │ ┌╴expensive_function -2024-03-13T02:03:40.568470Z INFO execute: │ └╴1,368 cycles +2024-03-13T02:03:40.568373Z INFO execute: │ ┌╴expensive_function +2024-03-13T02:03:40.568470Z INFO execute: │ └╴1,368 cycles stdout: result: 2940 -2024-03-13T02:03:40.568556Z INFO execute: └╴5,766 cycles +2024-03-13T02:03:40.568556Z INFO execute: └╴5,766 cycles 2024-03-13T02:03:40.568566Z INFO execute: finished execution clk = 11127 pc = 0x0 2024-03-13T02:03:40.569251Z INFO execute: close time.busy=1.78ms time.idle=21.1µs ``` diff --git a/book/writing-programs/setup.md b/book/writing-programs/setup.md index ca0dac1aa2..5e89f84509 100644 --- a/book/writing-programs/setup.md +++ b/book/writing-programs/setup.md @@ -30,7 +30,7 @@ This will compile the ELF that can be executed in the zkVM and put the executabl For production builds of programs, you can build your program inside a Docker container which will generate a **reproducible ELF** on all platforms. To do so, just use the `--docker` flag and the `--tag` flag with the release version you want to use. For example: ```bash -cargo prove build --docker --tag v1.0.5-testnet +cargo prove build --docker --tag v1.0.1 ``` To verify that your build is reproducible, you can compute the SHA-512 hash of the ELF on different platforms and systems with: @@ -61,7 +61,7 @@ name = "program" edition = "2021" [dependencies] -sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git" } +sp1-zkvm = "1.0.1" ``` The `sp1-zkvm` crate includes necessary utilities for your program, including handling inputs and outputs, diff --git a/core/src/lib.rs b/core/src/lib.rs index 2e9fecd64d..e9e1e56099 100644 --- a/core/src/lib.rs +++ b/core/src/lib.rs @@ -37,4 +37,4 @@ use stark::StarkGenericConfig; /// This string should be updated whenever any step in verifying an SP1 proof changes, including /// core, recursion, and plonk-bn254. This string is used to download SP1 artifacts and the gnark /// docker image. -pub const SP1_CIRCUIT_VERSION: &str = "v1.0.0-rc.1"; +pub const SP1_CIRCUIT_VERSION: &str = "v1.0.1"; diff --git a/examples/Cargo.lock b/examples/Cargo.lock index 1644e2759e..3e5d26afc6 100644 --- a/examples/Cargo.lock +++ b/examples/Cargo.lock @@ -51,7 +51,7 @@ dependencies = [ [[package]] name = "aggregation-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "hex", "sp1-helper", @@ -782,7 +782,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" [[package]] name = "chess-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-helper", "sp1-sdk", @@ -1114,7 +1114,7 @@ dependencies = [ [[package]] name = "cycle-tracking-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-helper", "sp1-sdk", @@ -1728,7 +1728,7 @@ checksum = "28dea519a9695b9977216879a3ebfddf92f1c08c05d984f8996aecd6ecdc811d" [[package]] name = "fibonacci-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.12.1", "sha2 0.10.8", @@ -2462,7 +2462,7 @@ dependencies = [ [[package]] name = "io-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "serde", "sp1-helper", @@ -2477,7 +2477,7 @@ checksum = "8f518f335dce6725a761382244631d86cf0ccb2863413590b31338feb467f9c3" [[package]] name = "is-prime-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-sdk", ] @@ -2541,7 +2541,7 @@ dependencies = [ [[package]] name = "json-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "lib", "serde", @@ -2628,7 +2628,7 @@ checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55" [[package]] name = "lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "serde", ] @@ -3483,7 +3483,7 @@ checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a" [[package]] name = "patch-testing-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "ed25519-consensus", "rand", @@ -3983,7 +3983,7 @@ dependencies = [ [[package]] name = "regex-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-helper", "sp1-sdk", @@ -4210,7 +4210,7 @@ dependencies = [ [[package]] name = "rsa-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "rsa", "sp1-helper", @@ -4810,7 +4810,7 @@ dependencies = [ [[package]] name = "sp1-build" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "cargo_metadata", @@ -4819,7 +4819,7 @@ dependencies = [ [[package]] name = "sp1-core" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "arrayref", @@ -4879,7 +4879,7 @@ dependencies = [ [[package]] name = "sp1-derive" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "proc-macro2", "quote", @@ -4888,7 +4888,7 @@ dependencies = [ [[package]] name = "sp1-helper" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "cargo_metadata", "chrono", @@ -4897,7 +4897,7 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.13.0", "lazy_static", @@ -4909,7 +4909,7 @@ dependencies = [ [[package]] name = "sp1-prover" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -4944,7 +4944,7 @@ dependencies = [ [[package]] name = "sp1-recursion-circuit" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "itertools 0.13.0", @@ -4966,7 +4966,7 @@ dependencies = [ [[package]] name = "sp1-recursion-compiler" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "backtrace", "itertools 0.13.0", @@ -4990,7 +4990,7 @@ dependencies = [ [[package]] name = "sp1-recursion-core" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "arrayref", "backtrace", @@ -5024,7 +5024,7 @@ dependencies = [ [[package]] name = "sp1-recursion-derive" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "proc-macro2", "quote", @@ -5033,7 +5033,7 @@ dependencies = [ [[package]] name = "sp1-recursion-gnark-ffi" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -5057,7 +5057,7 @@ dependencies = [ [[package]] name = "sp1-recursion-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.13.0", "p3-air", @@ -5085,7 +5085,7 @@ dependencies = [ [[package]] name = "sp1-sdk" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "alloy-sol-types", "anyhow", @@ -5159,7 +5159,7 @@ dependencies = [ [[package]] name = "ssz-withdrawals-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-helper", "sp1-sdk", @@ -5395,7 +5395,7 @@ dependencies = [ [[package]] name = "tendermint-script" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "itertools 0.12.1", diff --git a/examples/Cargo.toml b/examples/Cargo.toml index 9aa472af29..6a848d88d9 100644 --- a/examples/Cargo.toml +++ b/examples/Cargo.toml @@ -17,7 +17,7 @@ members = [ resolver = "2" [workspace.package] -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" [workspace.dependencies] diff --git a/examples/aggregation/program/Cargo.lock b/examples/aggregation/program/Cargo.lock index 32aa1d0e0c..8cc95185ad 100644 --- a/examples/aggregation/program/Cargo.lock +++ b/examples/aggregation/program/Cargo.lock @@ -4,7 +4,7 @@ version = 3 [[package]] name = "aggregation-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "hex", "sha2", @@ -388,7 +388,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -398,7 +398,7 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "itertools 0.13.0", "lazy_static", @@ -410,7 +410,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/aggregation/program/Cargo.toml b/examples/aggregation/program/Cargo.toml index 8b9ae99e28..7de447410e 100644 --- a/examples/aggregation/program/Cargo.toml +++ b/examples/aggregation/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "aggregation-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/chess/program/Cargo.lock b/examples/chess/program/Cargo.lock index 041ffce981..973a63cd51 100644 --- a/examples/chess/program/Cargo.lock +++ b/examples/chess/program/Cargo.lock @@ -88,7 +88,7 @@ dependencies = [ [[package]] name = "chess-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "chess", "sp1-zkvm", @@ -365,7 +365,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -375,7 +375,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/chess/program/Cargo.toml b/examples/chess/program/Cargo.toml index 48126fcda7..553eaa4cbc 100644 --- a/examples/chess/program/Cargo.toml +++ b/examples/chess/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "chess-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/cycle-tracking/program/Cargo.lock b/examples/cycle-tracking/program/Cargo.lock index e9c96087c2..d65dfc5c1c 100644 --- a/examples/cycle-tracking/program/Cargo.lock +++ b/examples/cycle-tracking/program/Cargo.lock @@ -53,7 +53,7 @@ dependencies = [ [[package]] name = "cycle-tracking-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-derive", "sp1-zkvm", @@ -201,7 +201,7 @@ dependencies = [ [[package]] name = "sp1-derive" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "proc-macro2", "quote", @@ -210,7 +210,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -220,7 +220,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/cycle-tracking/program/Cargo.toml b/examples/cycle-tracking/program/Cargo.toml index 22958112a4..b3c4ef408c 100644 --- a/examples/cycle-tracking/program/Cargo.toml +++ b/examples/cycle-tracking/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "cycle-tracking-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/fibonacci/program/Cargo.lock b/examples/fibonacci/program/Cargo.lock index ad6e8ec61e..98b446bd1a 100644 --- a/examples/fibonacci/program/Cargo.lock +++ b/examples/fibonacci/program/Cargo.lock @@ -63,7 +63,7 @@ dependencies = [ [[package]] name = "fibonacci-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "sp1-zkvm", ] @@ -200,7 +200,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -210,7 +210,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/fibonacci/program/Cargo.toml b/examples/fibonacci/program/Cargo.toml index c9e2debd4e..266e18510e 100644 --- a/examples/fibonacci/program/Cargo.toml +++ b/examples/fibonacci/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "fibonacci-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/io/program/Cargo.lock b/examples/io/program/Cargo.lock index cd9d99e33a..06d596d9c7 100644 --- a/examples/io/program/Cargo.lock +++ b/examples/io/program/Cargo.lock @@ -84,7 +84,7 @@ dependencies = [ [[package]] name = "io-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "serde", "sp1-zkvm", @@ -201,7 +201,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -211,7 +211,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/io/program/Cargo.toml b/examples/io/program/Cargo.toml index 64e066daa9..6466eb3f3b 100644 --- a/examples/io/program/Cargo.toml +++ b/examples/io/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "io-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/is-prime/program/Cargo.toml b/examples/is-prime/program/Cargo.toml index f30650ec1c..29123eb9c1 100644 --- a/examples/is-prime/program/Cargo.toml +++ b/examples/is-prime/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "is-prime-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/json/program/Cargo.lock b/examples/json/program/Cargo.lock index 6592725c22..0032c912dd 100644 --- a/examples/json/program/Cargo.lock +++ b/examples/json/program/Cargo.lock @@ -90,7 +90,7 @@ checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b" [[package]] name = "json-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "lib", "serde", @@ -106,7 +106,7 @@ checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" [[package]] name = "lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "serde", ] @@ -233,7 +233,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -243,7 +243,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/json/program/Cargo.toml b/examples/json/program/Cargo.toml index 60c7a3d9a1..55e50cd71b 100644 --- a/examples/json/program/Cargo.toml +++ b/examples/json/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "json-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/patch-testing/program/Cargo.lock b/examples/patch-testing/program/Cargo.lock index 16f907514f..6de95c9db1 100644 --- a/examples/patch-testing/program/Cargo.lock +++ b/examples/patch-testing/program/Cargo.lock @@ -176,7 +176,7 @@ checksum = "c08d65885ee38876c4f86fa503fb49d7b507c2b62552df7c70b2fce627e06381" [[package]] name = "patch-testing-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "curve25519-dalek-ng", "ed25519-consensus", @@ -285,7 +285,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -295,7 +295,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/patch-testing/program/Cargo.toml b/examples/patch-testing/program/Cargo.toml index 34c289601f..110cbed81d 100644 --- a/examples/patch-testing/program/Cargo.toml +++ b/examples/patch-testing/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "patch-testing-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/regex/program/Cargo.lock b/examples/regex/program/Cargo.lock index e99e196c7a..0abaef5418 100644 --- a/examples/regex/program/Cargo.lock +++ b/examples/regex/program/Cargo.lock @@ -200,7 +200,7 @@ dependencies = [ [[package]] name = "regex-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "regex", "sp1-zkvm", @@ -245,7 +245,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -255,7 +255,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/regex/program/Cargo.toml b/examples/regex/program/Cargo.toml index 6ebe448da7..161e664670 100644 --- a/examples/regex/program/Cargo.toml +++ b/examples/regex/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "regex-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/rsa/program/Cargo.lock b/examples/rsa/program/Cargo.lock index 7a55b190c9..6491ffbf8d 100644 --- a/examples/rsa/program/Cargo.lock +++ b/examples/rsa/program/Cargo.lock @@ -332,7 +332,7 @@ dependencies = [ [[package]] name = "rsa-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "digest 0.10.7", "rand", @@ -392,7 +392,7 @@ checksum = "3c5e1a9a646d36c3599cd173a41282daf47c44583ad367b8e6837255952e5c67" [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -402,7 +402,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", diff --git a/examples/rsa/program/Cargo.toml b/examples/rsa/program/Cargo.toml index d49f9c5152..22d2305dc4 100644 --- a/examples/rsa/program/Cargo.toml +++ b/examples/rsa/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "rsa-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/ssz-withdrawals/program/Cargo.lock b/examples/ssz-withdrawals/program/Cargo.lock index 006ade59e0..add833022a 100644 --- a/examples/ssz-withdrawals/program/Cargo.lock +++ b/examples/ssz-withdrawals/program/Cargo.lock @@ -1312,7 +1312,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -1322,7 +1322,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", @@ -1348,7 +1348,7 @@ dependencies = [ [[package]] name = "ssz-withdrawals-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "alloy-primitives", "hex", diff --git a/examples/ssz-withdrawals/program/Cargo.toml b/examples/ssz-withdrawals/program/Cargo.toml index d71eb92a64..d5b89c89f2 100644 --- a/examples/ssz-withdrawals/program/Cargo.toml +++ b/examples/ssz-withdrawals/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "ssz-withdrawals-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/examples/tendermint/program/Cargo.lock b/examples/tendermint/program/Cargo.lock index 7aea73e5a3..2eeaaec5f4 100644 --- a/examples/tendermint/program/Cargo.lock +++ b/examples/tendermint/program/Cargo.lock @@ -573,7 +573,7 @@ checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de" [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "anyhow", "bincode", @@ -583,7 +583,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "bincode", "cfg-if", @@ -694,7 +694,7 @@ dependencies = [ [[package]] name = "tendermint-program" -version = "1.0.0-rc.1" +version = "1.0.1" dependencies = [ "serde", "serde_cbor", diff --git a/examples/tendermint/program/Cargo.toml b/examples/tendermint/program/Cargo.toml index 2da3d65c27..28f722b4dc 100644 --- a/examples/tendermint/program/Cargo.toml +++ b/examples/tendermint/program/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "tendermint-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/recursion/core/Cargo.toml b/recursion/core/Cargo.toml index 3d8b0d486e..bad48a1b33 100644 --- a/recursion/core/Cargo.toml +++ b/recursion/core/Cargo.toml @@ -36,7 +36,7 @@ serde = { version = "1.0", features = ["derive", "rc"] } serde_with = "3.9.0" backtrace = { version = "0.3.71", features = ["serde"] } arrayref = "0.3.7" -static_assertions = "1.1.0" +static_assertions = "1.0.1" num_cpus = "1.16.0" [dev-dependencies] diff --git a/tests/bls12381-add/Cargo.toml b/tests/bls12381-add/Cargo.toml index ff3fbc99f8..edb1eb3171 100644 --- a/tests/bls12381-add/Cargo.toml +++ b/tests/bls12381-add/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bls12381-add-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/bls12381-decompress/Cargo.toml b/tests/bls12381-decompress/Cargo.toml index 2b837fce72..b76c3c8d02 100644 --- a/tests/bls12381-decompress/Cargo.toml +++ b/tests/bls12381-decompress/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bls-decompress-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/bls12381-double/Cargo.toml b/tests/bls12381-double/Cargo.toml index cb43319a31..72ddc804fc 100644 --- a/tests/bls12381-double/Cargo.toml +++ b/tests/bls12381-double/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bls12381-double-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/bls12381-mul/Cargo.toml b/tests/bls12381-mul/Cargo.toml index b9b519bae1..42131b2613 100644 --- a/tests/bls12381-mul/Cargo.toml +++ b/tests/bls12381-mul/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bls12381-mul-test" -version = "1.0.0-rc.1" +version = "1.0.1" publish = false diff --git a/tests/bn254-add/Cargo.toml b/tests/bn254-add/Cargo.toml index f9dd6654a8..4cddb64d22 100644 --- a/tests/bn254-add/Cargo.toml +++ b/tests/bn254-add/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bn254-add-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/bn254-double/Cargo.toml b/tests/bn254-double/Cargo.toml index c95972dda2..f51eff7840 100644 --- a/tests/bn254-double/Cargo.toml +++ b/tests/bn254-double/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bn254-double-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/bn254-mul/Cargo.toml b/tests/bn254-mul/Cargo.toml index b891e5fd8a..e3d12710b9 100644 --- a/tests/bn254-mul/Cargo.toml +++ b/tests/bn254-mul/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "bn254-mul-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/cycle-tracker/Cargo.toml b/tests/cycle-tracker/Cargo.toml index fb04b2465c..b3ce0e21d8 100644 --- a/tests/cycle-tracker/Cargo.toml +++ b/tests/cycle-tracker/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "cycle-tracker-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/ecrecover/Cargo.toml b/tests/ecrecover/Cargo.toml index 1c74f8af73..30a3774b79 100644 --- a/tests/ecrecover/Cargo.toml +++ b/tests/ecrecover/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "ecrecover-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/ed-add/Cargo.toml b/tests/ed-add/Cargo.toml index b8323c2e8f..7347c6c67e 100644 --- a/tests/ed-add/Cargo.toml +++ b/tests/ed-add/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "ed-add-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/ed-decompress/Cargo.toml b/tests/ed-decompress/Cargo.toml index 31cc9802e4..cc88095513 100644 --- a/tests/ed-decompress/Cargo.toml +++ b/tests/ed-decompress/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "ed-decompress-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/ed25519/Cargo.toml b/tests/ed25519/Cargo.toml index cdf64839d8..7f36187ce7 100644 --- a/tests/ed25519/Cargo.toml +++ b/tests/ed25519/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "ed25519-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/fibonacci/Cargo.toml b/tests/fibonacci/Cargo.toml index bbe0fde81a..eba3e580ba 100644 --- a/tests/fibonacci/Cargo.toml +++ b/tests/fibonacci/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "fibonacci-program-tests" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/hint-io/Cargo.toml b/tests/hint-io/Cargo.toml index 1e8caf9ef3..a4e3853eb2 100644 --- a/tests/hint-io/Cargo.toml +++ b/tests/hint-io/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "hint-io-test" -version = "1.0.0-rc.1" +version = "1.0.1" publish = false [dependencies] diff --git a/tests/keccak-permute/Cargo.toml b/tests/keccak-permute/Cargo.toml index 1836a61e6a..1d0a2f950f 100644 --- a/tests/keccak-permute/Cargo.toml +++ b/tests/keccak-permute/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "keccak-permute-test" -version = "1.0.0-rc.1" +version = "1.0.1" publish = false [dependencies] diff --git a/tests/keccak256/Cargo.toml b/tests/keccak256/Cargo.toml index 4d6b9d1f40..c76f041294 100644 --- a/tests/keccak256/Cargo.toml +++ b/tests/keccak256/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "keccak256-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/panic/Cargo.toml b/tests/panic/Cargo.toml index 73408f84e5..26bc8983db 100644 --- a/tests/panic/Cargo.toml +++ b/tests/panic/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "panic-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/rand/Cargo.toml b/tests/rand/Cargo.toml index d37f14d2e7..13bf348b94 100644 --- a/tests/rand/Cargo.toml +++ b/tests/rand/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "rand-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/secp256k1-add/Cargo.toml b/tests/secp256k1-add/Cargo.toml index c1e56e3421..1105a6854f 100644 --- a/tests/secp256k1-add/Cargo.toml +++ b/tests/secp256k1-add/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "secp256k1-add-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/secp256k1-decompress/Cargo.toml b/tests/secp256k1-decompress/Cargo.toml index 5abf03a12b..4501a60676 100644 --- a/tests/secp256k1-decompress/Cargo.toml +++ b/tests/secp256k1-decompress/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "secp256k1-decompress-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/secp256k1-double/Cargo.toml b/tests/secp256k1-double/Cargo.toml index ab451635bd..0e730b634a 100644 --- a/tests/secp256k1-double/Cargo.toml +++ b/tests/secp256k1-double/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "secp256k1-double-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/secp256k1-mul/Cargo.toml b/tests/secp256k1-mul/Cargo.toml index 451cc9cdee..20069bcd86 100644 --- a/tests/secp256k1-mul/Cargo.toml +++ b/tests/secp256k1-mul/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "secp256k1-mul-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/sha-compress/Cargo.toml b/tests/sha-compress/Cargo.toml index a7459e5e39..9952188518 100644 --- a/tests/sha-compress/Cargo.toml +++ b/tests/sha-compress/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "sha-compress-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/sha-extend/Cargo.toml b/tests/sha-extend/Cargo.toml index ee2b76c606..2f4c8e6c1f 100644 --- a/tests/sha-extend/Cargo.toml +++ b/tests/sha-extend/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "sha-extend-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/sha2/Cargo.toml b/tests/sha2/Cargo.toml index d58f48b4a2..959c6d20f0 100644 --- a/tests/sha2/Cargo.toml +++ b/tests/sha2/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "sha2-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/tendermint-benchmark/Cargo.toml b/tests/tendermint-benchmark/Cargo.toml index 2f4871e764..e819697907 100644 --- a/tests/tendermint-benchmark/Cargo.toml +++ b/tests/tendermint-benchmark/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "tendermint-benchmark-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/uint256-arith/Cargo.toml b/tests/uint256-arith/Cargo.toml index 566e0326a3..295f4559ee 100644 --- a/tests/uint256-arith/Cargo.toml +++ b/tests/uint256-arith/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "uint256-arith-program" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/uint256-mul/Cargo.toml b/tests/uint256-mul/Cargo.toml index b566692a4d..841a631b7f 100644 --- a/tests/uint256-mul/Cargo.toml +++ b/tests/uint256-mul/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "biguint-mul-test" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false diff --git a/tests/verify-proof/Cargo.toml b/tests/verify-proof/Cargo.toml index aafde1fe9a..fff214e0b5 100644 --- a/tests/verify-proof/Cargo.toml +++ b/tests/verify-proof/Cargo.toml @@ -1,7 +1,7 @@ [workspace] [package] name = "verify-proof" -version = "1.0.0-rc.1" +version = "1.0.1" edition = "2021" publish = false