Skip to content

Update SP1 to v6.0.0#294

Draft
han0110 wants to merge 12 commits intomasterfrom
han/feature/sp1-v6.0.0
Draft

Update SP1 to v6.0.0#294
han0110 wants to merge 12 commits intomasterfrom
han/feature/sp1-v6.0.0

Conversation

@han0110
Copy link
Collaborator

@han0110 han0110 commented Feb 16, 2026

  • Update SP1 to v6.0.0. Resolves Update sp1 to v6.0.0 #280
    • Instead of using docker container to do GPU proving, SP1 now uses a pre-built binary to serve the GPU proving (supports multi cuda arches including 80,86,89,90,100,120).
    • Refactor the sdk.rs a bit and it no longer panics when guest panics. Resolves sp1: remove the poisoned-lock workaround #44
    • SP1 supports RV64 by default now
  • Update RustRv32ima to RustRv64ima and compile with json target spec of riscv64im-unknown-none-elf with atomic-cas = true
  • Update runtime of the test guest using stock Rust compiler
  • Update Dockerfile to base on nvidia runtime image, and update SDK installer script to download te pre-built GPU prover binary
  • Update ere-dockerized to remove the flags for DooD and pass the gpu flags
  • Move the block_on helper to ere-zkvm-interface behind feature gate tokio

@han0110 han0110 marked this pull request as draft February 16, 2026 12:28
@han0110 han0110 force-pushed the han/feature/sp1-v6.0.0 branch from d5d5412 to ccb2962 Compare February 16, 2026 17:02
@han0110 han0110 force-pushed the han/feature/sp1-v6.0.0 branch from 4a9e6f0 to 70c2213 Compare February 17, 2026 05:38
@han0110 han0110 force-pushed the han/feature/sp1-v6.0.0 branch from 70c2213 to d199c70 Compare February 17, 2026 06:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update sp1 to v6.0.0 sp1: remove the poisoned-lock workaround

1 participant