Skip to content

[exp] other zkvm backeds: sp1 and zisk#256

Draft
lispc wants to merge 2 commits into
masterfrom
sp1
Draft

[exp] other zkvm backeds: sp1 and zisk#256
lispc wants to merge 2 commits into
masterfrom
sp1

Conversation

@lispc

@lispc lispc commented Jul 1, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

lispc added 2 commits June 30, 2026 09:01
…rsion PoC

- Add backend-neutral scroll-zkvm-backend crate with ZkvmBackend trait.
- Add isolated zisk/ workspace: real chunk guest, batch recursion PoC,
  bundle stub, build-guest, prover-test, and recursion-test driver.
- Prove single/2-block Scroll chunks on GPU with ZisK v0.18.0 (~100s/149s).
- Verify real child chunk proofs inside the batch guest via zisk-verifier.
- Document findings in docs/zisk-backend-assessment.md and
  docs/benchmark-sp1-vs-zisk.md; update root AGENTS.md.
@github-actions github-actions Bot added crate-chunk-circuit Updates to the guest program chunk-circuit crate-batch-circuit Updates to the guest program batch-circuit crate-circuits Any update made to the circuits, i.e. commitments reflect a change labels Jul 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

crate-batch-circuit Updates to the guest program batch-circuit crate-chunk-circuit Updates to the guest program chunk-circuit crate-circuits Any update made to the circuits, i.e. commitments reflect a change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant