Code

Prover/full recursion#350

Code

Open

AlexandreBelling wants to merge 27 commits intomainConsensys/linea-monorepo:mainfrom prover/full-recursionConsensys/linea-monorepo:prover/full-recursionCopy head branch name to clipboard

+1,560-325

Commits

Commits on Dec 4, 2024

• (feat): Implements the full-recursion and test for a simple test

  AlexandreBelling

  committed
  45baca1

• debug the full-recursion

  AlexandreBelling

  committed
  ac1408c

• add a benchmarking tool

  AlexandreBelling

  committed
  51bfc31

• msg(sticker): better error in the sticker

  AlexandreBelling

  committed
  f87efb9

• test(full-recursion): adds a test for double full-recursion (overflowing memory)

  AlexandreBelling

  committed
  3347f76

• fix: sort out the packages after rebasing

  AlexandreBelling

  committed
  eee7af9

Commits on Dec 18, 2024

• Merge branch 'main' of github.com:Consensys/linea-monorepo into prover/full-recursion

  AlexandreBelling

  committed
  ac44e9b

• fix(pi): renaming of the public inputs

  AlexandreBelling

  committed
  94f60e9

• fix(hasher): adjust the code to using a [hash.StateStorer]

  AlexandreBelling

  committed
  486f9e3

• fix(pairing): pass the new format for fp12 elements

  AlexandreBelling

  committed
  c95f338

• Merge branch 'main' of github.com:Consensys/linea-monorepo into prover/full-recursion

  AlexandreBelling

  committed
  b3baf4b

• doc(plonk): adds more doc in plonk.alignment.go

  AlexandreBelling

  committed
  0eb24e8

• doc(fs-hook): improves the documentation of the FiatShamirHook field.

  AlexandreBelling

  committed
  14edc4c

• docs(skipping): adds doc on the ByRoundRegister

  AlexandreBelling

  committed
  5ecabb0

• feat(pubinp): move the zkevm public inputs to using the new public-input framework

  AlexandreBelling

  committed
  3c9e7b0

• fixup

  AlexandreBelling

  committed
  49badaa

• doc(column-store): adds documentation for the more precise methods regarding the inclusion in the FS transcript.

  AlexandreBelling

  committed
  318d5eb

Commits on Dec 19, 2024

• stop keeping the middle fs history

  AlexandreBelling

  committed
  1b18118

• debug the full-recursion

  AlexandreBelling

  committed
  094fc0a

• fix the full recursion compiler

  AlexandreBelling

  committed
  3f9cf9a

• fix: remove the replace statement in the go mod

  AlexandreBelling

  committed
  0d2982a

Commits on Dec 20, 2024

• doc(fix): fix the doc of the public input

  AlexandreBelling

  committed
  1001f87

• clean(self-recursion): remove the self-recursion tuning file

  AlexandreBelling

  committed
  afd5fc2

• doc(vortex): explain the separation between the verifier steps

  AlexandreBelling

  committed
  8b928f0

• doc(full-recursion): documents the prover and verifier actions

  AlexandreBelling

  committed
  29a64c5

• doc(columns): improve the documentation on the IncludeInProverFS

  AlexandreBelling

  committed
  87e1de4

• Merge branch 'main' of github.com:Consensys/linea-monorepo into prover/full-recursion

  AlexandreBelling

  committed
  e63a62e