feat: v4.0.1 #1941

nhtyy · 2025-01-16T20:25:41Z

Includes a warning message when using cargo prove build --elf-name without a corresponding --output-directory
Includes a fix for programs failing to build on host that depend on sp1-zkvm & sp1-lib
Bumps gnark docker test storage
Adds docs that sp1up always installs and the newest version and you should use -C in ci
Adds docs about potential toolchain issues with old versions of sp1-build
Better panic messages on read / read_vec
Fixes an eror when installing the cli from crates
Updates the toolchain tag, the new version supports old libc versions on x86

…chain (#1939)

Co-authored-by: nhtyy <[email protected]>

nhtyy · 2025-01-16T20:27:50Z

Missing version bump, do not merge until thats done.

crates/build/src/build.rs

crates/zkvm/entrypoint/src/allocators/embedded.rs

ratankaliani

LGTM, after the inclusion of 4.0.1 tag bump.

not all changes included yet

Co-authored-by: Ratan Kaliani <[email protected]>

ratankaliani · 2025-01-17T20:49:45Z

.github/workflows/book.yml

@@ -46,7 +46,7 @@ jobs:

  deploy:
    # Only deploy if a push to main


nit: update comment

.github/workflows/book.yml

crates/cli/src/lib.rs

ratankaliani

LGTM, one small comment

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

* chore: bump docker image * chore: bump patches * fix: workflow docker gnark install toolchain * fix: bump examples patch * fix: clean up install logic * fix: remove ed-consesnus patch * fix: test mod vis * fix: examples * fix: docker ci (#230) * chore: bump docker image * chore: bump patches * fix: workflow docker gnark install toolchain * fix: bump examples patch * fix: clean up install logic * fix * fix ci --------- Co-authored-by: nhtyy <[email protected]> * doc updates * chore: book + tracing (#1932) * fix: book deploy workflow * add versioned docs * chore: don't skip deploy step * try symlink gcc per rocksdb rec * try add fix for ARM musl targets * fix: need seperate musl setups arm vs x86 * combine old arm musl setup * feat: v4.0.1 (#1941) Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> * fix: macos-12 runners deprecated * improve docs regarding new memory argument * resolve comments * fix(book): commit yarn lock file (#1960) * feat: display the correct proof type in SP1ProofWithPublicValues::bytes() (#1964) * fix(ci): cache paths not found in book workflow * fix(ci): correct cache usage for book (#1965) * fix(ci): fix big int version to avoid msrv (#1966) * chore: include rustc --version stderr in panic (#1968) * fix(sdk): implemented verify for EnvProver (#1963) * perf: rm vec allocs from words conversions (#1972) * feat(sdk): proof timeout fix (#1971) * feat: don't checkout submodules when doing `cargo prove new --evm` (#1976) * fix(sdk): retry network request proof (#1977) * feat(sdk): Turn off `alloy-*` crate features by default (#1980) * docs: add audit report for v4, fix typo (#1988) * docs: improve precompile security docs (#1991) * fix: Write diagnostics to stderr (vs stdout) (#1978) * fix(examples): check next validators hash in tendermint program (#1992) * feat(docker-build): pass additional workspace directory (#1975) * chore: ignore generated by Intellij-based IDEs. (#1986) * docs: add GitHub token usage example in installation guide (#1984) * feat: remove deprecated #[clap] attribute (#1898) * chore: rm redundant to_vec (#1970) * chore(clippy): misc clippy fixes (#1969) * fix: use downloadable go directive 1.22.0 (#1967) * chore: reorder impl members to match trait definition (#1985) * fix: deferred checkpoints optimization (#1973) Co-authored-by: N <[email protected]> * fix(ci): clippy + fmt (#1997) * fix: typo in prover network docs (#1998) * test: check syscalls are actually emitted (#1981) * perf(prover): powers of alpha (#2000) Co-authored-by: nhtyy <[email protected]> Co-authored-by: Yuwen Zhang <[email protected]> Co-authored-by: jtguibas <[email protected]> Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: rkm0959 <[email protected]> Co-authored-by: Aurélien <[email protected]> Co-authored-by: Matthias Seitz <[email protected]> Co-authored-by: srdtrk <[email protected]> Co-authored-by: Matt Stam <[email protected]> Co-authored-by: Ivan Mikushin <[email protected]> Co-authored-by: Abishek Bashyal <[email protected]> Co-authored-by: DevOrbitlabs <[email protected]> Co-authored-by: Gengar <[email protected]> Co-authored-by: crStiv <[email protected]> Co-authored-by: Chris T. <[email protected]> * nit --------- Co-authored-by: nhtyy <[email protected]> Co-authored-by: Yuwen Zhang <[email protected]> Co-authored-by: jtguibas <[email protected]> Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: rkm0959 <[email protected]> Co-authored-by: Aurélien <[email protected]> Co-authored-by: Matthias Seitz <[email protected]> Co-authored-by: srdtrk <[email protected]> Co-authored-by: Matt Stam <[email protected]> Co-authored-by: Ivan Mikushin <[email protected]> Co-authored-by: Abishek Bashyal <[email protected]> Co-authored-by: DevOrbitlabs <[email protected]> Co-authored-by: Gengar <[email protected]> Co-authored-by: crStiv <[email protected]> Co-authored-by: Chris T. <[email protected]>

* chore: bump docker image * chore: bump patches * fix: workflow docker gnark install toolchain * fix: bump examples patch * fix: clean up install logic * fix: remove ed-consesnus patch * fix: test mod vis * fix: examples * fix: docker ci (#230) * chore: bump docker image * chore: bump patches * fix: workflow docker gnark install toolchain * fix: bump examples patch * fix: clean up install logic * fix * fix ci --------- Co-authored-by: nhtyy <[email protected]> * doc updates * chore: book + tracing (#1932) * fix: book deploy workflow * add versioned docs * chore: don't skip deploy step * try symlink gcc per rocksdb rec * try add fix for ARM musl targets * fix: need seperate musl setups arm vs x86 * combine old arm musl setup * feat: v4.0.1 (#1941) Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> * fix: macos-12 runners deprecated * improve docs regarding new memory argument * resolve comments * fix(book): commit yarn lock file (#1960) * feat: display the correct proof type in SP1ProofWithPublicValues::bytes() (#1964) * fix(ci): cache paths not found in book workflow * fix(ci): correct cache usage for book (#1965) * fix(ci): fix big int version to avoid msrv (#1966) * chore: include rustc --version stderr in panic (#1968) * fix(sdk): implemented verify for EnvProver (#1963) * perf: rm vec allocs from words conversions (#1972) * feat(sdk): proof timeout fix (#1971) * feat: don't checkout submodules when doing `cargo prove new --evm` (#1976) * fix(sdk): retry network request proof (#1977) * feat(sdk): Turn off `alloy-*` crate features by default (#1980) * docs: add audit report for v4, fix typo (#1988) * docs: improve precompile security docs (#1991) * fix: Write diagnostics to stderr (vs stdout) (#1978) * fix(examples): check next validators hash in tendermint program (#1992) * feat(docker-build): pass additional workspace directory (#1975) * chore: ignore generated by Intellij-based IDEs. (#1986) * docs: add GitHub token usage example in installation guide (#1984) * feat: remove deprecated #[clap] attribute (#1898) * chore: rm redundant to_vec (#1970) * chore(clippy): misc clippy fixes (#1969) * fix: use downloadable go directive 1.22.0 (#1967) * chore: reorder impl members to match trait definition (#1985) * fix: deferred checkpoints optimization (#1973) Co-authored-by: N <[email protected]> * fix(ci): clippy + fmt (#1997) * fix: typo in prover network docs (#1998) * test: check syscalls are actually emitted (#1981) * perf(prover): powers of alpha (#2000) Co-authored-by: nhtyy <[email protected]> Co-authored-by: Yuwen Zhang <[email protected]> Co-authored-by: jtguibas <[email protected]> Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: rkm0959 <[email protected]> Co-authored-by: Aurélien <[email protected]> Co-authored-by: Matthias Seitz <[email protected]> Co-authored-by: srdtrk <[email protected]> Co-authored-by: Matt Stam <[email protected]> Co-authored-by: Ivan Mikushin <[email protected]> Co-authored-by: Abishek Bashyal <[email protected]> Co-authored-by: DevOrbitlabs <[email protected]> Co-authored-by: Gengar <[email protected]> Co-authored-by: crStiv <[email protected]> Co-authored-by: Chris T. <[email protected]> * fix: counts and small shape fixing (#2007) * patch lock --------- Co-authored-by: nhtyy <[email protected]> Co-authored-by: Yuwen Zhang <[email protected]> Co-authored-by: jtguibas <[email protected]> Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: rkm0959 <[email protected]> Co-authored-by: Aurélien <[email protected]> Co-authored-by: Matthias Seitz <[email protected]> Co-authored-by: srdtrk <[email protected]> Co-authored-by: Matt Stam <[email protected]> Co-authored-by: Ivan Mikushin <[email protected]> Co-authored-by: Abishek Bashyal <[email protected]> Co-authored-by: DevOrbitlabs <[email protected]> Co-authored-by: Gengar <[email protected]> Co-authored-by: crStiv <[email protected]> Co-authored-by: Chris T. <[email protected]> Co-authored-by: umadayal <[email protected]>

nhtyy and others added 2 commits January 16, 2025 12:17

fix: read_vec_raw target visibility, add common errors about new tool…

e789aea

…chain (#1939)

docs(patches): add secp256r1 section (#1940)

a931a60

Co-authored-by: nhtyy <[email protected]>

nhtyy changed the title ~~v4.0.1~~ feat: v4.0.1 Jan 16, 2025

fix(ci): docker gnark workflow storage

2cb0849

nhtyy temporarily deployed to github-pages January 16, 2025 21:07 — with GitHub Actions Inactive

ratankaliani reviewed Jan 16, 2025

View reviewed changes

crates/build/src/build.rs Show resolved Hide resolved

ratankaliani reviewed Jan 16, 2025

View reviewed changes

crates/zkvm/entrypoint/src/allocators/embedded.rs Outdated Show resolved Hide resolved

fix: use default prover network url (#1943)

d4234cd

nhtyy temporarily deployed to github-pages January 17, 2025 01:18 — with GitHub Actions Inactive

chore: remove Ubuntu 20.04 workflow tests, docs (#1942)

6478167

nhtyy temporarily deployed to github-pages January 17, 2025 01:19 — with GitHub Actions Inactive

fix: only show versioned docs (#1944)

8390dc2

nhtyy temporarily deployed to github-pages January 17, 2025 01:24 — with GitHub Actions Inactive

chore: use embedded alloc in example, docs typo (#1945)

e64e88f

nhtyy temporarily deployed to github-pages January 17, 2025 04:36 — with GitHub Actions Inactive

fix(docs): network (#1948)

d54e487

nhtyy temporarily deployed to github-pages January 17, 2025 17:37 — with GitHub Actions Inactive

fix(core/machine): dont panic if target dir detection fails (#1949)

5f33dd5

nhtyy temporarily deployed to github-pages January 17, 2025 18:05 — with GitHub Actions Inactive

ratankaliani previously approved these changes Jan 17, 2025

View reviewed changes

nhtyy and others added 2 commits January 17, 2025 12:48

feat: better failure messages when reading too much input (#1950)

df100c9

Co-authored-by: Ratan Kaliani <[email protected]>

chore: bump version tag (#1946)

402f53b

ratankaliani reviewed Jan 17, 2025

View reviewed changes

.github/workflows/book.yml Outdated

@@ -46,7 +46,7 @@ jobs:

deploy:

# Only deploy if a push to main

Copy link

Member

ratankaliani Jan 17, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: update comment

nhtyy temporarily deployed to github-pages January 17, 2025 20:50 — with GitHub Actions Inactive

nhtyy commented Jan 17, 2025

View reviewed changes

.github/workflows/book.yml Outdated Show resolved Hide resolved

github-actions bot reviewed Jan 17, 2025

View reviewed changes

crates/cli/src/lib.rs Outdated Show resolved Hide resolved

ratankaliani approved these changes Jan 17, 2025

View reviewed changes

Update crates/cli/src/lib.rs

1b065ad

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Update .github/workflows/book.yml

a869fe3

nhtyy temporarily deployed to github-pages January 17, 2025 20:53 — with GitHub Actions Inactive

chore: add search to docs (#1951)

2980527

nhtyy temporarily deployed to github-pages January 17, 2025 21:24 — with GitHub Actions Inactive

nhtyy merged commit dae15e9 into main Jan 17, 2025
35 checks passed

umadayal pushed a commit that referenced this pull request Jan 29, 2025

feat: v4.0.1 (#1941)

bf9868a

Co-authored-by: Ratan Kaliani <[email protected]> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: v4.0.1 #1941

feat: v4.0.1 #1941

nhtyy commented Jan 16, 2025 •

edited

Loading

nhtyy commented Jan 16, 2025

ratankaliani left a comment

ratankaliani Jan 17, 2025

ratankaliani left a comment

		@@ -46,7 +46,7 @@ jobs:

		deploy:
		# Only deploy if a push to main

feat: v4.0.1 #1941

feat: v4.0.1 #1941

Conversation

nhtyy commented Jan 16, 2025 • edited Loading

nhtyy commented Jan 16, 2025

ratankaliani left a comment

Choose a reason for hiding this comment

ratankaliani Jan 17, 2025

Choose a reason for hiding this comment

ratankaliani left a comment

Choose a reason for hiding this comment

nhtyy commented Jan 16, 2025 •

edited

Loading