Code

Chunking = fin#14344

Code

Merged

mrmr1993 merged 8 commits intodevelopMinaProtocol/mina:developfrom feature/recursive-chunks-tooMinaProtocol/mina:feature/recursive-chunks-tooCopy head branch name to clipboardOct 18, 2023

+419-57

Commits

Commits on Oct 13, 2023

• Fixup Pickles.verify for chunked proofs

  mrmr1993

  committed
  38665a4

  Copy full SHA for 38665a4

Commits on Oct 14, 2023

• Fix recursion over chunked proofs

  mrmr1993

  committed
  6e884aa

  Copy full SHA for 6e884aa

• Bump proof-systems

  mrmr1993

  committed
  66893df

  Copy full SHA for 66893df

• Add a test for chunking

  mrmr1993

  committed
  3106deb

  Copy full SHA for 3106deb

Commits on Oct 17, 2023

• Merge branch 'feature/surely-not-more-chunks' into feature/recursive-chunks-too

  mrmr1993

  committed
  86f2b93

  Copy full SHA for 86f2b93

• Reformat

  mrmr1993

  committed
  780342e

  Copy full SHA for 780342e

• Merge branch 'feature/surely-not-more-chunks' into feature/recursive-chunks-too

  mrmr1993

  committed
  3887340

  Copy full SHA for 3887340

Commits on Oct 18, 2023

• Merge branch 'develop' into feature/recursive-chunks-too

  mrmr1993

  authored
  d22db61

  Copy full SHA for d22db61