Code

feat(l2): multi prover foundations#1397

Code

Merged

jrchatruc merged 43 commits intomainlambdaclass/ethrex:mainfrom l2/implement_sp1lambdaclass/ethrex:l2/implement_sp1Copy head branch name to clipboardDec 23, 2024

+3,579-503

Commits

Commits on Dec 3, 2024

• add sp1 program, and makefile target

  fborello-lambda

  committed
  fe49344

• rename Prover to Risc0Prover

  fborello-lambda

  committed
  1901ee6

• add Sp1Prover structure -> test [wip]

  fborello-lambda

  committed
  f88c308

• standalone test for Sp1Prover

  fborello-lambda

  committed
  d42a65c

• wip: integrate prover_client <-> prover_server

  fborello-lambda

  committed
  5b6dc3c

Commits on Dec 4, 2024

• feat: test target

  fborello-lambda

  committed
  72e8a08

• Merge branch 'l2/test_without_docker' into l2/implement_sp1

  fborello-lambda

  committed
  425ea97

• feat: add errors.rs module

  fborello-lambda

  committed
  eaa18ad

• wip: basic interaction prover_server <-> prover_client

  fborello-lambda

  committed
  f4decda

• fix: expect in sp1 program

  fborello-lambda

  committed
  d9c6873

• feat: run prover_client based on the argument

  fborello-lambda

  committed
  d560fef

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  authored
  bc3a50f

Commits on Dec 5, 2024

• chore: lint and fmt

  fborello-lambda

  committed
  ebd15e9

• fix feature

  fborello-lambda

  committed
  a87dbb5

• add CI for prover

  fborello-lambda

  committed
  34f3be0

• test: prover CI

  fborello-lambda

  committed
  757cce1

• feat(l2): deploy Verifier contracts conditionally (#1409)

  Show description for d0ceec7
  fborello-lambda

  authored
  d0ceec7

• fix: prover_server dev_mode

  fborello-lambda

  committed
  5a34cc4

• refactor: prover_server handle_proof_submission

  fborello-lambda

  committed
  d64a1a7

• fix: proof_submission

  fborello-lambda

  committed
  926fecf

• chore: lint

  fborello-lambda

  committed
  c6229b9

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  committed
  663ec1f

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  authored
  cdf1d93

Commits on Dec 6, 2024

• fix: proof verification on_chain

  fborello-lambda

  committed
  2ae588c

Commits on Dec 9, 2024

• fix: transaction encoding

  fborello-lambda

  committed
  9262414

• fix: add ?

  fborello-lambda

  committed
  d1c42f2

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  authored
  fddd8bd

• chore(prover): comments

  fborello-lambda

  committed
  b1ccfa9

• refactor: unify building process and crates

  fborello-lambda

  committed
  3a49baf

Commits on Dec 10, 2024

• refactor: improve Makefile

  fborello-lambda

  committed
  6ef5133

• docs: improve docs

  fborello-lambda

  committed
  a59b55c

• chore: docs

  fborello-lambda

  committed
  44d0177

• chore: add sp1 NOTICE

  fborello-lambda

  committed
  e73da08

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  committed
  2bf0c04

• fix: ci

  fborello-lambda

  committed
  6082f4e

• Update Cargo.toml

  fborello-lambda

  authored
  0708065

• refactor: remove unneeded struct

  fborello-lambda

  committed
  ab5d42a

• fix: cli

  fborello-lambda

  committed
  903a6e9

Commits on Dec 18, 2024

• fix: build ethrex-l2 if the feature is set

  fborello-lambda

  committed
  f2202ad

• fix: typo

  fborello-lambda

  committed
  0442c49

Commits on Dec 23, 2024

• remove u64::MAX check inside l1_committer

  fborello-lambda

  committed
  33418d0

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  committed
  4b154dd

• Merge branch 'main' into l2/implement_sp1

  fborello-lambda

  authored
  77b72a9