Code

Sp1 prover for halo2 + sp1 chunks#353

Code

Draft

noel2004 wants to merge 52 commits intomainscroll-tech/scroll-prover:mainfrom sp1-proverscroll-tech/scroll-prover:sp1-proverCopy head branch name to clipboard

+20,268-1,816

Commits

Commits on Oct 3, 2024

• sp1 chunk test

  noel2004

  committed
  48e3de4

Commits on Oct 4, 2024

• renaming snark

  Show description for 2f637c5
  noel2004

  committed
  2f637c5

• fix naming

  Show description for ae9cc80
  noel2004

  committed
  ae9cc80

Commits on Oct 6, 2024

• refactoring sp1 test

  Show description for 7c7c458
  noel2004

  committed
  7c7c458

• resume path extracting

  Show description for 6a6c467
  noel2004

  committed
  6a6c467

Commits on Oct 7, 2024

• test for integrating sp1 to batch

  Show description for a4f9490
  noel2004

  committed
  a4f9490

• purge uncessary dumping

  Show description for 3e92fa2
  noel2004

  committed
  3e92fa2

• e2e support sp1 path

  Show description for 37e41f6
  noel2004

  committed
  37e41f6

• lints

  Show description for 6cf60cf
  noel2004

  committed
  6cf60cf

Commits on Oct 8, 2024

• add testing stuff for sp1

  Show description for 1491df4
  noel2004

  committed
  1491df4

• add PI digest log

  Show description for 592156c
  noel2004

  committed
  592156c

• update testing stuff

  lispc

  committed
  b1e121b

• fix an issue in restore results

  Show description for 595b742
  noel2004

  committed
  595b742

• more fixing

  Show description for c6ab340
  noel2004

  committed
  c6ab340

• also fix issue for zkevm-chunk-test

  Show description for 332fc3b
  noel2004

  committed
  332fc3b

Commits on Oct 9, 2024

• add post batch test

  Show description for 520609c
  noel2004

  committed
  520609c

• update deps

  roynalnaruto

  committed
  cee1921

• add verifier deployment test

  roynalnaruto

  committed
  0ce4fa7

• more verifier deploy test (snark-verifier, not revm)

  roynalnaruto

  committed
  df43565

• tmp: add evm verifier bin

  roynalnaruto

  committed
  90f3f71

• bump zkevm-circuits:prover

  roynalnaruto

  committed
  a0e6c66

• poseidon-circuit dep correct as per rust-toolchain

  roynalnaruto

  committed
  bf73b34

• use prover's export instead of snark-verifier-sdk

  roynalnaruto

  committed
  7be636d

Commits on Oct 16, 2024

• e2e hybrid test setup

  roynalnaruto

  committed
  714f6b7

• fix: hybrid batch dir

  roynalnaruto

  committed
  c8211e8

• variants for chunk protocol in batch prover

  roynalnaruto

  committed
  dbb72a7

Commits on Oct 17, 2024

• bump prover and snark-verifier

  roynalnaruto

  committed
  d0ef2f7

• bump prover

  roynalnaruto

  committed
  db65938

Commits on Oct 18, 2024

• bump prover

  roynalnaruto

  committed
  19c6328

• bum prover

  roynalnaruto

  committed
  0b60e64

• bump prover

  roynalnaruto

  committed
  ad2c90e

• bump prover

  roynalnaruto

  committed
  00a0052

• bump prover

  roynalnaruto

  committed
  38baee7

Commits on Oct 22, 2024

• bump prover

  roynalnaruto

  committed
  42eb985

Commits on Nov 5, 2024

• init prover and sp1 prover

  Show description for b1e26cf
  noel2004

  committed
  b1e26cf

Commits on Nov 8, 2024

• Merge branch 'main' into feat/hybrid-snark-agg

  roynalnaruto

  authored
  0b78006

• compile + clippy

  roynalnaruto

  committed
  7bb2795

• minor fix

  lispc

  committed
  1a7da0e

Commits on Nov 12, 2024

• resolve all dep issues

  Show description for 69f9043
  noel2004

  committed
  69f9043

Commits on Nov 14, 2024

• sp1 prover first commit

  Show description for c24a50f
  noel2004

  committed
  c24a50f

• Merge remote-tracking branch 'origin/main' into sp1-prover

  Show description for 065e884
  noel2004

  committed
  065e884

• fix after merging

  Show description for f822f30
  noel2004

  committed
  f822f30

Commits on Nov 15, 2024

• add default sp1-halo2-backend param

  Show description for e3c6369
  noel2004

  committed
  e3c6369

• induce compatible load chunk

  Show description for f6822d4
  noel2004

  committed
  f6822d4

• enforce env var

  Show description for 6aa4590
  noel2004

  committed
  6aa4590

Commits on Nov 16, 2024

• Merge remote-tracking branch 'origin/feat/hybrid-snark-agg' into sp1-prover

  noel2004

  committed
  fbcaaf8

Commits on Nov 17, 2024

• refine tests

  Show description for bcc31ee
  noel2004

  committed
  bcc31ee

• refine sp1 prover: loading and support new traces

  Show description for 5ff19d3
  noel2004

  committed
  5ff19d3

• add gitignore for elf

  Show description for e6c3c23
  noel2004

  committed
  e6c3c23

Commits on Nov 21, 2024

• add required env

  Show description for a8df33e
  noel2004

  committed
  a8df33e

• hack scroll-hanlder in sbv

  Show description for e431947
  noel2004

  committed
  e431947

• update dependencies

  Show description for 4c2664a
  noel2004

  committed
  4c2664a