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: v2.0.0 #1509

Merged
merged 38 commits into from
Sep 13, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
0730685
revert: "revert: fix: add nonce constraint to fp" (#1447)
mattstam Aug 29, 2024
8575f2b
chore: minor eval changes (#1452)
mattstam Aug 29, 2024
4d4e668
fix(log): add instrument for prover::compress (#1457)
lispc Aug 30, 2024
89f4b04
fix: oom fixes for rsp (#1456)
jtguibas Aug 30, 2024
f128f55
chore(build): friendly error msg when Cargo.toml is not found (#1459)
4rgon4ut Aug 30, 2024
637263a
chore: added rsp example (#1454)
yuwen01 Sep 3, 2024
7c657e0
feat: v1.2.0 fixes (#1466)
jtguibas Sep 3, 2024
280146d
update circuit version
Sep 3, 2024
1dbccc5
chore: added json (#1470)
puma314 Sep 3, 2024
ee0da20
fix: typo in rsp example ci test (#1465)
yuwen01 Sep 3, 2024
33e0123
chore: fix crate version (#1472)
jtguibas Sep 4, 2024
69df12c
Merge branch 'main' into dev
jtguibas Sep 4, 2024
43461b1
chore: disable lowmem ci test (#1474)
yuwen01 Sep 4, 2024
fbdaa88
feat: autoscale shard / batch size (#1435)
yuwen01 Sep 4, 2024
e601239
fix: example style (#1477)
yuwen01 Sep 4, 2024
81c820a
Update precompiles.md
lsquaredleland Sep 4, 2024
98d100c
perf: use `vec_map` and paging for executor memory (#1461)
tqn Sep 4, 2024
c3267d6
docs: Fixed broken link (#1479)
lsquaredleland Sep 4, 2024
7cedb50
feat: specify version in network client (#1481)
mattstam Sep 5, 2024
2ccede2
docs: `SP1VerifierGateway` (#1483)
ratankaliani Sep 5, 2024
770bf0d
fix: segfault on m3 (#1484)
yuwen01 Sep 5, 2024
b98a30f
perf: optimize `ExecutionReport` and `create_alu_lookup_id` iff mode …
tqn Sep 6, 2024
47c8312
fix: uncomment p2 wide constraint (#1489)
kevjue Sep 9, 2024
1a268dc
docs: add optimism chains (#1491)
mattstam Sep 10, 2024
52d24ee
fix: eval compress calculation (#1493)
mattstam Sep 10, 2024
8d55960
update rsa to work with patch and new rsa crate api
umadayal Sep 10, 2024
1ee8da4
removed comments
umadayal Sep 10, 2024
26fd15e
feat: added RSA example and updated it to use the sha2 patch (#1494)
umadayal Sep 10, 2024
ef09ebb
fix: core compress pv in sdk (#1501)
jtguibas Sep 12, 2024
6f67afd
feat: automatic solidity verifier adjustments (#1496)
mattstam Sep 12, 2024
2480345
docs: use v2 / v3 (#1490)
ctian1 Sep 13, 2024
4791740
docs: add groth16 (#1503)
mattstam Sep 13, 2024
9061f9b
chore: bump version (#1504)
mattstam Sep 13, 2024
a4f6353
Merge remote-tracking branch 'origin/main' into dev
ctian1 Sep 13, 2024
2d88bb6
cargo.lock
ctian1 Sep 13, 2024
7ed1f92
chore: merge main (#1508)
mattstam Sep 13, 2024
75cfe28
docs: fix book link (#1510)
mattstam Sep 13, 2024
dff8b26
docs: fix supported versions link (#1511)
mattstam Sep 13, 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
45 changes: 0 additions & 45 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -167,48 +167,3 @@ jobs:
cargo remove sp1-sdk
cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk
SP1_DEV=1 RUST_LOG=info cargo run --release

rsp-low-memory:
name: Example (RSP Low Memory)
strategy:
matrix:
mem_limit: [16, 32, 64]
runs-on:
[
runs-on,
"ram=${{ matrix.mem_limit}}",
family=c7a,
image=ubuntu22-full-x64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version

- name: Install SP1 CLI
run: |
cd crates/cli
cargo install --force --locked --path .
cd ~

- name: Run script
run: |
cd examples/rsp/program
cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint
cargo prove build
cd ../script
cargo remove sp1-sdk
cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk
SP1_DEV=1 RUST_LOG=info cargo run --release
44 changes: 44 additions & 0 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -269,3 +269,47 @@ jobs:
--branch-name "${{ github.head_ref || github.ref_name }}" \
--commit-hash "${{ github.sha }}" \
--author "${{ github.event.pull_request.user.login || github.actor }}"

low-memory:
name: Low Memory
strategy:
matrix:
mem_limit: [16, 32, 64]
runs-on:
[
runs-on,
"ram=${{ matrix.mem_limit}}",
family=c7a,
image=ubuntu22-full-x64,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Setup CI
uses: ./.github/actions/setup

- name: Install SP1 toolchain
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
~/.sp1/bin/cargo-prove prove --version

- name: Install SP1 CLI
run: |
cd crates/cli
cargo install --force --locked --path .
cd ~

- name: Run tendermint script
run: |
cd examples/tendermint/program
cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint
cargo prove build
cd ../script
cargo remove sp1-sdk
cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk
SP1_DEV=1 RUST_LOG=info cargo run --release
5 changes: 3 additions & 2 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -23,5 +23,6 @@ benchmark.csv

# Build Artifacts
recursion/gnark-ffi/build
prover/build
prover/*.tar.gz
crates/prover/build
crates/prover/data
crates/prover/*.tar.gz
76 changes: 52 additions & 24 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading