Skip to content

Conversation

@xqft
Copy link
Contributor

@xqft xqft commented Nov 19, 2025

Motivation

To add ZisK as a new backend for ethrex-prover.

Description

  • Implements ZisK guest program and code to build it
  • Adds ZisK as a new backend to the ethrex-prover SDK
  • Implements eip7702_recover_address() using k256 to make it compatible with ZisK (and this also optimizes the function for other zkVMs)

Closes #issue_number

Copy link
Contributor

@JereSalo JereSalo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@xqft xqft added this pull request to the merge queue Nov 26, 2025
Copy link
Contributor

@tomip01 tomip01 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a nit

url.workspace = true
rkyv.workspace = true
rustc-hash.workspace = true
k256.workspace = true
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe too nit but I think this should be used optionally with sp1, risc0 or zisk

# rkyv for ProverInputData, a data structure meant to be used in the host and not
# inside a guest program
rkyv.workspace = true
k256.workspace = true
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same here

Merged via the queue into main with commit c68e76d Nov 26, 2025
78 of 101 checks passed
@xqft xqft deleted the add_zisk_zkvm_backend branch November 26, 2025 13:40
LeanSerra pushed a commit that referenced this pull request Nov 26, 2025
**Motivation**

To add ZisK as a new backend for ethrex-prover.

**Description**

- Implements ZisK guest program and code to build it
- Adds ZisK as a new backend to the ethrex-prover SDK
- Implements `eip7702_recover_address()` using `k256` to make it
compatible with ZisK (and this also optimizes the function for other
zkVMs)

Closes #issue_number

---------

Co-authored-by: ilitteri <[email protected]>
Co-authored-by: Copilot <[email protected]>
Co-authored-by: Ivan Litteri <[email protected]>
Co-authored-by: ilitteri <[email protected]>
Co-authored-by: Jeremías Salomón <[email protected]>
github-merge-queue bot pushed a commit to lambdaclass/ethrex-replay that referenced this pull request Nov 26, 2025
**Motivation**

a ZisK backend was added for ethrex-prover in
lambdaclass/ethrex#5392. This PR adds supports
to use it with ethrex-replay

---------

Co-authored-by: ilitteri <[email protected]>
Co-authored-by: ilitteri <[email protected]>
Co-authored-by: Ivan Litteri <[email protected]>
Co-authored-by: JereSalo <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

L2 Rollup client

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

6 participants