Skip to content

Comments

[WIP] Update ZisK to 0.16.0#296

Draft
han0110 wants to merge 1 commit intomasterfrom
han/feature/zisk-v0.16.0
Draft

[WIP] Update ZisK to 0.16.0#296
han0110 wants to merge 1 commit intomasterfrom
han/feature/zisk-v0.16.0

Conversation

@han0110
Copy link
Collaborator

@han0110 han0110 commented Feb 19, 2026

  • Use zisk-sdk instead of using cargo-zisk
    • Prover can continue prove even guest panics
    • No need to setup explicitly, the prover now runs setup automatically if it's not yet run
  • Add stock rust Compiler impl RustRv64ima with target spec as json (supercedes Add rust stock compiler. #107)

  • Update to v0.16.0 release
  • Update SDK installer to download the official release

@han0110 han0110 force-pushed the han/feature/zisk-v0.16.0 branch from 8c555d2 to 4148377 Compare February 20, 2026 15:39
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.

1 participant