Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: v1.1.0 #1233

Merged
merged 51 commits into from
Aug 3, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
46ce208
chore: add audit reports (#1142)
mattstam Jul 19, 2024
e1070a2
perf: generate dep optimizations (#1125)
kevjue Jul 22, 2024
f60caf8
chore(deps): bump cc from 1.1.5 to 1.1.6 (#1140)
dependabot[bot] Jul 22, 2024
7c2b03b
chore(deps): bump vergen from 8.3.1 to 8.3.2 (#1139)
dependabot[bot] Jul 22, 2024
b29a2bc
chore(deps): bump blake3 from 1.5.1 to 1.5.3 (#1138)
dependabot[bot] Jul 22, 2024
1ea0289
chore(deps): bump tokio from 1.38.0 to 1.38.1 (#1137)
dependabot[bot] Jul 22, 2024
6f4d5ba
chore(deps): bump thiserror from 1.0.61 to 1.0.63 (#1136)
dependabot[bot] Jul 22, 2024
539bc67
chore(deps): bump actions/deploy-pages from 2 to 4 (#1135)
dependabot[bot] Jul 22, 2024
a6c1d7b
chore(deps): bump docker/metadata-action from 4 to 5 (#1134)
dependabot[bot] Jul 22, 2024
8ce2f61
chore(deps): bump docker/build-push-action from 3 to 6 (#1133)
dependabot[bot] Jul 22, 2024
6e62cf8
chore(deps): bump actions/upload-artifact from 2 to 4 (#1132)
dependabot[bot] Jul 22, 2024
ec0bc47
chore(deps): bump docker/login-action from 2 to 3 (#1131)
dependabot[bot] Jul 22, 2024
3d56c3f
fix: remove changelog-seen from config.toml (#1151)
mattstam Jul 22, 2024
e9eb91f
fix: UB from `OpcodeSpecificCols` union (#1050)
gio256 Jul 22, 2024
29b0a87
feat: streaming prover for core (#1146)
jtguibas Jul 22, 2024
a0cea8a
chore(deps): bump alloy-sol-types from 0.7.6 to 0.7.7 (#1152)
dependabot[bot] Jul 23, 2024
05a913e
chore(deps): bump arrayref from 0.3.7 to 0.3.8 (#1154)
dependabot[bot] Jul 23, 2024
b249447
chore: prover trait cleanup (#1170)
jtguibas Jul 25, 2024
6529a48
Merge branch 'main' into dev
mattstam Jul 25, 2024
a810c57
fix: cycle tracking logs (#1178)
ratankaliani Jul 25, 2024
e2f0d44
chore: merge main into dev (#1180)
mattstam Jul 25, 2024
b36a81e
feat: streaming recursion (#1175)
jtguibas Jul 26, 2024
32eec98
docs: remove `reth`, `revm` patches (#1185)
ratankaliani Jul 26, 2024
3ac1468
docs: usage in CI (#1190)
mattstam Jul 29, 2024
63ff5a5
feat: use C++ toolchain when building programs that need C (#1092)
mattstam Jul 29, 2024
bd6870f
chore(deps): bump docker/setup-buildx-action from 2 to 3 (#1156)
dependabot[bot] Jul 29, 2024
dc7b48a
chore(deps): bump softprops/action-gh-release from 1 to 2 (#1160)
dependabot[bot] Jul 29, 2024
eda751d
docs: using different solidity versions (#1182)
mattstam Jul 29, 2024
6bb39c7
fix: verify subproof in execute (#1204)
ctian1 Jul 30, 2024
aef8992
fix(ci): `runs-on` configuration 🚀 (#1209)
ratankaliani Jul 31, 2024
26afcc1
fix: device oom (#1202)
jtguibas Jul 31, 2024
d1a1150
fix: remove nightly in toolchain config (#1216)
mattstam Aug 1, 2024
72f1e85
fix: mutable static ref warning in halt syscall (#1217)
mattstam Aug 1, 2024
9d627ad
feat: lazy init prover programs and keys (#1177)
ctian1 Aug 1, 2024
b28b4a9
book: rv32im implementation details (#1193)
ctian1 Aug 1, 2024
631a463
feat: use 1.79 toolchain (#1222)
mattstam Aug 2, 2024
a1eb944
fix: memory global generate_dependencies (#1220)
ctian1 Aug 2, 2024
21217e3
feat: update tg (#1214)
jtguibas Aug 2, 2024
c9dff0c
fix: BabyBear range check Gnark (#1225)
erabinov Aug 2, 2024
89ae79f
chore(deps): bump anstyle from 1.0.7 to 1.0.8 (#1194)
dependabot[bot] Aug 2, 2024
2e13dce
chore(deps): bump tokio from 1.38.1 to 1.39.2 (#1195)
dependabot[bot] Aug 2, 2024
83ec3f4
chore(deps): bump serde_json from 1.0.120 to 1.0.121 (#1196)
dependabot[bot] Aug 2, 2024
eb3cf59
chore(deps): bump cc from 1.1.6 to 1.1.7 (#1198)
dependabot[bot] Aug 2, 2024
ddc589e
feat: experimental gpu support (#1219)
jtguibas Aug 2, 2024
051d8a7
fix: wait longer for server to start (#1231)
mattstam Aug 2, 2024
f0e6311
refactor: `sp1-lib`, syscall docs (#1189)
jtguibas Aug 2, 2024
6b6f9f8
docs: patched crate documentation (#1221)
ratankaliani Aug 2, 2024
80fcb0b
chore: bump version and changelog (#1232)
mattstam Aug 2, 2024
411d5aa
docs: fix lint issues (#1234)
mattstam Aug 2, 2024
35363a2
feat: timeout on network prover (#1223)
ratankaliani Aug 2, 2024
a78922b
docs: link to patch testing script (#1235)
mattstam Aug 2, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/actions/setup/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,11 +37,11 @@ runs:
~/.cargo/git/db/
target/
~/.rustup/
key: rust-nightly-2024-04-17-${{ hashFiles('**/Cargo.toml') }}
restore-keys: rust-nightly-2024-04-17-
key: rust-1.79.0-${{ hashFiles('**/Cargo.toml') }}
restore-keys: rust-1.79.0-

- name: Setup toolchain
id: rustc-toolchain
shell: bash
run: |
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain nightly-2024-04-17 -y
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain 1.79.0 -y
4 changes: 2 additions & 2 deletions .github/workflows/book.yml
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ jobs:
.
- name: Upload artifact
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: github-pages
path: ${{ runner.temp }}/artifact.tar
Expand All @@ -135,4 +135,4 @@ jobs:
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2
uses: actions/deploy-pages@v4
10 changes: 8 additions & 2 deletions .github/workflows/docker-gnark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,13 @@ on:
jobs:
test-docker:
name: Test
runs-on: runs-on,runner=64cpu-linux-arm64,spot=false
runs-on:
[
runs-on,
runner=64cpu-linux-arm64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand All @@ -35,5 +41,5 @@ jobs:
SP1_GNARK_IMAGE: sp1-gnark
with:
command: test
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --release -p sp1-prover -- --exact tests::test_e2e
8 changes: 4 additions & 4 deletions .github/workflows/docker-publish-gnark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ jobs:
uses: actions/checkout@v4

- name: Install Docker BuildX
uses: docker/setup-buildx-action@v2
uses: docker/setup-buildx-action@v3
id: buildx
with:
install: true
Expand All @@ -44,7 +44,7 @@ jobs:
- name: Log into registry ${{ env.REGISTRY }}
# Ensure this doesn't trigger on PR's
if: github.event_name != 'pull_request'
uses: docker/login-action@v2
uses: docker/login-action@v3
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
Expand All @@ -54,7 +54,7 @@ jobs:
# https://github.com/docker/metadata-action
- name: Extract Docker metadata
id: meta
uses: docker/metadata-action@v4
uses: docker/metadata-action@v5
with:
images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}

Expand Down Expand Up @@ -86,7 +86,7 @@ jobs:
# https://github.com/docker/build-push-action
# https://github.com/docker/build-push-action/blob/master/docs/advanced/cache.md
- name: Build and push Docker image
uses: docker/build-push-action@v3
uses: docker/build-push-action@v6
with:
context: .
file: ./Dockerfile.gnark-ffi
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/docker-publish.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ jobs:
uses: actions/checkout@v4

- name: Install Docker BuildX
uses: docker/setup-buildx-action@v2
uses: docker/setup-buildx-action@v3
id: buildx
with:
install: true
Expand All @@ -41,7 +41,7 @@ jobs:
- name: Log into registry ${{ env.REGISTRY }}
# Ensure this doesn't trigger on PR's
if: github.event_name != 'pull_request'
uses: docker/login-action@v2
uses: docker/login-action@v3
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
Expand All @@ -51,7 +51,7 @@ jobs:
# https://github.com/docker/metadata-action
- name: Extract Docker metadata
id: meta
uses: docker/metadata-action@v4
uses: docker/metadata-action@v5
with:
images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}

Expand Down Expand Up @@ -83,7 +83,7 @@ jobs:
# https://github.com/docker/build-push-action
# https://github.com/docker/build-push-action/blob/master/docs/advanced/cache.md
- name: Build and push Docker image
uses: docker/build-push-action@v3
uses: docker/build-push-action@v6
with:
context: ./cli/docker
file: ./cli/docker/Dockerfile
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/eval.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
./eval.sh
- name: Upload Benchmark as Artifact
uses: actions/upload-artifact@v2
uses: actions/upload-artifact@v4
with:
name: benchmark-results-${{ matrix.arch }}
path: benchmark.csv
46 changes: 39 additions & 7 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,17 @@ concurrency:
jobs:
plonk:
name: Plonk Native
runs-on: runs-on,cpu=64,ram=256,family=m7i+m7a,hdd=80,image=ubuntu22-full-x64,spot=false
runs-on:
[
runs-on,
cpu=64,
ram=256,
family=m7i+m7a,
hdd=80,
image=ubuntu22-full-x64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand All @@ -34,15 +44,25 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: test
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --release -p sp1-sdk --features native-gnark -- test_e2e_prove_plonk --nocapture
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
RUST_BACKTRACE: 1

plonk-docker:
name: Plonk Docker
runs-on: runs-on,cpu=64,ram=256,family=m7i+m7a,hdd=80,image=ubuntu22-full-x64,spot=false
runs-on:
[
runs-on,
cpu=64,
ram=256,
family=m7i+m7a,
hdd=80,
image=ubuntu22-full-x64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand All @@ -56,15 +76,15 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: test
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --release -p sp1-sdk -- test_e2e_prove_plonk --nocapture
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
RUST_BACKTRACE: 1

check-branch:
name: Check branch
runs-on: ubuntu-latest
runs-on: [ubuntu-latest, "run-id=${{ github.run_id }}"]
steps:
- name: Check branch
if: github.head_ref != 'dev' && !startsWith(github.head_ref, 'release/') && !startsWith(github.head_ref, 'hotfix/')
Expand All @@ -74,7 +94,13 @@ jobs:
ssz-withdrawals:
name: Example (SSZ Withdrawals)
runs-on: runs-on,runner=64cpu-linux-arm64,spot=false
runs-on:
[
runs-on,
runner=64cpu-linux-arm64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand Down Expand Up @@ -108,7 +134,13 @@ jobs:
tendermint:
name: Example (Tendermint)
runs-on: runs-on,runner=64cpu-linux-arm64,spot=false
runs-on:
[
runs-on,
runner=64cpu-linux-arm64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand Down
30 changes: 21 additions & 9 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,13 @@ concurrency:
jobs:
test-x86:
name: Test (x86-64)
runs-on: runs-on,runner=64cpu-linux-x64,spot=false
runs-on:
[
runs-on,
runner=64cpu-linux-x64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand All @@ -41,14 +47,14 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: check
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --all-targets --all-features

- name: Run cargo test
uses: actions-rs/cargo@v1
with:
command: test
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --release --features native-gnark
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
Expand All @@ -58,7 +64,13 @@ jobs:

test-arm:
name: Test (ARM)
runs-on: runs-on,runner=64cpu-linux-arm64,spot=false
runs-on:
[
runs-on,
runner=64cpu-linux-arm64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand All @@ -72,14 +84,14 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: check
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --all-targets --all-features

- name: Run cargo test
uses: actions-rs/cargo@v1
with:
command: test
toolchain: nightly-2024-04-17
toolchain: 1.79.0
args: --release --features native-gnark
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
Expand All @@ -89,7 +101,7 @@ jobs:

lint:
name: Formatting & Clippy
runs-on: runs-on,runner=8cpu-linux-x64
runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand Down Expand Up @@ -117,7 +129,7 @@ jobs:

examples:
name: Examples
runs-on: runs-on,runner=8cpu-linux-x64
runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand Down Expand Up @@ -147,7 +159,7 @@ jobs:

cli:
name: CLI
runs-on: runs-on,runner=8cpu-linux-x64
runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
Expand Down
18 changes: 9 additions & 9 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ env:
jobs:
prepare:
name: Prepare release
runs-on: runs-on,runner=8cpu-linux-x64
runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
timeout-minutes: 30
outputs:
tag_name: ${{ steps.release_info.outputs.tag_name }}
Expand All @@ -32,7 +32,7 @@ jobs:
with:
pull_token: ${{ secrets.PULL_TOKEN }}

# If it's a nightly release, tag with the release time. If the tag is `main`, we want to use
# If it's a nightly release, tag with the release time. If the tag is `main`, we want to use
# `latest` as the tag name. Else, use the tag name as is.
- name: Compute release name and tag
id: release_info
Expand Down Expand Up @@ -117,7 +117,7 @@ jobs:
id: rustc-toolchain
uses: actions-rs/toolchain@v1
with:
toolchain: nightly-2024-04-17
toolchain: 1.79.0
profile: minimal
override: true
targets: ${{ matrix.target }}
Expand All @@ -126,12 +126,12 @@ jobs:
with:
key: ${{ matrix.target }}
cache-on-failure: true

- name: Install go
uses: actions/setup-go@v5
with:
go-version: '^1.22.1'
go-version: "^1.22.1"

- name: Check go installation
run: |
go version
Expand Down Expand Up @@ -201,7 +201,7 @@ jobs:

# Creates the release for this specific version
- name: Create release
uses: softprops/action-gh-release@v1
uses: softprops/action-gh-release@v2
with:
name: ${{ needs.prepare.outputs.release_name }}
tag_name: ${{ needs.prepare.outputs.tag_name }}
Expand All @@ -215,7 +215,7 @@ jobs:
# tagged `nightly` for compatibility with `sp1up`
- name: Update nightly release
if: ${{ env.IS_NIGHTLY }}
uses: softprops/action-gh-release@v1
uses: softprops/action-gh-release@v2
with:
name: "Nightly"
tag_name: "nightly"
Expand Down Expand Up @@ -265,4 +265,4 @@ jobs:
${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
with:
update_existing: true
filename: .github/RELEASE_FAILURE_ISSUE_TEMPLATE.md
filename: .github/RELEASE_FAILURE_ISSUE_TEMPLATE.md
2 changes: 2 additions & 0 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,8 @@
// "examples/io/script/Cargo.toml",
// "examples/json/program/Cargo.toml",
// "examples/json/script/Cargo.toml",
// "examples/patch-testing/program/Cargo.toml",
// "examples/patch-testing/script/Cargo.toml",
// "examples/regex/program/Cargo.toml",
// "examples/regex/script/Cargo.toml",
// "examples/rsa/program/Cargo.toml",
Expand Down
Loading
Loading