Code

Proof splitting - planning#126

Code

Closed

Okm165 wants to merge 6 commits intowith-scarb-featuresHerodotusDev/integrity:with-scarb-featuresfrom proof_splittingHerodotusDev/integrity:proof_splittingCopy head branch name to clipboard

+23

Commits

Commits on Apr 9, 2024

• verbose proof lengths

  Okm165

  committed
  fd0049b

• split required split proposal

  Okm165

  committed
  4f6ecff

• separate step for FRI VERIFY

  Okm165

  committed
  d12a107

• refactor

  Okm165

  committed
  a29f71c

• end marks

  Okm165

  committed
  30612a6

Commits on Apr 10, 2024

• fmt

  Okm165

  committed
  029f812