Repository navigation

feat(zkvm): state transition function proving using zkvm's - #531

Open

Sahilgill24 wants to merge 20 commits into

lambdaclass:mainfrom

Sahilgill24:feat/zk-stf-proving

Commits on Jul 31, 2026
- feat: adding state transition function input type
  Sahilgill24
  committed
  6efa2b3
- feat: scaffold sp1 guest program
  Sahilgill24
  committed
  a1754ed
- refactor: update guest program workspace and add public values
  Sahilgill24
  committed
  4b61b80
- feat: setup the prover core for zkvm proving and verification
  Sahilgill24
  committed
  da701e1
- feat: setup the prover backend for sp1
  Sahilgill24
  committed
  97b2ad4
- feat: add zkVM target for guest program and its dependencies
  Sahilgill24
  committed
  88ad3fb
- refactor: separate no-op module targetting zkvm for metrics
  Sahilgill24
  committed
  f5b7ac6
- feat: add the execute path to the Prover trait and sp1 prover
  Sahilgill24
  committed
  cb54b4e
- test: test the execute path for the sp1 prover
  Sahilgill24
  committed
  84e65dc
Commits on Aug 4, 2026
- Merge upstream-main into feat/zk-stf-proving
  Sahilgill24
  committed
  3190c45
- feat: add mock chain driver for zkVM prover Backend
  Sahilgill24
  committed
  fc625d4
- feat: add binary to run zkVM prover for the mock chain
  Sahilgill24
  committed
  f4575b4
Commits on Aug 6, 2026
- Merge branch 'upstream/main' into feat/zk-stf-proving
  Sahilgill24
  committed
  6cb3b2b
Commits on Sep 1, 2026
- Merge remote-tracking branch 'upstream/main' into feat/zk-stf-proving
  Sahilgill24
  committed
  e0ae4aa
Commits on Sep 7, 2026
- feat: add SSZ byte fetching route from rpc for zkVM proving
  Sahilgill24
  committed
  fe526df
- feat: add replay crate for actual zkVM proving on devnet
  Sahilgill24
  committed
  dd212c2
Commits on Sep 25, 2026
- Merge remote-tracking branch 'upstream/main' into feat/zk-stf-proving
  Sahilgill24
  committed
  b69da2f
Commits on Oct 2, 2026

Navigation Menu

Repository navigation

feat(zkvm): state transition function proving using zkvm's - #531

feat(zkvm): state transition function proving using zkvm's #531
Sahilgill24 wants to merge 20 commits into
lambdaclass:mainfrom
Sahilgill24:feat/zk-stf-proving

Commits on Jul 31, 2026

feat: adding state transition function input type

feat: scaffold sp1 guest program

refactor: update guest program workspace and add public values

feat: setup the prover core for zkvm proving and verification

feat: setup the prover backend for sp1

feat: add zkVM target for guest program and its dependencies

refactor: separate no-op module targetting zkvm for metrics

feat: add the execute path to the Prover trait and sp1 prover

test: test the execute path for the sp1 prover

Commits on Aug 4, 2026

Merge upstream-main into feat/zk-stf-proving

feat: add mock chain driver for zkVM prover Backend

feat: add binary to run zkVM prover for the mock chain

Commits on Aug 6, 2026

Merge branch 'upstream/main' into feat/zk-stf-proving

Commits on Sep 1, 2026

Merge remote-tracking branch 'upstream/main' into feat/zk-stf-proving

Commits on Sep 7, 2026

feat: add SSZ byte fetching route from rpc for zkVM proving

feat: add replay crate for actual zkVM proving on devnet

Commits on Sep 25, 2026

Merge remote-tracking branch 'upstream/main' into feat/zk-stf-proving

Commits on Oct 2, 2026

Merge remote-tracking branch 'upstream/main' into feat/zk-stf-proving

feat: adding timed prove verification and execution

feat: adding proper proof gen/exec/verify timing